4 papers
Debug Like a Human: Scaling LLM-based Fault Localization to Processor Design via Block-Level Instruction-Oriented Slicing
Zizhen Liu, Xiaoguang Mao, Deheng Yang +6
Fault localization in modern processor design code is a critical yet time-consuming step during processor verification. While recent advances in LLM-based techniques for module-lev…
ClozeMaster: Fuzzing Rust Compiler by Harnessing LLMs for Infilling Masked Real Programs
Hongyan Gao, Yibiao Yang, Maolin Sun +3
Ensuring the reliability of the Rust compiler is of paramount importance, given increasing adoption of Rust for critical systems development, due to its emphasis on memory and thre…
Isolating Compiler Faults via Multiple Pairs of Adversarial Compilation Configurations
Qingyang Li, Yibiao Yang, Maolin Sun +3
Compilers are fundamental to modern software development, making the effective identification and resolution of compiler faults essential. However, localizing these faults to speci…
Using a Sledgehammer to Crack a Nut? Revisiting Automated Compiler Fault Isolation
Yibiao Yang, Qingyang Li, Maolin Sun +2
Background: Compilers are fundamental to software development, translating high-level source code into executable software systems. Faults in compilers can have severe consequences…