熊英飞

新体制长聘副教授
研究员

北京大学
信息科学技术学院
计算机科学技术系
软件工程研究所
程序设计语言研究室

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

English

新闻(更多)

教育与工作经历

最近论文

[完整列表 | 特邀报告 | DBLP | 谷歌学术]
[TOSEM21] 熊英飞, 王博. L2S: a Framework for Synthesizing the Most Probable Program under a Specification. TOSEM: ACM Transactions on Software Engineering and Methodology, Online First, 2021年12月. [全文]
[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杰出论文奖
[OOPSLA20] 吉如一, 孙奕灿, 熊英飞, 胡振江. Guiding Dynamic Programming via Structural Probability for Accelerating Programming by Example. OOPSLA'20: Object-Oriented Programming, Systems, Languages, and Applications 2020, 2020年11月. [全文][视频(国内)][视频(海外)]
[FSE20] 张煜皓, 任路遥, 陈立前, 熊英飞, 張成志, 谢涛. Detecting Numerical Bugs in Neural Network Architectures. ESEC/FSE'20: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020年11月. [全文][视频(国内)][视频(海外)] ACM SIGSOFT杰出论文奖
[ASE20] 朱琪豪, 孙泽宇, 梁汐然, 熊英飞, 张路. OCoR: An Overalpping-Aware Code Retriever. ASE'20: 35th IEEE/ACM International Conference on Automated Software Engineering, 2020年9月. [全文]
[PLDI20] 吉如一, 梁晶晶, 熊英飞, 张路, 胡振江. Question Selection for Interactive Program Synthesis. PLDI'20: 41st ACM-SIGPLAN Symposium on Programming Language Design and Implementation, 2020年6月. [全文][视频(国内)][视频(海外)]

课程

学术和院系服务

关于我的链接