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)

August 30, 2022 Toward Actionable Testing of Deep Learning Models was accepted at Science China Information Sciences. This is a position paper calls for actionable testing approaches for deep learning systems.
July 21, 2022 Efficient Synthesis of Method Call Sequences for Test Generation and Bounded Verification was accepted at ASE'22. In this paper, we propose a novel synthesis techniques based on the numeration of reachable heap structures for generating unit tests.
April 21, 2022 Two papers accepted at IJCAI 2022. Grape: Grammar Preserving Rule Embedding presents an neural embedding technique for grammar rules, similar to Word2Vec for words, and could be used in many downstream applications such as program generation. Different from Word2Vec, our embedding technique takes the definitions of the grammar rules into consideration, embedding both the structure and the content of the rules. Lyra: A Benchmark for Turducken-Style Code Generation presents a new program generation benchmark that requires to generate a program in two programming languages at one time.
January 7, 2022 The videos of my talk on algorithm synthesis and my tutorial on inductive program synthesis (both in Chinese) are available in the CCF digital library. Please check the invited talks page for the links.
December 20, 2021 Three papers accepted at ICSE 2022 and AAAI 2022. Fault Localization via Efficient Probabilistic Modeling of Program Semantics is our first attempt to use a probabilistic graphical model to capture program semantics to build fault localization afresh. Preferential Labeling for Unattributed Node Classification in GNNs concerns, when a classification task should be insensitive to variable names (e.g., SAT), how to represent programs in graph neural network. Improving Machine Translation Systems via Isotopic Replacement is a testing and repairing approach for machine translation.

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: [TOSEM22][OOPSLA21][OOPSLA20][GI18][ICSE18a][ICSE17a]
- Interaction: [ICSME21][PLDI20][ISSRE19]
- Validation & Patch Generation: [ASE21][ISSTA17][Interwa17]
- Specific Bug Types: [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: [FSE20][POPL20][ISSTA18b][FSE16][ICSE15b][ASE14]

Recent Selected Publications

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

[ASE22]	Yunfan Zhang, Ruidong Zhu, Yingfei Xiong, Tao Xie. Efficient Synthesis of Method Call Sequences for Test Generation and Bounded Verification. ASE'22: 37th IEEE/ACM International Conference on Automated Software Engineering, October 2022. [Paper]
[SCIS22a]	Yingfei Xiong, Yongqiang Tian, Yepang Liu, Shing-Chi Cheung. Toward Actionable Testing of Deep Learning Models. Science China, Information Sciences, Accepted, September 2022. [Paper]
[IJCAI22a]	Qihao Zhu, Zeyu Sun, Wenjie Zhang, Yingfei Xiong, Lu Zhang. Grape: Grammar Preserving Rule Embedding. IJCAI'22: 31st International Joint Conference on Artificial Intelligence, July 2022. [Paper]
[TOSEM22]	Yingfei Xiong, Bo Wang. L2S: a Framework for Synthesizing the Most Probable Program under a Specification. TOSEM: ACM Transactions on Software Engineering and Methodology, Volume 31, Issue 3, pp 1-45, July 2022. [Paper]
[ICSE22a]	Muhan Zeng^#, Yiqian Wu^#, Zhentao Ye, Yingfei Xiong, Xin Zhang, Lu Zhang. Fault Localization via Efficient Probabilistic Modeling of Program Semantics. ICSE'22: 44th International Conference on Software Engineering, May 2022. [Paper]
[AAAI22]	Zeyu Sun, Wenjie Zhang, Lili Mou, Qihao Zhu, Yingfei Xiong, Lu Zhang. Preferential Labeling for Unattributed Node Classification in GNNs. AAAI'22: 36th AAAI Conference on Artificial Intelligence, February 2022. [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
[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

Teaching

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

2022, PC Member: PLDI 2023
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
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)