Isolating Compiler Bugs by Generating Effective Witness Programs with Large Language Models

Haoxin Tu, Zhide Zhou, He Jiang +3

Compiler bugs pose a significant threat to safety-critical applications, and promptly as well as effectively isolating these bugs is crucial for assuring the quality of compilers.…