Bas Ketsman

Inf. Syst., 2026

Bounding the Makespan of Transaction Schedules.

[BibT_eX]

[DOI]

Proceedings of the 29th International Conference on Database Theory, 2026

Neither Cover nor Pack: Distributed Worst-Case Optimality of Degree-2 Joins.

[BibT_eX]

[DOI]

Heba Aamer

Xiao Hu

Proceedings of the 29th International Conference on Database Theory, 2026

2025

Using Read Promotion and Mixed Isolation Levels for Performant Yet Serializable Execution of Transaction Programs.

[BibT_eX]

[DOI]

Proc. VLDB Endow., May, 2025

PAC: Computing Join Queries with Semi-Covers.

[BibT_eX]

[DOI]

Heba Aamer

Proceedings of the 28th International Conference on Database Theory, 2025

2024

Distributed Subweb Specifications for Traversing the Web.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., March, 2024

When View- and Conflict-Robustness Coincide for Multiversion Concurrency Control.

[BibT_eX]

[DOI]

Proc. ACM Manag. Data, 2024

Cascade: Optimal Transaction Scheduling for High-Contention Workloads.

[BibT_eX]

[DOI]

Proceedings of the 40th IEEE International Conference on Data Engineering, 2024

2023

When is it safe to run a transactional workload under Read Committed?

[BibT_eX]

[DOI]

SIGMOD Rec., 2023

Allocating Isolation Levels to Transactions in a Multiversion Setting.

[BibT_eX]

[DOI]

Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2023

Distributed Consistency Beyond Queries.

[BibT_eX]

[DOI]

Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2023

Detecting Robustness against MVRC for Transaction Programs with Predicate Reads.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 26th International Conference on Extending Database Technology, 2023

2022

Concurrency control for database theorists.

[BibT_eX]

[DOI]

SIGMOD Rec., December, 2022

A Near-Optimal Parallel Algorithm for Joining Binary Relations.

[BibT_eX]

[DOI]

Dan Suciu

Yufei Tao

Log. Methods Comput. Sci., 2022

Modern Datalog Engines.

[BibT_eX]

[DOI]

Paraschos Koutris

Found. Trends Databases, 2022

Robustness Against Read Committed: A Free Transactional Lunch.

[BibT_eX]

[DOI]

Proceedings of the PODS '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12, 2022

Robustness Against Read Committed for Transaction Templates with Functional Constraints.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Database Theory, 2022

2021

Robustness against Read Committed for Transaction Templates.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2021

Link Traversal with Distributed Subweb Specifications.

[BibT_eX]

[DOI]

Proceedings of the Rules and Reasoning - 5th International Joint Conference, 2021

2020

Deciding Robustness for Lower SQL Isolation Levels.

[BibT_eX]

[DOI]

Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2020

Datalog with Negation and Monotonicity.

[BibT_eX]

[DOI]

Christoph Koch

Proceedings of the 23rd International Conference on Database Theory, 2020

2019

Formal Approaches to Querying Big Data in Shared-Nothing Systems.

[BibT_eX]

[DOI]

Proceedings of the 2019 International Conference on Management of Data, 2019

2018

Parallel-Correctness and Transferability for Conjunctive Queries under Bag Semantics.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Database Theory, 2018

Distribution Policies for Datalog.

[BibT_eX]

[DOI]

Aws Albarghouthi

Paraschos Koutris

Proceedings of the 21st International Conference on Database Theory, 2018

2017

Asynchronous Adventures: Formal Approaches to Querying Big Data in Shared-Nothing Systems

[BibT_eX]

[DOI]

PhD thesis, 2017

Reasoning on data partitioning for single-round multi-join evaluation in massively parallel systems.

[BibT_eX]

[DOI]

Commun. ACM, 2017

A Worst-Case Optimal Multi-Round Algorithm for Parallel Computation of Conjunctive Queries.

[BibT_eX]

[DOI]

Dan Suciu

Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2017

2016

Data partitioning for single-round multi-join evaluation in massively parallel systems.

[BibT_eX]

[DOI]

SIGMOD Rec., 2016

Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Database Theory, 2016

2015

Parallel-Correctness and Transferability for Conjunctive Queries.

[BibT_eX]

[DOI]

Proceedings of the 34th ACM Symposium on Principles of Database Systems, 2015

Optimal Broadcasting Strategies for Conjunctive Queries over Distributed Data.

[BibT_eX]

[DOI]