IsoVista: Black-box Checking Database Isolation Guarantees
Summary: IsoVista — first black-box isolation checker with faithful characterizations across isolation levels, avoiding false positives and missed bugs on collected DBMS histories. More efficient than prior tools, visualizes concrete violations for debugging, and offers profiling/benchmarking interfaces for checkers and DBMS workloads. (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. Long Gu
- 2. Si Liu
- 3. Tiancheng Xing
- 4. Hengfeng Wei
- 5. Yuxing Chen
- 6. David Basin
Incoming Citations (Sorted by Pagerank)
Showing 5 of 5 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 10,036 | Testing Graph Databases with Synthesized Queries | 2026 | SIGMOD | 4.1945683e-05 |
| 10,299 | Fast Verification of Strong Database Isolation | 2026 | VLDB | 4.1945683e-05 |
| 10,418 | TXSQL: Lock Optimizations Towards High Contented Workloads | 2025 | SIGMOD | 4.1945683e-05 |
| 10,549 | VerIso: Verifiable Isolation Guarantees for Database Transactions | 2025 | VLDB | 4.1945683e-05 |
| 10,729 | TxnSails: Achieving Serializable Transaction Scheduling with Self-Adaptive Isolation Level Selection | 2025 | VLDB | 4.1945683e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 3 of 3 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 1,227 | Elle: Inferring Isolation Anomalies from Experimental Observations | 2021 | VLDB | 0.00013170695 |
| 8,800 | Efficient Black-box Checking of Snapshot Isolation in Databases | 2023 | VLDB | 4.4486165e-05 |
| 9,722 | NOC-NOC: Towards Performance-optimal Distributed Transactions | 2024 | SIGMOD | 4.2959935e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 11,517 | Interactive Demonstration of SQLCheck | 2021 | VLDB | 4.1945683e-05 |
| 10,251 | Pisco: An Isolation Bug Case Reduction and Deduplication Framework | 2026 | VLDB | 4.1945683e-05 |
| 3,409 | SQLCheck: Automated Detection and Diagnosis of SQL Anti-Patterns | 2020 | SIGMOD | 7.1270252e-05 |
| 13,805 | Testing Isolation Levels of Relational Database Management Systems | 2002 | VLDB | - |
| 2,133 | Automating the Detection of Snapshot Isolation Anomalies | 2007 | VLDB | 9.4752131e-05 |
| 10,892 | Leopard: A General Test Suite for Isolation Level Verification | 2024 | CIDR | 4.1945683e-05 |
| 10,299 | Fast Verification of Strong Database Isolation | 2026 | VLDB | 4.1945683e-05 |
| 10,549 | VerIso: Verifiable Isolation Guarantees for Database Transactions | 2025 | VLDB | 4.1945683e-05 |
| 8,800 | Efficient Black-box Checking of Snapshot Isolation in Databases | 2023 | VLDB | 4.4486165e-05 |
| 11,407 | IsoBugView: Interactively Debugging Isolation Bugs in Database Applications | 2022 | VLDB | 4.1945683e-05 |