Pisco: An Isolation Bug Case Reduction and Deduplication Framework
Summary: Pisco targets isolation-bug triage for DBMSs: deterministic reproduction via internal-state simulation of conflicting op order, then dependency-aware divide-and-conquer reduction of concurrent test cases. Adds a domain-knowledge, multi-agent deduplicator to identify unique bugs amid complex transaction interleavings. (summarized by gpt-5.4-mini on Apr 12 2026)
Incoming Non-self Citations Over Time
No non-self incoming citations found for this paper in this database.
Authors
- 1. Siyang Weng (East China Normal University; Shanghai Engineering Research Center of Big Data Management)
- 2. Hongyu Yang (East China Normal University)
- 3. Zirui Hu (East China Normal University)
- 4. Rong Zhang (East China Normal University; Shanghai Engineering Research Center of Big Data Management)
- 5. Zhicheng Pan (East China Normal University)
- 6. Chengcheng Yang (East China Normal University)
- 7. Xuan Zhou (East China Normal University)
- 8. Yuxing Chen (Tencent)
- 9. Xiaolong He (Tencent)
- 10. Anqun Pan (Tencent)
BibTeX Citation
@article{weng_vldb26,
title = {{Pisco: An Isolation Bug Case Reduction and Deduplication Framework}},
author = {Weng, Siyang and Yang, Hongyu and Hu, Zirui and Zhang, Rong and Pan, Zhicheng and Yang, Chengcheng and Zhou, Xuan and Chen, Yuxing and He, Xiaolong and Pan, Anqun},
journal = {PVLDB},
series = {{VLDB} '26},
volume = {19},
number = {6},
pages = {1413--1426},
doi = {10.14778/3797919.3797944},
url = {https://doi.org/10.14778/3797919.3797944},
year = {2026}
}
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 13 of 13 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 9,868 | Fucci: Database Transaction Fuzzing via Random Conflict Construction and Multilevel Constraint Solving | 2025 | VLDB |
| 2 | 7,427 | Constant Optimization Driven Database System Testing | 2025 | SIGMOD |
| 3 | 10,216 | DBugScribe: Automatic Database Bug Reproduction from Community Reports | 2026 | SIGMOD |
| 4 | 8,482 | A Demonstration of DLBD: Database Logic Bug Detection System | 2023 | VLDB |
| 5 | 10,477 | One DBMS, Two Modes, and a Bunch of Bugs: Catching Logic Bugs in Distributed DBMSs via Differential Testing | 2026 | SIGMOD |
| 6 | 11,115 | Leopard: A General Test Suite for Isolation Level Verification | 2024 | CIDR |
| 7 | 2,044 | Detecting Logic Bugs of Join Optimizations in DBMS | 2023 | SIGMOD |
| 8 | 10,820 | VerIso: Verifiable Isolation Guarantees for Database Transactions | 2025 | VLDB |
| 9 | 11,311 | IsoVista: Black-box Checking Database Isolation Guarantees | 2024 | VLDB |
| 10 | 11,605 | IsoBugView: Interactively Debugging Isolation Bugs in Database Applications | 2022 | VLDB |