Demystifying and Checking Silent Semantic Violations in Large Distributed Systems
What this paper does with SQLancer
One citation, in a survey of solutions for detecting semantic bugs in file systems and DBMSs, where pivoted query synthesis is named alongside cross-checking file system implementations and fuzzing.
This paper studies silent semantic violations in large distributed systems -- failures where the system keeps running but breaks a property it promised. The authors analyse such violations across widely used systems, derive rules that capture the properties, and check them at runtime, finding violations that crash-oriented testing does not.
How it was classified
uses infrastructure — no
SQLancer is cited, not used; nothing in the mentions describes reusing its code.
extends technique — no
No technique is extended; the citation is background.
compares with — no
No empirical comparison against SQLancer is reported in the mentions.
describes as state of the art — no
The citation does not characterise SQLancer as the state of the art.
SQLancer publications it cites (1)
Bibliography entries that resolved to a SQLancer publication, or to a paper by one of the project's authors. A sentence citing one of these numbers is a reference to SQLancer even when it never writes the name.
| # | Entry | Matched as |
|---|---|---|
| 54 | M. Rigger and Z. Su. Testing database engines via pivoted query synthesis. In 14th USENIX Symposium on Operating Systems Design and Implementation, OSDI ’20, pages 667– 682. USENIX Association, Nov. 2020. | sqlancer publication · PQS |
Every place it refers to SQLancer (1)
1 sentence, each stored verbatim from the extracted text with where it was found and how. “Citation marker” means the sentence names no tool at all and was reached through a reference number that resolved to a SQLancer publication.
| Id | Sentence | Found by | Where |
|---|---|---|---|
| M1 | Several solutions are proposed to detect semantic bugs in file systems and DBMS, including cross-checking multiple file system implementations [50], fuzzing [39], and testing using pivoted query [54]. |
citation marker |
10.5 Rule Activation and False Positive page 15 |