Finding bugs in compilers with/without AI techniques
Project Description
Compiler bugs may affect the reliability of entire software world. In this project, we will design and implement a few interesting and powerful techniques to generate test cases for compilers like GCC. These techniques may involve LLMs and other state-of-the-art AI techniques.
Supervisor
TIAN, Yongqiang
Co-Supervisor
CHEUNG, Shing Chi
Quota
2
Course type
UROP1000
UROP1100
UROP2100
UROP3100
UROP4100
Applicant's Roles
Students are expected to implement a few interesting and powerful techniques, with the guidance of the supervisor. Students may have the chance to use LLMs and other state-of-the-art AI techniques.
Applicant's Learning Objectives
1) learn the basic knowledge of compiler testing
2) learn how to build some compiler testing techniques
3) learn how to involve AI in compiler testing (optional).
2) learn how to build some compiler testing techniques
3) learn how to involve AI in compiler testing (optional).
Complexity of the project
Moderate