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 |
|---|---|---|---|---|
| 18 | A Critique of ANSI SQL Isolation Levels | 1995 | SIGMOD | 0.00059344857 |
| 223 | OLTP-Bench: An Extensible Testbed for Benchmarking Relational Databases | 2014 | VLDB | 0.000243333 |
| 1,111 | Elle: Inferring Isolation Anomalies from Experimental Observations | 2021 | VLDB | 0.00012210503 |
| 2,023 | Automating the Detection of Snapshot Isolation Anomalies | 2007 | VLDB | 9.3786802e-05 |
| 2,278 | Detecting Logic Bugs of Join Optimizations in DBMS | 2023 | SIGMOD | 8.8960353e-05 |
| 3,871 | Quantifying Isolation Anomalies | 2009 | VLDB | 7.1143952e-05 |
Previous
Page 1 / 1
Next