Unveiling Compiler Faults via Attribute-Guided Compilation Space Exploration

Jiangchang Wu; Yibiao Yang; Maolin Sun; Yuming Zhou

USENIX ATC2025顶会

Unveiling Compiler Faults via Attribute-Guided Compilation Space Exploration

Jiangchang Wu, Yibiao Yang, Maolin Sun, Yuming Zhou

出版方

2025年份

6被引次数

2顶会引用

摘要

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.

问问这篇 Paper

智能体会读完全文。

Lune 把这篇 Paper 索引到了每一个公式，引用它的顶会 Paper 也一样。你提问，回答直接引用原文。

核心论断
谁在沿用
横向对比
局限

你的问题

智能体调用

Luneget_paper_fulltext

在 Lune 里问

免费开始，无需绑卡

引用它的顶会 Paper2

Using a Sledgehammer to Crack a Nut? Revisiting Automated Compiler Fault IsolationYibiao Yang, Qingyang Li, Maolin Sun, Jiangchang Wu 等ICSE 2026 · 被引用 1 次
The Unseen Delta: Characterizing the Compiler Optimization Landscape via Top-Down Differential AnalysisZhibo Liu, Huaijin Wang, Shuai WangISSTA 2026

问问它们各自怎么用它

它引用的顶会 Paper13

Random testing for C and C++ compilers with YARPGenVsevolod Livinskii, Dmitry Babokin, John RegehrOOPSLA 2020 · 被引用 140 次
GrayC: Greybox Fuzzing of Compilers and Analysers for CKarine Even-Mendoza, Arindam Sharma, Alastair F. Donaldson, Cristian CadarISSTA 2023 · 被引用 52 次
Finding missed optimizations through the lens of dead code eliminationTheodoros Theodoridis, Manuel Rigger, Zhendong SuASPLOS 2022 · 被引用 48 次
Fuzzing Loop Optimizations in Compilers for C++ and Data-Parallel LanguagesVsevolod Livinskii, Dmitry Babokin, John RegehrPLDI 2023 · 被引用 42 次
Debug information validation for optimized codeYuanbo Li, Shuo Ding, Qirun Zhang, Davide ItalianoPLDI 2020 · 被引用 30 次

摘要

问问这篇 Paper

智能体会读完全文。

引用它的顶会 Paper2

它引用的顶会 Paper13

相关 Paper