PolyJuice: Detecting Mis-compilation Bugs in Tensor Compilers with Equality Saturation Based Rewriting

Chijin Zhou, Bingzhou Qian, Gwihwan Go, Quan Zhang, Shanshan Li, Yu Jiang. 2024. Proc. ACM Program. Lang..

What this paper does with SQLancer

One citation in related work describing PQS as generating queries designed to retrieve a specific data entity for verification -- the database counterpart to PolyJuice's equivalent-graph oracle. PolyJuice detects mis-compilation bugs in tensor compilers by constructing semantically equivalent computation graphs and checking the compiler treats them alike. The difficulty is producing equivalent graphs that exercise different optimisation logic, which the authors address with arithmetic and structural rewrite rules and an equality saturation framework that finds the most simplified and most complex equivalent graphs. Across five industrial and two academic compilers it found 84 non-crash mis-compilation bugs. 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
43	Manuel Rigger and Zhendong Su. 2020. Testing Database Engines via Pivoted Query Synthesis. In 14th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2020.	sqlancer publication · PQS
49	Theodoros Theodoridis, Manuel Rigger, and Zhendong Su. 2022. Finding missed optimizations through the lens of dead code elimination. In 27th ACM International Conference on Architectural Support for Programming Langua...	project authored

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	Traditional compiler testing techniques [ 21,22,49] often construct equivalent programs by inserting dead code, e.	citation marker project authored background	1 Introduction page 3
M2	For database engine testing, PQS [ 43] was introduced to generate queries that are designed to retrieve a specific data entity for verifying the integrity of the database engine; Mozi [ 8,26,58] constructs equivalent database engines through adjusting configurations to detect correctness bugs.	technique definition	8 Related Work page 23

This page is rendered from _data/papers/paper_doi_10_1145_3689757.json, extracted from supplied pdf. 27 pages, 76 references parsed.