Hello world!
I am a Ph.D. student studying in the Programming Languages Lab at Peking University, advised by Xiong, Yingfei.
Research Interest
I am generally interested in everything related to helping power users (e.g. software developers) using their devices better. Particularly:
- Automated program repair (APR)
- Software development automation (a.k.a. “coding agents”) & assistance
- Cyber security
Other personal interests:
- Full-stack web development
- UX design of developer tools
Education
- 2022 ~ now, School of CS, Peking University, Ph.D. student in Computer Software and Theory
- 2018 ~ 2022, School of EECS, Peking University, Bachelor in Computer Science and Technology
- ~ 2018, High School Affiliated to Renmin University of China
Publications
PredicateFix: Repairing Static Analysis Alerts with Bridging Predicates
Yuan-An Xiao, Weixuan Wang, Dong Liu, Junwei Zhou, Shengyu Cheng and Yingfei Xiong, “PredicateFix: Repairing Static Analysis Alerts with Bridging Predicates,” 2026 IEEE/ACM 48th International Conference on Software Engineering (ICSE ’26), 2026, 1–13, https://doi.org/10.1145/3744916.3773159.
Trae Agent: An LLM-based Agent for Software Engineering with Test-time Scaling
Gao, Pengfei, Zhao Tian, Xiangxin Meng, Xinchen Wang, Ruida Hu, Yuanan Xiao, Yizhou Liu, Zhao Zhang, Junjie Chen, Cuiyun Gao, Yun Lin, Yingfei Xiong, Chao Peng and Xia Liu, “Trae Agent: An LLM-based Agent for Software Engineering with Test-time Scaling,” arXiv preprint arXiv:2507.23370, 2025, https://doi.org/10.48550/arXiv.2507.23370.
The ET Program Repair Tool for Java
Yuan-An Xiao, Qihao Zhu, and Yingfei Xiong, “The ET Program Repair Tool for Java,” in Proceedings of the 5th ACM/IEEE International Workshop on Automated Program Repair, 61–63, https://doi.org/10.1145/3643788.3648016
Accelerating Patch Validation for Program Repair With Interception-Based Execution Scheduling
Yuan-An Xiao, Chenyang Yang, Bo Wang, and Yingfei Xiong, “Accelerating Patch Validation for Program Repair with Interception-Based Execution Scheduling,” IEEE Transactions on Software Engineering, 2024, 1–18, https://doi.org/10.1109/TSE.2024.3359969.
ExpressAPR: Efficient Patch Validation for Java Automated Program Repair Systems
Yuan-An Xiao, Chenyang Yang, Bo Wang, and Yingfei Xiong, “ExpressAPR: Efficient Patch Validation for Java Automated Program Repair Systems,” in 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2038–41, https://doi.org/10.1109/ASE56229.2023.00012.
Pass2Edit: A Multi-Step Generative Model for Guessing Edited Passwords
Ding Wang, Yunkai Zou, Yuan-An Xiao, Ma Siqi, and Chen Xiaofeng, “Pass2Edit: A Multi-Step Generative Model for Guessing Edited Passwords,” in 32nd USENIX Security Symposium (USENIX Security 23), 2023.
A syntax-guided edit decoder for neural program repair
Zhu, Qihao, Zeyu Sun, Yuan-an Xiao, Wenjie Zhang, Kang Yuan, Yingfei Xiong, and Lu Zhang, “A Syntax-Guided Edit Decoder for Neural Program Repair,” in Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 341–53, https://doi.org/10.1145/3468264.3468544.
Teaching
| Time | Duty | Course |
|---|---|---|
| Fall 2023 | TA | Software Analysis |
| Spring 2022 | TA | JavaScript and HTML Web Pages |
| Fall 2020 & Fall 2023 | TA | Introduction to Computer Systems |
| Fall 2018 | TA | Introduction to Computing (A) |
Service & Internship
| Time | Duty | Company / Org / Event |
|---|---|---|
| Summer 2025 ~ now | Research intern | Trae Research Team, ByteDance |
| Spring 2021 ~ Winter 2025 | Tech lead & Judge | PKU GeekGame, a CTF competition |
| Fall 2024 | Judge | APR Competiton at ChinaSoft 2024 |
| Fall 2018 ~ Fall 2020 | Full-stack developer | PKU Helper, an app for PKU students |
Knowledge cutoff: 2025-12