熊英飞

新体制长聘副教授
研究员

北京大学
计算机学院
软件研究所
程序设计语言研究室

办公室:北京大学燕园校区理科一号楼1431房间 / 北京大学昌平新校区文德楼447
电子邮件: xiongyf@pku.edu.cn
电话:010-62757008-12

English

新闻(更多)

教育与工作经历

最近论文

[完整列表 | 特邀报告 | DBLP | 谷歌学术]
[ASE22] 张云帆, 朱睿冬, 熊英飞, 谢涛. Efficient Synthesis of Method Call Sequences for Test Generation and Bounded Verification. ASE'22: 37th IEEE/ACM International Conference on Automated Software Engineering, 2022年10月.
[IJCAI22a] 朱琪豪, 孙泽宇, 张文杰, 熊英飞, 张路. Grape: Grammar Preserving Rule Embedding. IJCAI'22: 31st International Joint Conference on Artificial Intelligence, 2022年7月. [全文]
[TOSEM22] 熊英飞, 王博. 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, 2022年7月. [全文]
[ICSE22a] 曾沐焓#, 吴宜谦#, 叶振涛, 熊英飞, 张昕, 张路. Fault Localization via Efficient Probabilistic Modeling of Program Semantics. ICSE'22: 44th International Conference on Software Engineering, 2022年5月. [全文]
[AAAI22] 孙泽宇, 张文杰, 牟力立, 朱琪豪, 熊英飞, 张路. Preferential Labeling for Unattributed Node Classification in GNNs. AAAI'22: 36th AAAI Conference on Artificial Intelligence, 2022年2月. [全文]
[ASE21] 王博#, 卢思睿#, 熊英飞, 刘峰. Faster Mutation Analysis with Fewer Processes and Smaller Overheads. ASE'21: 36th IEEE/ACM International Conference on Automated Software Engineering, 2021年11月. [全文]
[OOPSLA21] 吉如一, 夏景涛, 熊英飞, 胡振江. Generalizable Synthesis Through Unification. OOPSLA'21: Object Oriented Programming Languages, Systems and Applications, 2021年10月. [全文]
[ICSME21] 梁晶晶, 吉如一, 姜佳君, 周抒睿, 娄一翎, 熊英飞, 黄罡. Interactive Patch Filtering as Debugging Aid. ICSME'21: 37th International Conference on Software Maintenance and Evolution, 2021年9月. [全文] IEEE TCSE杰出论文奖
[FSE21b] 朱琪豪, 孙泽宇, 肖元安, 张文杰, 袁康, 熊英飞, 张路. A Syntax-Guided Edit Decoder for Neural Program Repair. ESEC/FSE'21: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021年8月. [数据更新版本] ACM SIGSOFT杰出论文奖提名
[FSE21a] 王冠成#, 沈若冰#, 陈俊洁, 熊英飞, 张路. Probabilistic Delta Debugging. ESEC/FSE'21: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021年8月. [全文] ACM SIGSOFT杰出论文奖

课程

学术和院系服务

关于我的链接