Yingfei Xiong

Associate Professor with Tenure
Co-Appointed Research Professor
Programming Languages Lab (Vice Director)
Institute of Software (Vice Director)
School of Computer Science
Peking University

Distinguished Member of ACM, Member of IFIP WG 2.4, IEEE, CCF

Office: Room 1431, Science Building # 1, Yanyuan Campus / 447 Wende Building, Changping New Campus
Email: xiongyf@pku.edu.cn
Tel: +86-10-62757008-12

Pronunciation of my name: [i:ŋfei] (yingfei) [ʃiɔŋ] (xiong)

中文版

News (More)

Education & Employment

Current Research Projects

Recent Selected Publications

[Complete List | Invited Talks | DBLP | Google Scholar]
[ASE25] Yiqian Wu, Yifan Chen, Yingfei Xiong, Xin Zhang*. Belief Propagation with Local Structure and Its Applications in Program Analysis. ASE25: 40th IEEE/ACM International Conference on Automated Software Engineering, November 2025.
[OOPSLA25] Guanlin Chen#, Ruyi Ji#, Shuhao Zhang#, Yingfei Xiong*. Tunneling Through the Hill: Multi-Way Intersection for Version-Space Algebras in Program Synthesis. OOPSLA'25: the OOPSLA issue of the Proceedings of the ACM on Programming Languages, October 2025. [Paper]
[arXiv25] Pengfei Gao#, Zhao Tian#, Xiangxin Meng, Xinchen Wang, Ruida Hu, Yuanan Xiao, Yizhou Liu, Zhao Zhang, Junjie Chen, Cuiyun Gao, Yun Lin, Yingfei Xiong, Chao Peng, Xia Liu. Trae Agent: An LLM-based Agent for Software Engineering with Test-time Scaling. arXiv:2507.23370, July 2025. [Paper]
[TSE25] Yiqian Wu, Yujie Liu, Yi Yin, Muhan Zeng, Zhentao Ye, Xin Zhang*, Yingfei Xiong, Lu Zhang. SmartFL: Semantics Based Probabilistic Fault Localization. IEEE Trans. Software Eng. 51(7): 2161-2180, July 2025. [Paper]
[ACL-Fnd25] Qingyuan Liang, Zhao Zhang, Zeyu Sun*, Zheng Lin, Qi Luo, Yueyi Xiao, Yizhou Chen, Yuqun Zhang, Haotian Zhang, Lu Zhang, Bin Chen, Yingfei Xiong*. Grammar-Based Code Representation: Is It a Worthy Pursuit for LLMs?. ACL (Findings): Findings of the Association for Computational Linguistic, July 2025. [Paper]
[FSE24DEMO] Zhao Zhang, Yican Sun, Ruyi Ji, Siyuan Li, Xuanyu Peng, Zhechong Huang, Sizhe Li, Tianran Zhu, Yingfei Xiong*. ASAC: A Benchmark for Algorithm Synthesis. FSE'24-Demo: The ACM International Conference on the Foundations of Software Engineering, Tool Demonstration Track, September 2024. [Paper]
[FM24] Yican Sun, Ruyi Ji, Jian Fang, Xuanlin Jiang, Mingshuai Chen, Yingfei Xiong*. Proving Functional Program Equivalence via Directed Lemma Synthesis. FM'24: 26th International Symposium on Formal Methods, September 2024. [Paper]
[PLDI24] Ruyi Ji, Yuwei Zhao, Nadia Polikarpova, Yingfei Xiong*, Zhenjiang Hu. Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis. PLDI'24: ACM SIGPLAN Conference on Programming Language Design and Implementation, June 2024. [Paper][Online Demo]
[ICSE24] Qihao Zhu, Qingyuan Liang, Zeyu Sun, Yingfei Xiong*, Lu Zhang, Shengyu Cheng. GrammarT5: Grammar-Integrated Pretrained Encoder-Decoder Neural Model for Code. ICSE'24: 46th International Conference on Software Engineering, April 2024. [Paper]
[TSE24] Yuanan Xiao, Chenyang Yang, Bo Wang, Yingfei Xiong*. Accelerating Patch Validation for Program Repair with Interception-Based Execution Scheduling. TSE: IEEE Transactions on Software Engineering, Online First, January 2024. [Paper]

Teaching

Academic and Department Service

More About Me