熊英飞

新体制长聘副教授
研究员

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

办公室:理科一号楼1431房间
电子邮件: xiongyf@pku.edu.cn
电话:010-62757008-12

English


我当前有空余的2022年入学博士生招生名额,感兴趣的同学请阅读2022年博士招生说明信息学院学生会对我的采访获取更多信息。

新闻(更多)

教育与工作经历

最近论文

[完整列表 | 特邀报告 | DBLP | 谷歌学术]
[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月. [全文]
[IJCAI20] 张文杰, 孙泽宇, 朱琪豪, 李戈, 蔡少伟, 熊英飞, 张路. NLocalSAT: Boosting Local Search with Solution Prediction. IJCAI'20: 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence, 2020年7月. [全文]
[PLDI20] 吉如一, 梁晶晶, 熊英飞, 张路, 胡振江. Question Selection for Interactive Program Synthesis. PLDI'20: 41st ACM-SIGPLAN Symposium on Programming Language Design and Implementation, 2020年6月. [全文][视频(国内)][视频(海外)]
[AAAI20] 孙泽宇, 朱琪豪, 熊英飞, 孙奕灿, 牟力立, 张路. TreeGen: A Tree-Based Transformer Architecture for Code Generation. AAAI'20: Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020年1月. [全文] 口头报告
[POPL20] 邹达明, 曾沐焓, 熊英飞, Zhoulai Fu, 张路, 苏振东. Detecting Floating-Point Errors via Atomic Conditions. POPL'20: 47th ACM SIGPLAN Symposium on Principles of Programming Languages, New Orleans, Louisiana, United States , 2020年1月. [全文][视频(国内)][视频(海外)]
[ASE19c] 姜佳君, 王然, 熊英飞, 陈湘萍, 张路. Combining Spectrum-Based Fault Localization and Statistical Debugging: An Empirical Study. ASE'19: 34th IEEE/ACM International Conference on Automated Software Engineering, San Diego, California, United States , 2019年11月. [全文]
[ASE19b] 陈俊洁, 王冠成, 郝丹, 熊英飞, 张洪宇, 张路. History-Guided Configuration Diversification for Compiler Test-Program Generation. ASE'19: 34th IEEE/ACM International Conference on Automated Software Engineering, San Diego, California, United States , 2019年11月. [全文] ACM SIGSOFT杰出论文奖
[ASE19a] 姜佳君, 任路遥, 熊英飞, 张令明. Inferring Program Transformations From Singular Examples via Big Code. ASE'19: 34th IEEE/ACM International Conference on Automated Software Engineering, San Diego, California, United States , 2019年11月. [全文]

课程

学术服务

关于我的链接