T-Rec: Fine-Grained Language-Agnostic Program Reduction Guided by Lexical Syntax

Zhenyang Xu, Yongqiang Tian, Mengxiao Zhang, Jiarui Zhang, Puzhuo Liu, Yu Jiang, Chengnian Sun. 2024. ACM Transactions on Software Engineering and Methodology.

Read the paper · doi:10.1145/3690631

What this paper does with SQLancer

A single citation, among the compiler-testing and programming-language work that commonly employs program reducers. T-Rec is a language-agnostic program reduction technique guided by lexical syntax. Program reduction removes bug-irrelevant code from a bug-triggering program, giving a smaller reproducer and making duplicates easier to tell apart. The authors observe that existing language-agnostic reducers treat tokens as atomic and so miss reduction opportunities inside them; T-Rec reduces within tokens, removing up to 65.52% more bytes than Perses on a multi-lingual benchmark. 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, 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
32	Manuel Rigger and Zhendong Su. 2020. Detecting optimization bugs in database engines via non-optimizing reference engine construction. In Proceedingsofthe28thACMJointMeetingonEuropeanSoftwareEngineeringConferenceand A...	sqlancer publication · NOREC

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	It is a widely recognized and powerful reducer commonly employed in compiler testing work and programming language communities [ 7,23–26,32,33,42].	citation marker background	1 Introduction page 3

This page is rendered from _data/papers/paper_doi_10_1145_3690631.json, extracted from supplied pdf. 31 pages, 47 references parsed.