Yingfei Xiong

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

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)
Pronunciation in katakana: ション(熊xiong)イン フェイ(英飛yingfei)

中文版

News (More)

Education & Employment

Current Research Projects

Recent Selected Publications

[Complete List | Invited Talks | DBLP | Google Scholar]
[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]
[arXiv24] Daya Guo#, Qihao Zhu#, Dejian Yang, Zhenda Xie, Kai Dong, Wentao Zhang, Guanting Chen, Xiao Bi, Y. Wu, Y.K. Li, Fuli Luo, Yingfei Xiong, Wenfeng Liang. DeepSeek-Coder: When the Large Language Model Meets Programming - The Rise of Code Intelligence. arXiv:2401.14196, January 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]
[TOPLAS24] Ruyi Ji, Yuwei Zhao, Yingfei Xiong*, Di Wang, Lu Zhang, Zhenjiang Hu. Decomposition-Based Synthesis for Applying D&C-Like Algorithmic Paradigms. TOPLAS: ACM Transactions on Programming Languages and Systems, Accepted, January 2024. [Paper]
[OOPSLA23b] Yican Sun, Xuanyu Peng, Yingfei Xiong*. Synthesizing Efficient Memoization Algorithms. OOPSLA'23: Object-Oriented Programming, Systems, Languages and Applications, October 2023. [Paper]
[OOPSLA23a] Ruyi Ji, Chaozhe Kong, Yingfei Xiong*, Zhenjiang Hu. Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection. OOPSLA'23: Object-Oriented Programming, Systems, Languages and Applications, October 2023. [Paper]
[ISSRE23] Guancheng Wang, Yiqian Wu, Qihao Zhu, Yingfei Xiong*, Xin Zhang, Lu Zhang. A Probabilistic Delta Debugging Approach for Abstract Syntax Trees. ISSRE'23: the 34th IEEE International Symposium on Software Reliability Engineering, September 2023. [Paper]

Teaching

Academic and Department Service

More About Me