熊英飞

新体制长聘副教授
研究员

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

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

English

新闻(更多)

教育与工作经历

最近论文

[完整列表 | 特邀报告 | DBLP | 谷歌学术]
[ICSE24] 朱琪豪, 梁清源, 孙泽宇, 熊英飞*, 张路, 程圣宇. GrammarT5: Grammar-Integrated Pretrained Encoder-Decoder Neural Model for Code. ICSE'24: 46th International Conference on Software Engineering, 2024年4月.
[arXiv24] Daya Guo#, 朱琪豪#, Dejian Yang, Zhenda Xie, Kai Dong, Wentao Zhang, Guanting Chen, Xiao Bi, Y. Wu, Y.K. Li, Fuli Luo, 熊英飞, Wenfeng Liang. DeepSeek-Coder: When the Large Language Model Meets Programming - The Rise of Code Intelligence. arXiv:2401.14196, 2024年1月. [全文]
[TSE24] 肖元安, 杨晨阳, 王博, 熊英飞*. Accelerating Patch Validation for Program Repair with Interception-Based Execution Scheduling. TSE: IEEE Transactions on Software Engineering, Online First, 2024年1月. [全文]
[TOPLAS24] 吉如一, 赵雨薇, 熊英飞*, 王迪, 张路, 胡振江. Decomposition-Based Synthesis for Applying D&C-Like Algorithmic Paradigms. TOPLAS: ACM Transactions on Programming Languages and Systems, Accepted, 2024年1月. [全文]
[OOPSLA23b] 孙奕灿, 彭轩宇, 熊英飞*. Synthesizing Efficient Memoization Algorithms. OOPSLA'23: Object-Oriented Programming, Systems, Languages and Applications, 2023年10月. [全文]
[OOPSLA23a] 吉如一, 孔朝哲, 熊英飞*, 胡振江. Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection. OOPSLA'23: Object-Oriented Programming, Systems, Languages and Applications, 2023年10月. [全文]
[ISSRE23] 王冠成, 吴宜谦, 朱琪豪, 熊英飞*, 张昕, 张路. A Probabilistic Delta Debugging Approach for Abstract Syntax Trees. ISSRE'23: the 34th IEEE International Symposium on Software Reliability Engineering, 2023年9月. [全文]
[ASE23Demo] 肖元安, 杨晨阳, 王博, 熊英飞*. ExpressAPR: Efficient Patch Validation for Java Automated Program Repair Systems. ASE'23-Demo: 38th IEEE/ACM International Conference on Automated Software Engineering, Tool Demo Track, 2023年9月. [全文][工具]
[SCIS22a] 熊英飞#*, 田永强#*, 刘烨庞#*, 張成志#*. Toward Actionable Testing of Deep Learning Models. Science China, Information Sciences, Volume 66, Issue 7:176101, Accepted at 2022-08-30, 2023年6月. [全文][DOI]
[ICSE23a] 朱琪豪, 孙泽宇, 张文杰, 熊英飞*, 张路. Tare: Type-Aware Neural Program Repair. ICSE'23: 45th International Conference on Software Engineering, 2023年5月. [全文]

课程

学术和院系服务

关于我的链接