Page Not Found
Page not found. Your pixels are in another canvas.
Sitemap
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
Pages
Page not in menu
This is a page not in th emain menu
Posts
Future Blog Post
Published:
This post will show up by default. To disable scheduling of future posts, edit config.yml and set future: false.
Blog Post number 4
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 3
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 2
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 1
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
portfolio
publications
Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source
Published in 44th International Conference on Software Engineering, 2022
Anjiang Wei, Yinlin Deng, Chenyuan Yang, Lingming Zhang
Download here
Fuzzing Deep-Learning Libraries via Automated Relational API Inference
Published in 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022
Yinlin Deng*, Chenyuan Yang*, Anjiang Wei, Lingming Zhang
Download here
Fuzzing Automatic Differentiation in Deep-Learning Libraries
Published in 45th International Conference on Software Engineering, 2023
Chenyuan Yang, Yinlin Deng, Jiayi Yao, Yuxing Tu, Hanchi Li, Lingming Zhang
Download here
Large Language Models are Zero-Shot Fuzzers: Fuzzing Deep-Learning Libraries via Large Language Models
Published in 32nd International Symposium on Software Testing and Analysis, 2023
Yinlin Deng, Chunqiu Steven Xia, Haoran Peng, Chenyuan Yang, Lingming Zhang
Download here
Large Language Models are Edge-Case Generators: Crafting Unusual Programs for Fuzzing Deep Learning Libraries
Published in 46th International Conference on Software Engineering, 2023
Yinlin Deng, Chunqiu Steven Xia, Chenyuan Yang, Shizhuo Zhang, Shujing Yang, Lingming Zhang
Download here
WhiteFox: White-box Compiler Fuzzing Empowered by Large Language Models
Published in Object-Oriented Programming, Systems, Languages, and Applications 2024 (in PACM PL), 2024
Chenyuan Yang, Yinlin Deng, Runyu Lu, Jiayi Yao, Jiawei Liu, Reyhaneh Jabbarvand, Lingming Zhang
Download here
KernelGPT: Enhanced Kernel Fuzzing via Large Language Models
Published in 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2025
Chenyuan Yang, Zijie Zhao, Lingming Zhang
Download here
Automated Proof Generation for Rust Code via Self-Evolution
Published in The Thirteenth International Conference on Learning Representations, 2025
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
Download here
TestEval: Benchmarking Large Language Models for Test Case Generation
Published in The 2025 Annual Conference of the Nations of the Americas Chapter of the ACL, 2025
Wenhan Wang, Chenyuan Yang*, Zhijie Wang, Yuheng Huang, Zhaoyang Chu, Da Song, Lingming Zhang, An Ran Chen, Lei Ma
Download here
[Preprint] AutoVerus: Automated Proof Generation for Rust Code
Published in , 2101
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
Download here
[Preprint] KNighter: Transforming Static Analysis with LLM-Synthesized Checkers
Published in , 2102
Chenyuan Yang, Zijie Zhao, Zichen Xie, Haoyu Li, Lingming Zhang
Download here
talks
Talk 1 on Relevant Topic in Your Field
Published:
This is a description of your talk, which is a markdown files that can be all markdown-ified like any other post. Yay markdown!
Conference Proceeding talk 3 on Relevant Topic in Your Field
Published:
This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field.
teaching
Teaching experience 1
Undergraduate course, University 1, Department, 2014
This is a description of a teaching experience. You can use markdown like any other post.
Teaching experience 2
Workshop, University 1, Department, 2015
This is a description of a teaching experience. You can use markdown like any other post.