← Research building on SQLancer

Peter Popov, Vladimir Stankovic. 2025. IEEE International Symposium on Reliable Distributed Systems.

Read the paper · doi:10.1109/srds69199.2025.00038

What this paper does with SQLancer

The single citation supplies terminology: the paper describes faults where a row is wrongly omitted from a result, or where a DELETE, INSERT or UPDATE wrongly changes the database state, and notes these are referred to by some as logic bugs. Diverse replication masks exactly this class of fault, which is why the term is introduced, but nothing of SQLancer's is used or measured. This paper measures what diverse database replication costs. Running several different DBMS implementations as replicas under snapshot isolation means a fault in one is masked by the others, improving dependability; the question is how much throughput and latency that redundancy consumes. Written by claude-opus-5 from the 1 place this paper refers to SQLancer. The quotations below are the paper's own words, stored verbatim when the text was extracted.

How it was classified

uses infrastructure — no

SQLancer is cited as related work; no reuse of its code, generator or workload is described.

extends technique — no

No SQLancer technique is extended; the citation is background.

compares with — no

No empirical comparison against SQLancer or one of its oracles is reported.

describes as state of the art — no

The text does not describe 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.

#EntryMatched as
19 Rigger, M. and Z. Su, Finding bugs in database systems via query partitioning. Proc. ACM Program. Lang., 2020. 4(OOPSLA): p. Article 211. sqlancer publication · TLP

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 , erroneous omission of a row ) – referred to by some as “logic bugs” [19], and DELETEs, INSERTs and UPDATEs wrongly changing the database state. citation marker
definition
III REPLICATION ANDSYSTEM MODEL
page 3

This page is rendered from _data/papers/paper_doi_10_1109_srds69199_2025_00038.json, extracted from supplied pdf. 11 pages, 32 references parsed.