Yingfei Xiong

Associate Professor with Tenure
Co-Appointed Research Professor
Software Engineering Institute
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)

October 1, 2020 Guiding Dynamic Programing via Structural Probability for Accelerating Programming by Example was accepted at OOPSLA'20. Following our previous work that uses probability to guide enumerative search, this paper uses probability to guide FlashFill-style dynamic programming, and achieved 4x-2000x speedup over the state-of-the-art synthesizers.
August 21, 2020 Detecting Numerical Bugs in Neural Network Architectures was rewarded ACM SIGSOFT Distinguished Paper Award at ESEC/FSE'20.
June 2, 2020 I was recognized as a distinguished reviewer by ICSE 2020. Thank all subreviewers who contributed to the reviews. Thank the ICSE organization committee for the recognition.
May 20, 2020 Detecting Numerical Bugs in Neural Network Architectures was accepted at ESEC/FSE'20. This is the second paper in our project on detecting bugs in neural network programs, following the ISSTA'18 paper.
March 31, 2020 Question Selection for Interactive Program Synthesis was accepted at PLDI'20. Unlike most existing research studies how computers answer questions from pepople, this paper studies how computers ask questions to people for program synthesis. This is the second paper in our new project on interactive program synthesis/repair, following the ISSRE'19 paper.

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: [ASE19a][ISSTA18a][ASE15]
- Locating likely elements in a space: [AAAI20][AAAI19][GI18][ICSE18a][ICSE17a]
- Interaction: [PLDI20][ISSRE19]
- Validation & Patch Generation: [ISSTA17][Interwa17]
- Specific Bug Types: [ICSE15a]
Fault Localization: [TSE19][ASE19c]
Accelerating Program Analysis: [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]

[OOPSLA20]	Ruyi Ji, Yican Sun, Yingfei Xiong, Zhenjiang Hu. Guiding Dynamic Programing via Structural Probability for Accelerating Programming by Example. OOPSLA'20: Object-Oriented Programming, Systems, Languages, and Applications 2020, November 2020. [Paper]
[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]
[IJCAI20]	Wenjie Zhang, Zeyu Sun, Qihao Zhu, Ge Li, Shaowei Cai, Yingfei Xiong, Lu Zhang. NLocalSAT: Boosting Local Search with Solution Prediction. IJCAI'20: 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence, July 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)]
[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][Video (China)][Video (Intl)]
[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]
[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
[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]

Teaching

Software Analysis: Fall 2020, Fall 2019, Fall 2018, Fall 2017, Fall 2016, Fall 2015, Fall 2014
Design Principles of Programming Languages: 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 Service

2021, PC Member: FSE 2021
2020, PC Member: APR 2020
2020, PC Member: ICSE 2021
2020, PC Member: ESEC/FSE 2020
2019, Review Board Member (2019-2020): IEEE Transactions on Software Engineering
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
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)