Chenyuan Yang

According to our database, Chenyuan Yang authored at least 15 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

A Multi-Dimensional Constraint Framework for Evaluating and Improving Instruction Following in Large Language Models.

Junjie Ye, Caishuang Huang, Zhuohan Chen, Wenjie Fu, Chenyuan Yang, Leyi Yang, Yilong Wu, Peng Wang, Meng Zhou, Xiaolong Yang, Tao Gui, Qi Zhang, Zhongchao Shi, Jianping Fan, Xuanjing Huang

CoRR, May, 2025

KNighter: Transforming Static Analysis with LLM-Synthesized Checkers.

Chenyuan Yang, Zijie Zhao, Zichen Xie, Haoyu Li, Lingming Zhang

CoRR, March, 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

Proceedings of the Findings of the Association for Computational Linguistics: NAACL 2025, Albuquerque, New Mexico, USA, April 29, 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

Proceedings of the Thirteenth International Conference on Learning Representations, 2025

KernelGPT: Enhanced Kernel Fuzzing via Large Language Models.

Chenyuan Yang, Zijie Zhao, Lingming Zhang

Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2025

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

Proc. ACM Program. Lang., 2024

AutoVerus: Automated Proof Generation for Rust Code.

Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Jianan Yao, Weidong Cui, Yeyun Gong, Chris Hawblitzel, Shuvendu K. Lahiri, Jacob R. Lorch, Shuai Lu, Fan Yang, Ziqiao Zhou, Shan Lu

CoRR, 2024

Large Language Models are Edge-Case Generators: Crafting Unusual Programs for Fuzzing Deep Learning Libraries.

Yinlin Deng, Chunqiu Steven Xia, Chenyuan Yang, Shizhuo Dylan Zhang, Shujing Yang, Lingming Zhang

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

2023

White-box Compiler Fuzzing Empowered by Large Language Models.

Chenyuan Yang, Yinlin Deng, Runyu Lu, Jiayi Yao, Jiawei Liu, Reyhaneh Jabbarvand, Lingming Zhang

CoRR, 2023

Large Language Models are Edge-Case Fuzzers: Testing Deep Learning Libraries via FuzzGPT.

Yinlin Deng, Chunqiu Steven Xia, Chenyuan Yang, Shizhuo Dylan Zhang, Shujing Yang, Lingming Zhang

CoRR, 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

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Fuzzing Automatic Differentiation in Deep-Learning Libraries.

Chenyuan Yang, Yinlin Deng, Jiayi Yao, Yuxing Tu, Hanchi Li, Lingming Zhang

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

2022

Fuzzing Deep-Learning Libraries via Large Language Models.

Yinlin Deng, Chunqiu Steven Xia, Haoran Peng, Chenyuan Yang, Lingming Zhang

CoRR, 2022

Fuzzing deep-learning libraries via automated relational API inference.

Yinlin Deng, Chenyuan Yang, Anjiang Wei, Lingming Zhang

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source.

Anjiang Wei, Yinlin Deng, Chenyuan Yang, Lingming Zhang

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022