熊英飞

新体制长聘副教授
研究员

北京大学
计算机学院
软件研究所 (副所长)
程序设计语言研究室(副主任)

ACM杰出会员, IFIP WG 2.4成员,IEEE和CCF会员

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

English

新闻(更多)

教育与工作经历

最近论文

[完整列表 | 特邀报告 | DBLP | 谷歌学术]
[OOPSLA25] 陈冠霖#, 吉如一#, 张书豪#, 熊英飞*. Tunneling Through the Hill: Multi-Way Intersection for Version-Space Algebras in Program Synthesis. OOPSLA'25: the OOPSLA issue of the Proceedings of the ACM on Programming Languages, 2025年10月. [全文]
[arXiv25] 高鹏飞#, Zhao Tian#, Xiangxin Meng, Xinchen Wang, Ruida Hu, 肖元安, Yizhou Liu, Zhao Zhang, 陈俊洁, 高翠云, 林云, 熊英飞, 彭超, Xia Liu. Trae Agent: An LLM-based Agent for Software Engineering with Test-time Scaling. arXiv:2507.23370, 2025年7月. [全文]
[ACL-Fnd25] 梁清源, 张钊, 孙泽宇*, Zheng Lin, Qi Luo, 肖越易, 陈逸洲, 张煜群, 张皓天, 张路, , 熊英飞*. Grammar-Based Code Representation: Is It a Worthy Pursuit for LLMs?. ACL (Findings): Findings of the Association for Computational Linguistic, 2025年7月. [全文]
[FSE24DEMO] 张钊, 孙奕灿, 吉如一, 李思源, 彭轩宇, 黄柘铳, 李思哲, 祝天然, 熊英飞*. ASAC: A Benchmark for Algorithm Synthesis. FSE'24-Demo: The ACM International Conference on the Foundations of Software Engineering, Tool Demonstration Track, 2024年9月. [全文]
[FM24] 孙奕灿, 吉如一, 房建, 蒋轩林, 陈明帅, 熊英飞*. Proving Functional Program Equivalence via Directed Lemma Synthesis. FM'24: 26th International Symposium on Formal Methods, 2024年9月. [全文]
[PLDI24] 吉如一, 赵雨薇, Nadia Polikarpova, 熊英飞*, 胡振江. Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis. PLDI'24: ACM SIGPLAN Conference on Programming Language Design and Implementation, 2024年6月. [全文][Online Demo]
[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月. [全文]

课程

学术和院系服务

关于我的链接