Publications

You can also find my articles on my Google Scholar profile.

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

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

Paper Code Website

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

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

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

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

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

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

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

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

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

* denotes joint first authors