CV

Education

• B.S. Nanjing University, 2018 - 2022
• PhD student UIUC, 2022

Publications

ICSE 2022
Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source
Anjiang Wei, Yinlin Deng, Chenyuan Yang, Lingming Zhang
44th International Conference on Software Engineering, May 2022
Paper Code
ESEC/FSE 2022
Fuzzing Deep-Learning Libraries via Automated Relational API Inference
Yinlin Deng*, Chenyuan Yang*, Anjiang Wei, Lingming Zhang
30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Nov 2022
Paper Code
ICSE 2023
Fuzzing Automatic Differentiation in Deep-Learning Libraries
Chenyuan Yang, Yinlin Deng, Jiayi Yao, Yuxing Tu, Hanchi Li, Lingming Zhang
45th International Conference on Software Engineering, May 2023
Paper Code Slides
ISSTA 2023
Large Language Models are Zero-Shot Fuzzers: Fuzzing Deep-Learning Libraries via Large Language Models
Yinlin Deng, Chunqiu Steven Xia, Haoran Peng, Chenyuan Yang, Lingming Zhang
32nd International Symposium on Software Testing and Analysis, July 2023
Paper Code
ICSE 2024
Large Language Models are Edge-Case Generators: Crafting Unusual Programs for Fuzzing Deep Learning Libraries
Yinlin Deng, Chunqiu Steven Xia, Chenyuan Yang, Shizhuo Zhang, Shujing Yang, Lingming Zhang
46th International Conference on Software Engineering, April 2024
Paper
OOPSLA 2024
WhiteFox: White-box Compiler Fuzzing Empowered by Large Language Models
Chenyuan Yang, Yinlin Deng, Runyu Lu, Jiayi Yao, Jiawei Liu, Reyhaneh Jabbarvand, Lingming Zhang
Object-Oriented Programming, Systems, Languages, and Applications 2024 (in PACM PL), Oct 2024
Paper Code Slides
ASPLOS 2025
KernelGPT: Enhanced Kernel Fuzzing via Large Language Models
Chenyuan Yang, Zijie Zhao, Lingming Zhang
30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, March 2025
Paper Code
ICLR 2025
Automated Proof Generation for Rust Code via Self-Evolution
Tianyu Chen, Shuai Lu, Shan Lu, Yeyun Gong, Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Hao Yu, Nan Duan, Peng Cheng, Fan Yang, Shuvendu K Lahiri, Tao Xie, Lidong Zhou
The Thirteenth International Conference on Learning Representations, Apr 2025
Paper
NAACL 2025
TestEval: Benchmarking Large Language Models for Test Case Generation
Wenhan Wang*, Chenyuan Yang*, Zhijie Wang*, Yuheng Huang, Zhaoyang Chu, Da Song, Lingming Zhang, An Ran Chen, Lei Ma
The 2025 Annual Conference of the Nations of the Americas Chapter of the ACL, Findings, April 2025
Paper Code
OOPSLA 2025
AutoVerus: Automated Proof Generation for Rust Code
Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Jianan Yao, Weidong Cui, Yeyun Gong, Chris Hawblitzel, Shuvendu Lahiri, Jacob R. Lorch, Shuai Lu, Fan Yang, Ziqiao Zhou, Shan Lu
Object-Oriented Programming, Systems, Languages, and Applications 2025 (in PACM PL), Oct 2025
🏆 Distinguished Artifact Award
Paper Code Website
SOSP 2025
KNighter: Transforming Static Analysis with LLM-Synthesized Checkers
Chenyuan Yang, Zijie Zhao, Zichen Xie, Haoyu Li, Lingming Zhang
The 31st Symposium on Operating Systems Principles, Oct 2025
Paper Code

Work experience

• Summer 2021 - Present: Research Intern
  • UIUC
  • Supervisor: Professor Lingming Zhang