Yingfei Xiong

Assistant Professor (Young talents Plan)
Software Engineering Institute
School of Electronics Engineering and Computer Science
Peking University

Office: Room 1431, Science Building # 1, Peking University
Email:
Tel: +86-10-62757008-12

Pronunciation of my name: [i:ŋfei] (yingfei) [ʃiɔŋ] (xiong)
Pronunciation in katakana: ション(熊xiong)インフェイ(英飛yingfei)

中文版

News (More)

June 5, 2018 Automatic Clone Recommendation for Refactoring Based on the Present and the Past was accepted at ICSME'18.
May 25, 2018 Two papers were accepted at ISSTA'18. Shaping Program Repair Space with Existing Patches and Similar Code reports our newest attempt to increase the recall of program repair after our previous attempts (ICSE18a, ICSE17a) to increase the precision. An Empirical Study on TensorFlow Program Bugs is our first step to understand and support testing and debugging in deeping learning applications.
March 15, 2018 Learning to Synthesize was accepted at GI'18. This paper proposes a framework for synthesizing a program that has a high probability in a given context.
December 15, 2017 Two papers were accepted at ICSE'18. Identifying Patch Correctness in Test-Based Program Repair utilizes two new heuristic rules to identify the correctness of generated patches. Identifying Features in Forks studies the problem of understanding forks and provides an overview of features in a fork.
July 3, 2017 Our ISSTA'17 paper Faster Mutation Analysis via Equivalence Modulo States was rewarded ACM Distinguished Paper Award.

Education & Employment

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
- Defining a search space: [ISSTA18a][ASE15]
- Prioritizing patches in a space: [GI18][ICSE18a][ICSE17a]
- Fast validation of patches: [ISSTA17]
- Applying patches: [Interwa17]
- Type-specific Repair: [ICSE15a]
Accelerating Program Analysis: [ESOP17][ISSTA17]
Compiler Testing: [ICSE17b][ICSE16][ICST16b]
Bugs in Deep Learning Applications: [ISSTA18b]

Recent Selected Publications

[Complete List | Presentations | DBLP | Google Scholar]

[ICSME18]	Ruru Yue, Zhe Gao, Na Meng, Yingfei Xiong, Xiaoyin Wang, David Morgenthaler. Automatic Clone Recommendation for Refactoring Based on the Present and the Past . ICSME'18: 34th IEEE International Conference on Software Maintenance and Evolution, September 2018.
[ISSTA18a]	Jiajun Jiang, Yingfei Xiong, Hongyu Zhang, Qing Gao, Xiangqun Chen. Shaping Program Repair Space with Existing Patches and Similar Code. ISSTA'18: International Symposium on Software Testing and Analysis, July 2018. [Paper][Tool:SimFix]
[ISSTA18b]	Yuhao Zhang, Yifan Chen, Shing-Chi Cheung, Yingfei Xiong, Lu Zhang. An Empirical Study on TensorFlow Program Bugs. ISSTA'18: International Symposium on Software Testing and Analysis, July 2018. [Paper]
[GI18]	Yingfei Xiong, Bo Wang, Guirong Fu, Linfei Zang. Learning to Synthesize. GI'18: Genetic Improvment Workshop, May 2018. [Paper]
[ICSE18a]	Yingfei Xiong, Xinyuan Liu^#, Muhan Zeng^#, Lu Zhang, Gang Huang. Identifying Patch Correctness in Test-Based Program Repair. ICSE'18: 40th International Conference on Software Engineering, Gothenburg, Sweden, May 2018. [Paper][Long Version][Slides]
[ICSE18b]	Shurui Zhou, Ştefan Stănciulescu, Olaf Leenich, Yingfei Xiong, Andrzej Wąsowski, Christian Kästner. Identifying Features in Forks. ICSE'18: 40th International Conference on Software Engineering, Gothenburg, Sweden, May 2018. [Paper]
[ISSTA17]	Bo Wang, Yingfei Xiong, Yangqingwei Shi, Lu Zhang, Dan Hao. Faster Mutation Analysis via Equivalence Modulo States. ISSTA'17: International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, pages 295-306, July 2017. [Paper][Slides][CoRR Version] ACM SIGSOFT Distinguished Paper Award
[ICSE17a]	Yingfei Xiong, Jie Wang, Runfa Yan, Jiachen Zhang, Shi Han, Gang Huang, Lu Zhang. Precise Condition Synthesis for Program Repair. ICSE'17: 39th International Conference on Software Engineering, Buenos Aires, Argentina, May 2017. [Paper][Slides][Tool][Long Version][SE-China][MSR Asia][MSR Blog][QbitAI][AlmostHuman]
[ICSE17b]	Junjie Chen, Yanwei Bai, Dan Hao^#, Yingfei Xiong^#, Hongyu Zhang^#, Bing Xie. Learning to Prioritize Test Programs for Compiler Testing. ICSE'17: 39th International Conference on Software Engineering, Buenos Aires, Argentina, May 2017. [Paper]
[ESOP17]	Hao Tang, Di Wang, Yingfei Xiong, Lingming Zhang, Xiaoyin Wang, Lu Zhang. Conditional Dyck-CFL Reachability Analysis for Complete and Efficient Library Summarization. ESOP'17: 26th European Symposium on Programming, Uppsala, Sweden, April 2017. [Paper][Tool]

Teaching

Fall 2018, Software Analysis
Spring 2018, Design Principles of Programming Languages
Fall 2017, Software Analysis
Spring 2017, Design Principles of Programming Languages
Fall 2016, Introduction to Computer Systems, Discussion Seminar
Fall 2016, Software Analysis
Spring 2016, Design Principles of Programming Languages
Spring 2015, Design Principles of Programming Languages
Fall 2015, Introduction to Computer Systems, Discussion Seminar
Fall 2015, Software Analysis
Fall 2014, Software Analysis
Fall 2014, Introduction to Computer Systems, Discussion Seminar
Spring 2014, Design Principles of Programming Languages
Spring 2014, Algorithm Design and Analysis, Discussion Seminar
Fall 2013, Introduction to Computer Systems, Discussion Seminar
Spring 2013, Algorithm Design and Analysis, Discussion Seminar
Fall 2012, Introduction to Computer Systems, Discussion Seminar

Academic Service

2019, PC Member: ISSTA 2019
2019, PC Member: ICSE 2019
2019, PC Member: FASE 2019
2018, PC Member: NASAC 2018 English Track
2018, PC Co-Chair: SATE 2018
2018, PC Member: ASE 2018
2018, Publicity Chair: MODELS 2018
2018, Publicity Chair: SPLC 2018
2018, PC Member: FASE 2018
2017, Organizer: YOSER 2017
2017, Review Board Member (2017-2018): IEEE Transactions on Software Engineering
2017, Review Board Member (2016-2017): Empirical Software Engineering
2017, PC Member: APLAS 2017
2017, Tutorial Co-Chair: SPLC 2017
2017, PC Member: SPLC 2017
2017, PC Member: ICSE 2017 NIER
More...

More About Me

Awards, Honors, and Grants
Students
My Free/Busy Information: [HTML] [ICS] [XML]
Past Research Projects
- Floating-Point Error Analysis: [FSE16][ICSE15b][ASE14]
- 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)

Links

Yet Another Software Engineering / Programming Language Conference Ranking

Disclaimer

This web page contains links to electronic copies of articles that may be covered by copyright. You may browse the articles at your convenience. Retrieving, copying, or distributing these files may violate copyright law. Please note that the definitive versions of these papers are the published versions. The electronic versions are provided here as a courtesy, and, in some cases, there may be differences between the electronic copy provided here and the published version. We believe that all of the differences are either formatting differences or copy-editing changes. If you cite these papers, please cite the published version rather than giving a URL.