熊英飞 - 北京大学

个人简介

教育经历 2009年日本东京大学博士 2006年北京大学硕士 2004年电子科技大学学士学术成就 2018年梅宏，黄罡，张颖，刘譞哲，郭耀，熊英飞等《云-端融合系统的资源反射机制及高效互操作技术》获国家技术发明一等奖 2018年北京大学优秀班主任 2017年中国电子学会技术发明特等奖 2017年 ACM SIGSOFT杰出论文奖（中国大陆学者在软件分析测试顶级会议ISSTA上的首次获奖） 2015年教育部科技进步一等奖 2015年曾宪梓优秀教学奖 2012年“百人计划”研究员在缺陷修复领域提出了一系列理论、方法和技术，其中基于差别的修复模型已经成为演化缺陷领域广泛使用的模型之一，而基于统计的缺陷修复技术将程序缺陷修复的准确率提升约40个百分点。其工作被多个公司和开源项目采用，包括华为公司、Linux内核配置项目等。

研究领域

主要研究方向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