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.
Session times will be announced closer to the workshop.
Friday, September 4, 2026
Keynote
Speaker: Alexey Gotsman (IMDEA Software Institute)
Session 1: Checking Reality
Session Chair: Si Liu (Texas A&M University)
Extending Elle for Transaction Workloads with Duplicate Values
Zhiheng Cai (Tsinghua University), Si Liu (Texas A&M University), 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 (Texas A&M University), Yuepeng Wang (Simon Fraser University)
Specifying and Analyzing Transactional Consistency Models with Predicates (Extended Abstract)
Hengfeng Wei (Hunan University), Si Liu (Texas A&M University), Yuxing Chen (Renmin University of China)
Session 2: Who Broke Serializability and Snapshot Isolation?
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 3: Many Models, One Theory
Session Chair: Hengfeng Wei (Hunan University)
Semantic Conformance of Concurrency Control Protocols under Mixed Isolation Levels
Qiuhuan Xiong (Nanjing University), Si Liu (Texas A&M University), Hengfeng Wei (Hunan University), Yuxing Chen (Renmin University of China), Jidong Ge (Nanjing University)
Polygraph: From Transaction Isolation Guarantees to Isolation Verification
Jian Zhang (Northeastern University), Cheng Tan (Northeastern University)
Reduce Once, Verify Many: Verifying Isolation Guarantees via Hierarchical Abstractions
Shabnam Ghasemirad (ETH Zurich), Christoph Sprenger (ETH Zurich), Si Liu (Texas A&M University), David Basin (ETH Zurich)
Session 4: Consistency Goes Agentic
Session Chair: Cheng Tan (Northeastern University)
Notified Serializability: A Consistency Model for Concurrent LLM Agents
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)