10 papers
Understanding Agent-Based Patching of Compiler Missed Optimizations
Batu Guan, Zirui Wang, Shaohua Li
Compiler missed optimizations refer to cases in which compilers failed to optimize certain code. It takes many compiler developers' efforts to implement or patch such missed optimi…
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…
Knowdit: Agentic Smart Contract Vulnerability Detection with Auditing Knowledge Summarization
Ziqiao Kong, Wanxu Xia, Chong Wang +6
Smart contracts govern billions of dollars in decentralized finance (DeFi), yet automated vulnerability detection remains challenging because many vulnerabilities are tightly coupl…
Agentic Harness for Real-World Compilers
Yingwei Zheng, Cong Li, Shaohua Li +2
Compilers are critical to modern computing, yet fixing compiler bugs is difficult. While recent large language model (LLM) advancements enable automated bug repair, compiler bugs p…
Belobog: Move Language Fuzzing Framework For Real-World Smart Contracts
Ziqiao Kong, Wanxu Xia, Zhengwei Li +6
Move is a resource-oriented programming language designed for secure and verifiable smart contract development and has been widely used in managing billions of digital assets in bl…
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…
Is Your Benchmark Still Useful? Dynamic Benchmarking for Code Language Models
Batu Guan, Xiao Wu, Yuanyuan Yuan +1
In this paper, we tackle a critical challenge in model evaluation: how to keep code benchmarks useful when models might have already seen them during training. We introduce a novel…
SAND: Decoupling Sanitization from Fuzzing for Low Overhead
Ziqiao Kong, Shaohua Li, Heqing Huang +1
Sanitizers provide robust test oracles for various software vulnerabilities. Fuzzing on sanitizer-enabled programs has been the best practice to find software bugs. Since sanitizer…
UBfuzz: Finding Bugs in Sanitizer Implementations
Shaohua Li, Zhendong Su
In this paper, we propose a testing framework for validating sanitizer implementations in compilers. Our core components are (1) a program generator specifically designed for produ…