Isolating compiler bugs by generating effective witness programs with Large Language Models

• Main Authors: TU, Haoxin, ZHOU, Zhide, JIANG, He, IMAM NUR BANI YUSUF, LI, Yuxian, JIANG, Lingxiao
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2024
• Subjects: Software debugging; Bug isolation; Compilers; GCC; LLVM; Reinforcement learning; Large language models (LLMs).; Artificial Intelligence and Robotics; Computer Sciences
• Online Access: https://ink.library.smu.edu.sg/sis_research/9985
• Institution: Singapore Management University

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. However, the limited availability of debugging information on reported bugs complicates the compiler bug isolation task....