About Me
Research Areas
🔧 System Reliability for ML
Synthesizing diverse & high-quality tensor programs across inference (FreeFuzz, DeepREL), training (NablaFuzz), and optimization components (WhiteFox) in ML systems, along with test oracles.
🤖 ML for System Reliability
Selected Publications
For a full list of publications, please refer to Publications.
SOSP 2025
KNighter: Transforming Static Analysis with LLM-Synthesized Checkers
The 31st Symposium on Operating Systems Principles, Oct 2025
OOPSLA 2025
AutoVerus: Automated Proof Generation for Rust Code
Object-Oriented Programming, Systems, Languages, and Applications 2025 (in PACM PL), Oct 2025
ASPLOS 2025
KernelGPT: Enhanced Kernel Fuzzing via Large Language Models
30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, March 2025
OOPSLA 2024
WhiteFox: White-box Compiler Fuzzing Empowered by Large Language Models
Object-Oriented Programming, Systems, Languages, and Applications 2024 (in PACM PL), Oct 2024
ISSTA 2023
Large Language Models are Zero-Shot Fuzzers: Fuzzing Deep-Learning Libraries via Large Language Models
32nd International Symposium on Software Testing and Analysis, July 2023
ICSE 2023
Fuzzing Automatic Differentiation in Deep-Learning Libraries
45th International Conference on Software Engineering, May 2023
* denotes joint first authors
Internships
Microsoft Research, Systems Research Group Summmer 2025
Microsoft Research, Systems Research Group Summmer 2024
Google Labs, Project Starline Summmer 2023