个人简历

姓名
熊英飞
性别
男
所属院系
信息科学技术学院
软件工程研究所
最高学位
博士
毕业学校
东京大学
本科生教学1
软件分析技术
本科生教学2
编程语言的设计原理
本科生教学3
计算机系统导论
本科生教学4

教育经历
2009年 日本东京大学 博士
2006年 北京大学 硕士
2004年 电子科技大学 学士
学术成就
2018年 梅宏，黄罡，张颖，刘譞哲，郭耀，熊英飞等《云-端融合系统的资源反射机制及高效互操作技术》获国家技术发明一等奖
2018年 北京大学优秀班主任
2017年 中国电子学会技术发明特等奖
2017年 ACM SIGSOFT杰出论文奖（中国大陆学者在软件分析测试顶级会议ISSTA上的首次获奖）
2015年 教育部科技进步一等奖
2015年 曾宪梓优秀教学奖
2012年“百人计划”研究员
在缺陷修复领域提出了一系列理论、方法和技术，其中基于差别的修复模型已经成为演化缺陷领域广泛使用的模型之一，而基于统计的缺陷修复技术将程序缺陷修复的准确率提升约40个百分点。其工作被多个公司和开源项目采用，包括华为公司、Linux内核配置项目等。
近五年承担的主要项目
2013~2015年 《对象模型上交互式修复生成技术研究》，国家自然科学基金青年基金（项目号：61202071）
2014~2018年 《基于情境的安全攸关软件的构造方法与运行机理研究》，973青年科学家项目（项目号：2014CB347700）
导师寄语
（对低年级同学的建议）
创新程度高的科研成果往往需要联合不同领域的知识，希望同学们用好元培的平台，做出有影响的成绩。
推荐书目
（1-5本）
[1] You and Your Research. Richard Hamming, 1986
http://www.cs.virginia.edu/~robins/YouAndYourResearch.html
[2] 本庶佑谈研究. https://www.douban.com/note/723968426/
学习方法的建议
早日接触科研或业界实践，根据实际需要选择知识学习，目标会更明确也更有动力。

研究领域

主要研究方向1
软件缺陷自动修复
主要研究方向2
程序自动生成
主要研究方向3
软件分析

近期论文

论文及专著

[1] 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.
[2] 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.
[3] 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.
[4] Yingfei Xiong, Dongxi Liu, Zhenjiang Hu, Haiyan Zhao, Masato Takeichi, Hong Mei. Towards Automatic Model Synchronization from Model Transformations. In ASE'07: Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering, Atlanta, Georgia, pages 164-173, November 2007. 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.
[5] 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.
社会兼职
程序委员会成员: ICSE 2019, 2020
程序委员会成员: ASE 2018, 2019
程序委员会成员: ISSTA 2019
程序委员会主席: SATE 2018