Leopard: A General Test Suite for Isolation Level Verification
Summary: Leopard is a general, black-box test suite that verifies database isolation levels by analyzing client-side workload traces, supporting varied IL definitions and implementations without DBMS source access. Efficiently handles nondeterministic concurrency and uncovered 24 real DBMS bugs. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
No non-self incoming citations found for this paper in this database.
Authors
- 1. Peiyuan Liu (East China Normal University)
- 2. Siyang Weng (East China Normal University)
- 3. Keqiang Li (East China Normal University)
- 4. Lyu Ni (East China Normal University)
- 5. Chengcheng Yang (East China Normal University)
- 6. Rong Zhang (East China Normal University)
- 7. Weining Qian (East China Normal University)
- 8. Dian Qiao (Huawei)
BibTeX Citation
@inproceedings{liu_cidr24,
address = {Amsterdam, Netherlands},
series = {{CIDR} '24},
title = {{Leopard: A General Test Suite for Isolation Level Verification}},
booktitle = {Proceedings of the {Conference} on {Innovative} {Data} {Systems} {Research}},
author = {Liu, Peiyuan and Weng, Siyang and Li, Keqiang and Ni, Lyu and Yang, Chengcheng and Zhang, Rong and Qian, Weining and Qiao, Dian},
year = {2024}
}Incoming Citations (Sorted by Pagerank)
Showing 0 of 0 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 6 of 6 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 19 | A Critique of ANSI SQL Isolation Levels | 1995 | SIGMOD | 0.00058720861 |
| 226 | OLTP-Bench: An Extensible Testbed for Benchmarking Relational Databases | 2014 | VLDB | 0.00024027277 |
| 1,080 | Elle: Inferring Isolation Anomalies from Experimental Observations | 2021 | VLDB | 0.00012257972 |
| 2,044 | Detecting Logic Bugs of Join Optimizations in DBMS | 2023 | SIGMOD | 9.2663577e-05 |
| 2,057 | Automating the Detection of Snapshot Isolation Anomalies | 2007 | VLDB | 9.2495387e-05 |
| 3,940 | Quantifying Isolation Anomalies | 2009 | VLDB | 7.0080239e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 1,080 | Elle: Inferring Isolation Anomalies from Experimental Observations | 2021 | VLDB |
| 2 | 245 | Serializable Isolation for Snapshot Databases | 2008 | SIGMOD |
| 3 | 10,597 | Fast Verification of Strong Database Isolation | 2026 | VLDB |
| 4 | 8,715 | Efficient Black-box Checking of Snapshot Isolation in Databases | 2023 | VLDB |
| 5 | 9,869 | Simple Testing Can Expose Most Critical Transaction Bugs: Understanding and Detecting Write-Specific Serializability Violations in Database Systems | 2025 | VLDB |
| 6 | 11,605 | IsoBugView: Interactively Debugging Isolation Bugs in Database Applications | 2022 | VLDB |
| 7 | 10,820 | VerIso: Verifiable Isolation Guarantees for Database Transactions | 2025 | VLDB |
| 8 | 14,006 | Testing Isolation Levels of Relational Database Management Systems | 2002 | VLDB |
| 9 | 2,057 | Automating the Detection of Snapshot Isolation Anomalies | 2007 | VLDB |
| 10 | 11,311 | IsoVista: Black-box Checking Database Isolation Guarantees | 2024 | VLDB |