Bas Ketsman

53 papers A* 8A 10B 2Journal 31Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Generalized CALM Theorem for Non-Deterministic Computation in Asynchronous Distributed Systems.
Inf. Syst.
Tim Baccaert, Bas Ketsman
2026 A conf
Bounding the Makespan of Transaction Schedules.
ICDT
Tim Baccaert, Brecht Vandevoort, Bas Ketsman
2026 A conf
Neither Cover nor Pack: Distributed Worst-Case Optimality of Degree-2 Joins.
ICDT
Heba Aamer, Xiao Hu, Bas Ketsman
2025 J jnl
Allocating Isolation Levels to Transactions in a Multiversion Setting.
ACM Trans. Database Syst.
Brecht Vandevoort, Bas Ketsman, Frank Neven
2025 A conf
PAC: Computing Join Queries with Semi-Covers.
ICDT
Heba Aamer, Bas Ketsman
2025 J jnl
Parallel-Correctness and Transferability for Conjunctive Queries under Bag Semantics.
ACM Trans. Comput. Log.
Bas Ketsman, Frank Neven, Brecht Vandevoort
2025 J jnl
Using Read Promotion and Mixed Isolation Levels for Performant Yet Serializable Execution of Transaction Programs.
CoRR
Brecht Vandevoort, Alan D. Fekete, Bas Ketsman, Frank Neven, Stijn Vansummeren
2025 J jnl
Using Read Promotion and Mixed Isolation Levels for Performant Yet Serializable Execution of Transaction Programs.
Proc. VLDB Endow.
Brecht Vandevoort, Alan D. Fekete, Bas Ketsman, Frank Neven, Stijn Vansummeren
2024 J jnl
Allocating Isolation Levels to Transactions in a Multiversion Setting.
SIGMOD Rec.
Brecht Vandevoort, Bas Ketsman, Frank Neven
2024 A* conf
Cascade: Optimal Transaction Scheduling for High-Contention Workloads.
ICDE
Tim Baccaert, Bas Ketsman
2024 J jnl
Distributed Subweb Specifications for Traversing the Web.
Theory Pract. Log. Program.
Bart Bogaerts, Bas Ketsman, Younes Zeboudj, Heba Aamer, Ruben Taelman, Ruben Verborgh
2024 J jnl
When View- and Conflict-Robustness Coincide for Multiversion Concurrency Control.
CoRR
Brecht Vandevoort, Bas Ketsman, Frank Neven
2024 J jnl
When View- and Conflict-Robustness Coincide for Multiversion Concurrency Control.
Proc. ACM Manag. Data
Brecht Vandevoort, Bas Ketsman, Frank Neven
2023 A* conf
Allocating Isolation Levels to Transactions in a Multiversion Setting.
PODS
Brecht Vandevoort, Bas Ketsman, Frank Neven
2023 B conf
Detecting Robustness against MVRC for Transaction Programs with Predicate Reads.
EDBT
Brecht Vandevoort, Bas Ketsman, Christoph Koch, Frank Neven
2023 J jnl
Detecting Robustness against MVRC for Transaction Programs with Predicate Reads.
CoRR
Brecht Vandevoort, Bas Ketsman, Christoph Koch, Frank Neven
2023 A* conf
Distributed Consistency Beyond Queries.
PODS
Tim Baccaert, Bas Ketsman
2023 J jnl
Distributed Subweb Specifications for Traversing the Web.
CoRR
Bart Bogaerts, Bas Ketsman, Younes Zeboudj, Heba Aamer, Ruben Taelman, Ruben Verborgh
2023 J jnl
Robustness against Read Committed for Transaction Templates with Functional Constraints.
Log. Methods Comput. Sci.
Brecht Vandevoort, Bas Ketsman, Christoph Koch, Frank Neven
2023 J jnl
When is it safe to run a transactional workload under Read Committed?
SIGMOD Rec.
Brecht Vandevoort, Bas Ketsman, Christoph Koch, Frank Neven
2022 J jnl
A Near-Optimal Parallel Algorithm for Joining Binary Relations.
Log. Methods Comput. Sci.
Bas Ketsman, Dan Suciu, Yufei Tao
2022 J jnl
Concurrency control for database theorists.
SIGMOD Rec.
Bas Ketsman, Christoph Koch, Frank Neven, Brecht Vandevoort
2022 J jnl
Deciding Robustness for Lower SQL Isolation Levels.
ACM Trans. Database Syst.
Bas Ketsman, Christoph Koch, Frank Neven, Brecht Vandevoort
2022 J jnl
Modern Datalog Engines.
Found. Trends Databases
Bas Ketsman, Paraschos Koutris
2022 A conf
Robustness Against Read Committed for Transaction Templates with Functional Constraints.
ICDT
Brecht Vandevoort, Bas Ketsman, Christoph Koch, Frank Neven
2022 A* conf
Robustness Against Read Committed: A Free Transactional Lunch.
PODS
Brecht Vandevoort, Bas Ketsman, Christoph Koch, Frank Neven
2022 J jnl
Robustness against Read Committed for Transaction Templates with Functional Constraints.
CoRR
Brecht Vandevoort, Bas Ketsman, Christoph Koch, Frank Neven
2021 B conf
Link Traversal with Distributed Subweb Specifications.
RuleML+RR
Bart Bogaerts, Bas Ketsman, Younes Zeboudj, Heba Aamer, Ruben Taelman, Ruben Verborgh
2021 J jnl
Robustness against Read Committed for Transaction Templates.
CoRR
Brecht Vandevoort, Bas Ketsman, Christoph Koch, Frank Neven
2021 J jnl
Robustness against Read Committed for Transaction Templates.
Proc. VLDB Endow.
Brecht Vandevoort, Bas Ketsman, Christoph Koch, Frank Neven
2020 J jnl
A Near-Optimal Parallel Algorithm for Joining Binary Relations.
CoRR
Bas Ketsman, Dan Suciu, Yufei Tao
2020 A conf
Datalog with Negation and Monotonicity.
ICDT
Bas Ketsman, Christoph Koch
2020 A* conf
Deciding Robustness for Lower SQL Isolation Levels.
PODS
Bas Ketsman, Christoph Koch, Frank Neven, Brecht Vandevoort
2020 J jnl
Distribution Policies for Datalog.
Theory Comput. Syst.
Bas Ketsman, Aws Albarghouthi, Paraschos Koutris
2019 — conf
Formal Approaches to Querying Big Data in Shared-Nothing Systems.
SIGMOD Conference
Bas Ketsman
2019 J jnl
Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation.
ACM Trans. Comput. Log.
Gaetano Geck, Bas Ketsman, Frank Neven, Thomas Schwentick
2018 A conf
Distribution Policies for Datalog.
ICDT
Bas Ketsman, Aws Albarghouthi, Paraschos Koutris
2018 A conf
Parallel-Correctness and Transferability for Conjunctive Queries under Bag Semantics.
ICDT
Bas Ketsman, Frank Neven, Brecht Vandevoort
2017 A* conf
A Worst-Case Optimal Multi-Round Algorithm for Parallel Computation of Conjunctive Queries.
PODS
Bas Ketsman, Dan Suciu
2017 — —
Asynchronous Adventures: Formal Approaches to Querying Big Data in Shared-Nothing Systems
Bas Ketsman
2017 J jnl
Datalog Queries Distributing over Components.
ACM Trans. Comput. Log.
Tom J. Ameloot, Bas Ketsman, Frank Neven, Daniel Zinn
2017 J jnl
Optimal Broadcasting Strategies for Conjunctive Queries over Distributed Data.
Theory Comput. Syst.
Bas Ketsman, Frank Neven
2017 J jnl
Parallel-Correctness and Transferability for Conjunctive Queries.
J. ACM
Tom J. Ameloot, Gaetano Geck, Bas Ketsman, Frank Neven, Thomas Schwentick
2017 J jnl
Reasoning on data partitioning for single-round multi-join evaluation in massively parallel systems.
Commun. ACM
Tom J. Ameloot, Gaetano Geck, Bas Ketsman, Frank Neven, Thomas Schwentick
2016 J jnl
Data partitioning for single-round multi-join evaluation in massively parallel systems.
SIGMOD Rec.
Tom J. Ameloot, Gaetano Geck, Bas Ketsman, Frank Neven, Thomas Schwentick
2016 A conf
Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation.
ICDT
Gaetano Geck, Bas Ketsman, Frank Neven, Thomas Schwentick
2016 J jnl
Weaker Forms of Monotonicity for Declarative Networking: A More Fine-Grained Answer to the CALM-Conjecture.
ACM Trans. Database Syst.
Tom J. Ameloot, Bas Ketsman, Frank Neven, Daniel Zinn
2015 A conf
Datalog Queries Distributing over Components.
ICDT
Tom J. Ameloot, Bas Ketsman, Frank Neven, Daniel Zinn
2015 A conf
Optimal Broadcasting Strategies for Conjunctive Queries over Distributed Data.
ICDT
Bas Ketsman, Frank Neven
2015 J jnl
Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation.
CoRR
Gaetano Geck, Bas Ketsman, Frank Neven, Thomas Schwentick
2015 A* conf
Parallel-Correctness and Transferability for Conjunctive Queries.
PODS
Tom J. Ameloot, Gaetano Geck, Bas Ketsman, Frank Neven, Thomas Schwentick
2014 J jnl
Parallel-Correctness and Transferability for Conjunctive Queries.
CoRR
Tom J. Ameloot, Gaetano Geck, Bas Ketsman, Frank Neven, Thomas Schwentick
2014 A* conf
Weaker forms of monotonicity for declarative networking: a more fine-grained answer to the calm-conjecture.
PODS
Tom J. Ameloot, Bas Ketsman, Frank Neven, Daniel Zinn