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
- 2. Siyang Weng
- 3. Keqiang Li
- 4. Lyu Ni
- 5. Chengcheng Yang
- 6. Rong Zhang
- 7. Weining Qian
- 8. Dian Qiao
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 |
|---|---|---|---|---|
| 23 | A Critique of ANSI SQL Isolation Levels | 1995 | SIGMOD | 0.00083899338 |
| 339 | OLTP-Bench: An Extensible Testbed for Benchmarking Relational Databases | 2014 | VLDB | 0.00026895683 |
| 1,228 | Elle: Inferring Isolation Anomalies from Experimental Observations | 2021 | VLDB | 0.00013158624 |
| 2,132 | Automating the Detection of Snapshot Isolation Anomalies | 2007 | VLDB | 9.47431e-05 |
| 2,657 | Detecting Logic Bugs of Join Optimizations in DBMS | 2023 | SIGMOD | 8.3636172e-05 |
| 4,340 | Quantifying Isolation Anomalies | 2009 | VLDB | 6.269792e-05 |
Previous
Page 1 / 1
Next