Showing cs.SEShow all
3 papers · 1 filter
cs.SE2026
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…
cs.SE2025
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…
cs.SE2024
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…