Program
SCCP 2026 is a one-day workshop co-located with VLDB 2026 in Boston. Paper titles link to the camera-ready PDF where available.
The workshop is open to everyone working in this area; no registration or paper required. If you would like to attend, please contact the chair. The workshop takes place in Commonwealth Ballroom C. Remote attendance is also available via Zoom:
The meeting is password protected. Please contact the PC chair and the password will be sent to you.
All times are Eastern Time (ET, UTC−4), the local time in Boston.
Friday, September 4, 2026 — Commonwealth Ballroom C (all times ET)
Speaker: Alexey Gotsman (IMDEA Software Institute and Amazon Web Services)
Testing Consistency of Distributed Databases at AWS
Abstract: Checking whether a given database run is correct with respect to the intended isolation-level specification is often computationally hard. I will describe our ongoing work at Amazon Web Services on a tool that makes this problem tractable by exploiting database-internal information, such as transaction timestamps assigned by the concurrency control. I will also explain how we applied the tool to Aurora Limitless Database - a horizontally scalable variant of Aurora PostgreSQL with strongly consistent distributed transactions. Our tool uses concurrency-control information from a run of a distributed database, such as Aurora Limitless, to deterministically replay this run on a compatible non-distributed database, such as community PostgreSQL. Any mismatch in the database output signals a bug in the original run. This approach covers a large subset of SQL, including predicates and DDL statements, and faithfully checks the intricacies of isolation levels provided by PostgreSQL.
Bio: Alexey Gotsman is a Research Professor at the IMDEA Software Institute in Madrid, Spain and a Scholar at Amazon Web Services. He obtained his PhD at the University of Cambridge, UK. His research interests are in distributed computing, software verification and the combinations of the two.
Session Chair: Si Liu (The Chinese University of Hong Kong, Shenzhen)
Extending Elle for Transaction Workloads with Duplicate Values 🎤
Zhiheng Cai (Tsinghua University), Si Liu (The Chinese University of Hong Kong, Shenzhen), Hengfeng Wei (Hunan University), Yuxing Chen (Renmin University of China)
Efficient Black-Box Serializability Checking in the Presence of Range Predicates 🎤
Qikang Liu (Simon Fraser University), Si Liu (The Chinese University of Hong Kong, Shenzhen), Yuepeng Wang (Simon Fraser University)
Specifying and Analyzing Transactional Consistency Models with Predicates (Extended Abstract) ⚡
Hengfeng Wei (Hunan University), Si Liu (The Chinese University of Hong Kong, Shenzhen), Yuxing Chen (Renmin University of China)
Session Chair: Shuai Mu (Stony Brook University)
Diagnosing the Structure of Strict-Serializability Violations Across Spanner-like Read-Only Transaction Protocols 🎤
Sejong Kim (Korea University), Yon Dohn Chung (Korea University)
Verified Key-Value Stores Satisfying Snapshot Isolation (Extended Abstract) 🎤
Arnaud Daby-Seesaram (Aarhus University), Léon Ducruet (Aarhus University), Lars Birkedal (Aarhus University), Amin Timany (Aarhus University)
Session Chair: Cheng Tan (Northeastern University)
Notified Serializability: A Consistency Model for Concurrent LLM Agents (Best Paper 🏆) 🎤
Hongtao Lyu (Shanghai Jiao Tong University), Dingyan Zhang (Shanghai Jiao Tong University), Mingyu Wu (Shanghai Jiao Tong University), Xingda Wei (Shanghai Jiao Tong University), Haibo Chen (Shanghai Jiao Tong University)
Beyond Pass Rate: A Hierarchy of Behavioral Consistency for LLM Agents ⚡
Tian Lu (Northeastern University), Zikai Wang (Northeastern University), Cheng Tan (Northeastern University)
Session Chair: Hengfeng Wei (Hunan University)
Polygraph: From Transaction Isolation Guarantees to Isolation Verification ⚡
Jian Zhang (Northeastern University), Cheng Tan (Northeastern University)
Semantic Conformance of Concurrency Control Protocols under Mixed Isolation Levels 🎤
Qiuhuan Xiong (Nanjing University), Si Liu (The Chinese University of Hong Kong, Shenzhen), Hengfeng Wei (Hunan University), Yuxing Chen (Renmin University of China), Jidong Ge (Nanjing University)
Reduce Once, Verify Many: Verifying Isolation Guarantees via Hierarchical Abstractions 🎤
Shabnam Ghasemirad (ETH Zurich), Christoph Sprenger (ETH Zurich), Si Liu (The Chinese University of Hong Kong, Shenzhen), David Basin (ETH Zurich)
AI-generated summaries of the accepted papers — short overviews of all 10 papers, produced by an AI model and lightly reviewed. Please refer to the papers above for authoritative descriptions.