Chenyuan Yang - RankMe

27 papers A* 5A 1Journal 18Unranked 3

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Impact of Automation Levels in Different Information Processing Stages on Submersible Mechanical Support Operational Work Performance Under Unbalanced Workloads. Int. J. Hum. Comput. Interact. Chenyuan Yang, Liping Pang, Xiaodong Cao, Peng Xue, Bingxu Zhao, Wentao Wu
2025	J	`jnl`	A Multi-Dimensional Constraint Framework for Evaluating and Improving Instruction Following in Large Language Models. CoRR 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
2025	J	`jnl`	AutoVerus: Automated Proof Generation for Rust Code. Proc. ACM Program. Lang. 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
2025	A*	`conf`	Automated Proof Generation for Rust Code via Self-Evolution. ICLR 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
2025	A*	`conf`	KNighter: Transforming Static Analysis with LLM-Synthesized Checkers. SOSP Chenyuan Yang, Zijie Zhao, Zichen Xie, Haoyu Li, Lingming Zhang
2025	J	`jnl`	KNighter: Transforming Static Analysis with LLM-Synthesized Checkers. CoRR Chenyuan Yang, Zijie Zhao, Zichen Xie, Haoyu Li, Lingming Zhang
2025	—	`conf`	KernelGPT: Enhanced Kernel Fuzzing via Large Language Models. ASPLOS (2) Chenyuan Yang, Zijie Zhao, Lingming Zhang
2025	J	`jnl`	Lookahead Tree-Based Rollouts for Enhanced Trajectory-Level Exploration in Reinforcement Learning with Verifiable Rewards. CoRR Shangyu Xing, Siyuan Wang, Chenyuan Yang, Xinyu Dai, Xiang Ren
2025	J	`jnl`	Multilingual Routing in Mixture-of-Experts. CoRR Lucas Bandarkar, Chenyuan Yang, Mohsen Fayyaz, Junlin Hu, Nanyun (Violet) Peng
2025	—	`conf`	TESTEVAL: Benchmarking Large Language Models for Test Case Generation. NAACL (Findings) Wenhan Wang, Chenyuan Yang, Zhijie Wang, Yuheng Huang, Zhaoyang Chu, Da Song, Lingming Zhang, An Ran Chen, Lei Ma
2025	J	`jnl`	VeruSAGE: A Study of Agent-Based Verification for Rust Systems. CoRR Chenyuan Yang, Natalie Neamtu, Chris Hawblitzel, Jacob R. Lorch, Shan Lu
2024	J	`jnl`	AutoVerus: Automated Proof Generation for Rust Code. CoRR 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
2024	J	`jnl`	Automated Proof Generation for Rust Code via Self-Evolution. CoRR 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
2024	J	`jnl`	KernelGPT: Enhanced Kernel Fuzzing via Large Language Models. CoRR Chenyuan Yang, Zijie Zhao, Lingming Zhang
2024	A*	`conf`	Large Language Models are Edge-Case Generators: Crafting Unusual Programs for Fuzzing Deep Learning Libraries. ICSE Yinlin Deng, Chunqiu Steven Xia, Chenyuan Yang, Shizhuo Dylan Zhang, Shujing Yang, Lingming Zhang
2024	J	`jnl`	TESTEVAL: Benchmarking Large Language Models for Test Case Generation. CoRR Wenhan Wang, Chenyuan Yang, Zhijie Wang, Yuheng Huang, Zhaoyang Chu, Da Song, Lingming Zhang, An Ran Chen, Lei Ma
2024	J	`jnl`	WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models. Proc. ACM Program. Lang. Chenyuan Yang, Yinlin Deng, Runyu Lu, Jiayi Yao, Jiawei Liu, Reyhaneh Jabbarvand, Lingming Zhang
2023	A*	`conf`	Fuzzing Automatic Differentiation in Deep-Learning Libraries. ICSE Chenyuan Yang, Yinlin Deng, Jiayi Yao, Yuxing Tu, Hanchi Li, Lingming Zhang
2023	J	`jnl`	Fuzzing Automatic Differentiation in Deep-Learning Libraries. CoRR Chenyuan Yang, Yinlin Deng, Jiayi Yao, Yuxing Tu, Hanchi Li, Lingming Zhang
2023	A	`conf`	Large Language Models Are Zero-Shot Fuzzers: Fuzzing Deep-Learning Libraries via Large Language Models. ISSTA Yinlin Deng, Chunqiu Steven Xia, Haoran Peng, Chenyuan Yang, Lingming Zhang
2023	J	`jnl`	Large Language Models are Edge-Case Fuzzers: Testing Deep Learning Libraries via FuzzGPT. CoRR Yinlin Deng, Chunqiu Steven Xia, Chenyuan Yang, Shizhuo Dylan Zhang, Shujing Yang, Lingming Zhang
2023	J	`jnl`	White-box Compiler Fuzzing Empowered by Large Language Models. CoRR Chenyuan Yang, Yinlin Deng, Runyu Lu, Jiayi Yao, Jiawei Liu, Reyhaneh Jabbarvand, Lingming Zhang
2022	A*	`conf`	Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source. ICSE Anjiang Wei, Yinlin Deng, Chenyuan Yang, Lingming Zhang
2022	J	`jnl`	Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source. CoRR Anjiang Wei, Yinlin Deng, Chenyuan Yang, Lingming Zhang
2022	J	`jnl`	Fuzzing Deep-Learning Libraries via Automated Relational API Inference. CoRR Yinlin Deng, Chenyuan Yang, Anjiang Wei, Lingming Zhang
2022	J	`jnl`	Fuzzing Deep-Learning Libraries via Large Language Models. CoRR Yinlin Deng, Chunqiu Steven Xia, Haoran Peng, Chenyuan Yang, Lingming Zhang
2022	—	`conf`	Fuzzing deep-learning libraries via automated relational API inference. ESEC/SIGSOFT FSE Yinlin Deng, Chenyuan Yang, Anjiang Wei, Lingming Zhang