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
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]
[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]
[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]
[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]
[ASE15] Qing Gao, Hansheng Zhang, Jie Wang, Yingfei Xiong, Lu Zhang, Hong Mei. Fixing Recurring Crash Bugs via Analyzing Q&A Sites. ASE'15: 30th IEEE/ACM International Conference on Automated Software Engineering, pages 307-318, Lincoln, Nebraska, USA, November 2015. [Paper][Tool]
[TSE15] Yingfei Xiong, Hansheng Zhang, Arnaud Hubaux, Steven She, Jie Wang, Krzysztof Czarnecki. Range Fixes: Interactive Error Resolution for Software Configuration. IEEE Transactions on Software Engineering, Volume 41, Issue 6, pages 603-619, June 2015. [Paper][DOI] Featured on the Homepage
[ICSE15b] Daming Zou, Ran Wang, Yingfei Xiong, Lu Zhang, Zhendong Su, Hong Mei. A Genetic Algorithm for Detecting Significant Floating-Point Inaccuracies. ICSE'15: 37th International Conference on Software Engineering, pages 529-539, Florence, Italy, May 2015. [Paper][Experiment Data] ACM SIGSOFT Distinguished Paper Nominee


Academic Service

More About Me