Unveiling Compiler Faults via Attribute-Guided Compilation Space Exploration
Jiangchang Wu, Yibiao Yang, Maolin Sun, Yuming Zhou
2025Year
6Citations
2Top-tier citations
Abstract
Compiler testing is critically important, as compilers serve as the foundational infrastructure in system software development. A comprehensive exploration of the compilation space is essential for uncovering bugs in compilers.
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Your agent calls
Luneget_paper_fulltext
Free to start. No credit card required.
Terminal
Install the CLIlune papers fulltext 96136e98-50ac-4dc7-9bcc-153e8b415493Cited by top-tier papers2
- Using a Sledgehammer to Crack a Nut? Revisiting Automated Compiler Fault IsolationYibiao Yang, Qingyang Li, Maolin Sun, Jiangchang Wu et al.ICSE 2026 · 1 citation
- The Unseen Delta: Characterizing the Compiler Optimization Landscape via Top-Down Differential AnalysisZhibo Liu, Huaijin Wang, Shuai WangISSTA 2026
Builds on13
- Random testing for C and C++ compilers with YARPGenVsevolod Livinskii, Dmitry Babokin, John RegehrOOPSLA 2020 · 140 citations
- GrayC: Greybox Fuzzing of Compilers and Analysers for CKarine Even-Mendoza, Arindam Sharma, Alastair F. Donaldson, Cristian CadarISSTA 2023 · 52 citations
- Finding missed optimizations through the lens of dead code eliminationTheodoros Theodoridis, Manuel Rigger, Zhendong SuASPLOS 2022 · 48 citations
- Fuzzing Loop Optimizations in Compilers for C++ and Data-Parallel LanguagesVsevolod Livinskii, Dmitry Babokin, John RegehrPLDI 2023 · 42 citations
- Debug information validation for optimized codeYuanbo Li, Shuo Ding, Qirun Zhang, Davide ItalianoPLDI 2020 · 30 citations
Related papers
- Compiler Bug Isolation via Enhanced Test Program MutationYujie Liu, Mingxuan Zhu, Jinhao Dong, Junzhe Yu et al.ASE 2024 · 3 citations
- Auto Off-Target: Enabling Thorough and Scalable Testing for Complex Software SystemsTomasz Kuchta, Bartosz ZatorASE 2022 · 2 citations
- Finding Bugs in MLIR Compiler Infrastructure via Lowering Space ExplorationJingjing Liang, Shan Huang, Ting SuASE 2025
- CombCT: Compiler Testing via Combinatorial TestingChuan Luo, Shaoke Cui, Jiahao Yan, Junjie Chen et al.ICSE 2026
- FeatureFuzz: Treating Bug-prone Features as Core Primitives for Compiler FuzzingXingbang He, Yuanwei Chen, Hao Wu, Jikang Zhang et al.CCS 2026
