Yingfei Xiong

Associate Professor with Tenure
Co-Appointed Research Professor
Programming Languages Lab
Software Engineering Institute
Department of Computer Science and Technology
School of Electronics Engineering and 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)

October 11, 2021 L2S: a Framework for Synthesizing the Most Probable Program under a Specification was accepted at TOSEM. This paper presents L2S framework, which guides program synthesis with probabilities and captures the core underline ideas of many our other papers. This work started as a generalization and extension of our ACS approach at the end of 2016. In 2018 we wrapped up the initial ideas and experiment results as a workshop paper. Finally, after almost five years' work, after numerous invited talks and keynotes at workshops and conferences about L2S, and after the publications of multiple other papers based on the framework, we finally managed to publish the full L2S framework. The final paper has 44 pages excluding the appendix.
October 2, 2021 Interactive Patch Filtering as Debugging Aid was awarded IEEE TCSE Distinguished Paper Award. Thanks for the recognition.
September 30, 2021 I received the CCF-IEEE CS Young Computer Scientists Award. This award is given to at most 5 young computer scientists in China under the age of 40 each year. Thank nominators and the award committee for the nomination and recognition.
September 13, 2021 Our MODELS 2011 paper From State- to Delta-based Bidirectional Model Transformations: the Symmetric Case was awarded MODELS 2021 Most Influential Paper Award. Thanks for the recognition!
August 31, 2021 Generalizable Synthesis Through Unification was accepted at OOPSLA'21. In this paper, we borrow the concept of "Occam Learning" from the machine learning community and build the first Occam solver based on the "synthesis through unification" framework whose generalizability is theoretically guaranteed by Occam learning.

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

Program Repair / Synthesis
- Perspective & Empirical Studies: [SCIS19a][SCIS19b]
- Defining a search space: [FSE21b][ASE19a][ISSTA18a][ASE15]
- Locating likely elements in a space: [TOSEM21][OOPSLA20][AAAI20][AAAI19][GI18][ICSE18a][ICSE17a]
- Interaction: [ICSME21][PLDI20][ISSRE19]
- Validation & Patch Generation: [ISSTA17][Interwa17]
- Specific Bug Types: [ICSE15a]
Fault Localization: [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: [FSE20][POPL20][ISSTA18b][FSE16][ICSE15b][ASE14]

Recent Selected Publications

[Complete List | Presentations | DBLP | Google Scholar]

[TOSEM21]	Yingfei Xiong, Bo Wang. L2S: a Framework for Synthesizing the Most Probable Program under a Specification. TOSEM: ACM Transactions on Software Engineering and Methodology, Online First, December 2021. [Paper]
[ASE21]	Bo Wang, Sirui Lu, Yingfei Xiong, Feng Liu. Faster Mutation Analysis with Fewer Processes and Smaller Overheads. ASE'21: 36th IEEE/ACM International Conference on Automated Software Engineering, November 2021. [Paper]
[OOPSLA21]	Ruyi Ji, Jingtao Xia, Yingfei Xiong, Zhenjiang Hu. Generalizable Synthesis Through Unification. OOPSLA'21: Object Oriented Programming Languages, Systems and Applications, October 2021. [Paper]
[ICSME21]	Jingjing Liang, Ruyi Ji, Jiajun Jiang, Shurui Zhou, Yiling Lou, Yingfei Xiong, Gang Huang. Interactive Patch Filtering as Debugging Aid. ICSME'21: 37th International Conference on Software Maintenance and Evolution, September 2021. [Paper] IEEE TCSE Distinguished Paper Award
[FSE21b]	Qihao Zhu, Zeyu Sun, Yuanan Xiao, Wenjie Zhang, Kang Yuan, Yingfei Xiong, Lu Zhang. A Syntax-Guided Edit Decoder for Neural Program Repair. ESEC/FSE'21: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, August 2021. [Paper] ACM SIGSOFT Distinguished Paper Award Nominee
[FSE21a]	Guancheng Wang^#, Ruobing Shen^#, Junjie Chen, Yingfei Xiong, Lu Zhang. Probabilistic Delta Debugging. ESEC/FSE'21: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, August 2021. [Paper] ACM SIGSOFT Distinguished Paper Award
[OOPSLA20]	Ruyi Ji, Yican Sun, Yingfei Xiong, Zhenjiang Hu. Guiding Dynamic Programming via Structural Probability for Accelerating Programming by Example. OOPSLA'20: Object-Oriented Programming, Systems, Languages, and Applications 2020, November 2020. [Paper][Video (China)][Video (Intl)]
[FSE20]	Yuhao Zhang, Luyao Ren, Liqian Chen, Yingfei Xiong, Shing-Chi Cheung, Tao Xie. Detecting Numerical Bugs in Neural Network Architectures. ESEC/FSE'20: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, November 2020. [Paper][Video (China)][Video (Intl)] ACM SIGSOFT Distinguished Paper Award
[ASE20]	Qihao Zhu, Zeyu Sun, Xiran Liang, Yingfei Xiong, Lu Zhang. OCoR: An Overalpping-Aware Code Retriever. ASE'20: 35th IEEE/ACM International Conference on Automated Software Engineering, September 2020. [Paper]
[PLDI20]	Ruyi Ji, Jingjing Liang, Yingfei Xiong, Lu Zhang, Zhenjiang Hu. Question Selection for Interactive Program Synthesis. PLDI'20: 41st ACM-SIGPLAN Symposium on Programming Language Design and Implementation, June 2020. [Paper][Video (China)][Video (Intl)]

Teaching

Software Analysis: Fall 2021, Fall 2020, Fall 2019, Fall 2018, Fall 2017, Fall 2016, Fall 2015, Fall 2014
Software Foundations: 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

2022, PC Member: ICSE 2023
2022, PC Member: ESEC/FSE 2022
2021-2025, Vice Director: Institute of Software, Department of Computer Science and Technology, Peking University
2021-2024, Director of the Management Office: PKU-ZTE Joint Laboratory for Foundation Software
2021, PC Member: Chinasoft 2021 (Formal Methods and Applications)
2021, PC Member: ESEC/FSE 2021
2020-, Dean Assistant: Department of Computer Science and Technology, Peking University
2020, PC Member: APR 2020
2020, PC Member: ICSE 2021
2020, PC Member: ESEC/FSE 2020
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)