Computer-Orchestrated Design of Algorithms: From Join Specification to Implementation

Zeyuan Hu. 2026. arXiv.org.

Read the paper · arXiv:2603.19434

What this paper does with SQLancer

Two citations, treating SQLancer's line of work as the conventional database testing frameworks CODA is measured against in argument -- the natural choice for verifying a physical translation, which the authors then explain does not fit their need. An experience paper on CODA, a testing framework used while co-designing the logical specification and physical implementation of TreeTracker Join. The authors argue existing database testing frameworks cannot supply the algorithm-specific inputs such as join trees that this needs, and that macro-benchmark queries are too noisy to isolate the defects involved. By synthesising minimal reproducible examples, CODA isolated translation defects, one of which refined the algorithm's formal precondition. Written by claude-opus-5 from the 2 places 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, 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 (2)

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
12	Manuel Rigger and Zhendong Su. 2020. Testing Database Engines via Pivoted Query Synthesis. In14th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2020, Virtual Event, November 4-6, 2020. USENIX A...	sqlancer publication · PQS
18	Chi Zhang and Manuel Rigger. 2025. Constant Optimization Driven Database System Testing. doi:10.1145/ 3709674	sqlancer publication · CODDTEST

Every place it refers to SQLancer (2)

2 sentences, 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	A natural choice to verify the physical translation of such algorithms is to leverage conventional database testing frameworks [ 6, 7,9,12–15,18,21].	citation marker motivation	1 Introduction page 1
M2	5 Related Work Extensive research applies differential and generator-based testing to validate database implementations [ 6,7,12–15,21], typically executing synthesized SQL queries against mature DBMSs.	citation marker background	4.3 Case Study 3: Architectural Evolution and page 6

This page is rendered from _data/papers/paper_arxiv_2603_19434.json, extracted from arxiv. 9 pages, 21 references parsed.