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)

Education & Employment

Current Research Projects

Recent Selected Publications

[Complete List | Presentations | DBLP | Google Scholar]
[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]
[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.
[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]
[FSE16] Ran Wang, Daming Zou, Xinrui He, Yingfei Xiong, Lu Zhang, Gang Huang. Detecting and Fixing Precision-Specific Operations for Measuring Floating-Point Errors. FSE'16: 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering, pp. 619-630, Seatle, WA, USA, November 2016. [Paper][Artifact][SE-China]
[ECOOP16] Chenglong Wang#, Jiajun Jiang#, Jun Li#, Yingfei Xiong, Xiangyu Luo, Lu Zhang, Zhenjiang Hu. Transforming programs between APIs with Many-to-Many Mappings. ECOOP'16: 30th European Conference on Object-Oriented Programming, pp. 25:1-25:26, Rome, Italy, July 2016. [Paper][Tool]
[ICSE16] Junjie Chen, Wenxiang Hu, Dan Hao#, Yingfei Xiong#, Hongyu Zhang#, Lu Zhang, Bing Xie. An Empirical Comparison of Compiler Testing Techniques. ICSE'16: 38th International Conference on Software Engineering, pp. 180-190, Austin, Texas, USA, May 2016. [Paper][Experiment Data][SE-China]

Teaching

Academic Service

More About Me

Links

Disclaimer