Yingfei Xiong

Associate Professor with Tenure
Co-Appointed Research Professor
Institute of Software
Department of Computer Science and Technology
School of Electronics Engineering and Computer Science
Peking University

Office: Room 1431, Science Building # 1, Peking University
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)

November 20, 2019 TreeGen: A Tree-Based Transformer Architecture for Code Generation has been accepted as an oral paper at AAAI'20. This paper proposes a novel transformaer architecture for code generation, which outperforms our AAAI'19 paper, the current state-of-the-art.
November 5, 2019 Detecting Floating-Point Errors via Atomic Conditions has been accepted at POPL'20. This is a follow-up work of our ICSE'15 paper to quickly find the inputs that lead to large floating-point errors.
October 10, 2019 Our ASE paper History-Guided Configuration Diversification for Compiler Test-Program Generation was awarded ACM SIGSOFT Distinguished Paper Award.
September 19, 2019 Our paper A Survey of Compiler Testing was accepted at ACM Computing Surveys.
August 16, 2019 I have received the early career award from NSFC. This is a Chinese version of the NSF career award in US, but is only given to researchers under the age of 38 and is very competitive. Among all researchers who mainly work in software engineering in China, only Dan Hao and He Jiang have received this award before.

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][ISSRE19]
- Defining a search space: [ASE19a][ISSTA18a][ASE15]
- Prioritizing elements in a space: [AAAI20][AAAI19][GI18][ICSE18a][ICSE17a]
- Validation & Patch Generation: [ISSTA17][Interwa17]
- Generic Bug Types: [ICSE15a]
Fault Localization: [TSE19][ASE19c]
Accelerating Program Analysis: [ESOP17][ISSTA17]
Compiler Testing: [ASE19b][TSE18][ICSE17b][ICSE16][ICST16b][CSUR19][SCIS19c]
Analyzing Floating-Point and Deep Learning Programs: [POPL20][ISSTA18b][FSE16][ICSE15b][ASE14]

Recent Selected Publications

[Complete List | Presentations | DBLP | Google Scholar]

[AAAI20]	Zeyu Sun, Qihao Zhu, Yingfei Xiong, Yican Sun, Lili Mou, Lu Zhang. TreeGen: A Tree-Based Transformer Architecture for Code Generation. AAAI'20: Thirty-Fourth AAAI Conference on Artificial Intelligence, January 2020. [Paper] Oral Paper
[POPL20]	Daming Zou, Muhan Zeng, Yingfei Xiong, Zhoulai Fu, Lu Zhang, Zhendong Su. Detecting Floating-Point Errors via Atomic Conditions. POPL'20: 47th ACM SIGPLAN Symposium on Principles of Programming Languages, New Orleans, Louisiana, United States , January 2020. [Paper]
[ASE19a]	Jiajun Jiang, Luyao Ren, Yingfei Xiong, Lingming Zhang. Inferring Program Transformations From Singular Examples via Big Code. ASE'19: 34th IEEE/ACM International Conference on Automated Software Engineering, San Diego, California, United States , November 2019. [Paper]
[ASE19b]	Junjie Chen, Guancheng Wang, Dan Hao, Yingfei Xiong, Hongyu Zhang, Lu Zhang. History-Guided Configuration Diversification for Compiler Test-Program Generation. ASE'19: 34th IEEE/ACM International Conference on Automated Software Engineering, San Diego, California, United States , November 2019. [Paper] ACM SIGSOFT Distinguished Paper Award
[ASE19c]	Jiajun Jiang, Ran Wang, Yingfei Xiong, Xiangping Chen, Lu Zhang. Combining Spectrum-Based Fault Localization and Statistical Debugging: An Empirical Study. ASE'19: 34th IEEE/ACM International Conference on Automated Software Engineering, San Diego, California, United States , November 2019. [Paper]
[ISSRE19]	Jingjing Liang, Yaozong Hou, Shurui Zhou, Junjie Chen, Yingfei Xiong, Gang Huang. How to Explain a Patch: An Empirical Study of Patch Explanations in Open Source Projects. ISSRE'19: The 30th International Symposium on Software Reliability Engineering, Berlin, Germany, October 2019. [Paper]
[CSUR19]	Junjie Chen, Jibesh Patra, Michael Pradel, Yingfei Xiong, Hongyu Zhang, Dan Hao, Lu Zhang. A Survey of Compiler Testing. ACM Computing Surveys, September 2019. [Paper]
[SCIS19b]	Jiajun Jiang, Yingfei Xiong, Xin Xia. A Manual Inspection Of Defects4j Bugs And Its Implications For Automatic Program Repair. Science China Information Sciences, Online First, August 2019. [Paper]
[SCIS19a]	Abhik Roychoudhury, Yingfei Xiong. Automated Program Repair: A Step towards Software Automation. Science China Information Sciences, Online First, August 2019. [Paper] Invited Submission
[TSE19]	Daming Zou, Jingjing Liang, Yingfei Xiong, Michael Ernst, Lu Zhang. An Empirical Study of Fault Localization Families and Their Combinations. IEEE Transactions on Software Engineering, Online First, January 2019. [Paper][DOI][Tool]

Teaching

Fall 2019, Software Analysis
Spring 2019, Design Principles of Programming Languages
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

2020, PC Member: ICSE 2021
2020, PC Member: ESEC/FSE 2020
2019, PC Member: ICSE 2020
2019, PC Member: ASE 2019
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: APSEC 2018
2018, PC Member: ASE 2018
2018, Publicity Chair: MODELS 2018
2018, Publicity Chair: SPLC 2018
2018, PC Member: FASE 2018
More...

More About Me

Awards, Honors, and Grants
Students
My Free/Busy Information: [HTML] [ICS] [XML]
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)