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)

April 1, 2024 Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis was accepted at PLDI'24. In this paper, we generalize the previous AutoLifter approach into Superfusion that optimizes programs by eliminating intermediate data structures, automating the fusion procedure in functional programming. The implemented system, SuFu, not only achieves comparable performance to AutoLifter on D&C-like algorithm synthesis problems, but also significantly outperforms existing approaches on fusion automation and recursive program synthesis problems.
February 13, 2024 Our ET tool won the first place in the most participated Java Functional Erros track in the first international competition for Automated Program Repair. ET consists of our two existing approaches: the patch validator ExpressAPR and the patch generator Tare. ET successfully repaired 6 bugs with no incorrect patch, outperforming the baseline of calling ChatGPT (LLMR) and all other participated tools.
January 26, 2024 Accelerating Patch Validation for Program Repair with Interception-Based Execution Scheduling was accepted at IEEE Transactions on Software Engineering. This paper explains the techniques we used behind our tool ExpressAPR for fast patch validation, which is 137.1x faster than plain validation and 8.8X faster than UniAPR, the previous SOTA tool. We hope this tool could facilitate future APR research and tool development.
January 25, 2024 Cooperating with DeepSeek (a subsidiary of High-Flyer AI), my student Qihao Zhu has leaded the development of the currently best open source base LLM for code, DeepSeek-Coder. Some of the ideas in our existing research, such as presenting the related information together to help model learn language rules, have helped the development of this model. We have published a technical report about the training details. Qihao is on job market (expected to graudate at this June) and we look forward to your offer.
January 1, 2024 Decomposition-Based Synthesis for Applying D&C-Like Algorithmic Paradigms was accepted at TOPLAS. This is the second published paper of our currently focused project on algorithm synthesis, following our previous paper on synthesizing dynamic programming, yet actually finished earlier. This paper identifies that multiple algorithm classes, such as D&C, incremental computation, segment trees, etc, have a similar structure, and proposes a new algorithm to synthesize algorithms in this class. The number of problems solved by the synthesis algorithm in our experiment is twice that of existing general synthesis algorithm, and outperforms existing semi-automatic approaches for D&C.

Education & Employment

04/2012~07/2018, Peking University, Research Professor in Young Talents Plan (Tenure-Track Assistant Professor Equivalence)
12/2009~11/2011, University of Waterloo, PostDoc. Advisor: Krzysztof Czarnecki
10/2006~09/2009, The University of Tokyo, Ph.D. Advisors: Zhenjiang Hu Masato Takeichi
09/2004~09/2006, Peking University, Pre-Ph.D. Course. Advisors: Hong Mei Fuqing Yang
09/2000~06/2004, University of Electronic Science and Technology of China, Bachelor Diploma of Computer Science

Current Research Projects

Algorithm Synthesis: [PLDI24][TOPLAS24][OOPSLA23b]
Program Repair / Synthesis
- Perspective & Empirical Studies: [SCIS19a][SCIS19b]
- Defining a search space: [FSE21b][ASE19a][ISSTA18a][ASE15]
- Locating likely elements in a space: [OOPSLA23a][TOSEM22][OOPSLA21][OOPSLA20][GI18][ICSE18a][ICSE17a]
- Interaction: [ICSME21][PLDI20][ISSRE19]
- Validation & Patch Generation: [TSE24][ASE23Demo][ASE21][ISSTA17][Interwa17]
- Specific Bug Types: [ASE23][ICSE15a]
Fault Localization: [ICSE22a][FSE21a][TSE19][ASE19c]
Efficient Program Analysis: [ASE21][SAS21][IJCAI20][ESOP17][ISSTA17]
Compiler Testing: [ASE19b][TSE18][ICSE17b][ICSE16][ICST16b][CSUR19][SCIS19c]
Analyzing Floating-Point and Deep Learning Programs: [ICSE23b][FSE20][OOPSLA22][POPL20][ISSTA18b][FSE16][ICSE15b][ASE14]

Recent Selected Publications

[Complete List | Invited Talks | DBLP | Google Scholar]

[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.
[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]
[SCIS22a]	Yingfei Xiong^#^, Yongqiang Tian^#^, Yepang Liu^#^, Shing-Chi Cheung^#^. Toward Actionable Testing of Deep Learning Models. Science China, Information Sciences, Volume 66, Issue 7:176101, Accepted at 2022-08-30, June 2023. [Paper][DOI]
[ICSE23a]	Qihao Zhu, Zeyu Sun, Wenjie Zhang, Yingfei Xiong^, Lu Zhang. Tare: Type-Aware Neural Program Repair*. ICSE'23: 45th International Conference on Software Engineering, May 2023. [Paper]

Teaching

Software Analysis: Fall 2023, Fall 2022, Fall 2021, Fall 2020, Fall 2019, Fall 2018, Fall 2017, Fall 2016, Fall 2015, Fall 2014
- Course Video of 2020
Software Foundations: Spring 2024, Spring 2023, Spring 2022, Spring 2021
Design Principles of Programming Languages: Spring 2021, Spring 2020, Spring 2019, Spring 2018, Spring 2017, Spring 2016, Spring 2015, Spring 2014
Introduction to Computer Systems, Discussion Seminar: Fall 2019, Fall 2018, Fall 2017, Fall 2016, Fall 2015, Fall 2014, Fall 2013, Fall 2012
Algorithm Design and Analysis, Discussion Seminar: Spring 2014, Spring 2013

Academic and Department Service

2024, Track Co-Chair: The Formal Methods and Applications (FMAC) Track, Chinasoft
2024, Review Committee Member: OOPSLA 2024
2023-, Associate Editor: IEEE Transactions on Software Engineering
2023, PC Member: ICSE 2024
More...

More About Me

Awards, Honors, and Grants
Students
My Free/Busy Information: [HTML] [ICS]
Past Research Projects
- Program Transformation for API migration: [ECOOP16][PEPM15][ICWS13]
- Configuration Error Repair: [TSE15][ICSE12][SPLC13]
- Delta-Based Bidirectional Transformation (Postdoctoral Period)
- Heterogeneous Data Synchronization in Software Engineering (Doctoral Period)
  - Beanbag: OCL-lik Language for On-Site Synchronization
  - SyncATL: Model Synchronization using ATL
- Aspect-Oriented Intermediate Language (Undergraduate Period)