4 papers
Archer: Towards Agentic Review for Compiler Optimizations
Yunbo Ni, Shaohua Li
Modern compilers are frequently updated, but expert review capacity is highly limited, leading to delayed integration and, in some cases, subtle semantic bugs entering the compiler…
Interleaving Large Language Models for Compiler Testing
Yunbo Ni, Shaohua Li
Testing compilers with AI models, especially large language models (LLMs), has shown great promise. However, current approaches struggle with two key problems: The generated progra…
An Empirical Study of Rust-Specific Bugs in the rustc Compiler
Zixi Liu, Yang Feng, Yunbo Ni +5
Rust is gaining popularity for its well-known memory safety guarantees and high performance, distinguishing it from C/C++ and JVM-based languages. Its compiler, rustc, enforces the…
PanicFI: An Infrastructure for Fixing Panic Bugs in Real-World Rust Programs
Yunbo Ni, Yang Feng, Zixi Liu +2
The Rust programming language has garnered significant attention due to its robust safety features and memory management capabilities. Despite its guaranteed memory safety, Rust pr…