熊英飞
新体制长聘副教授
研究员
北京大学
计算机学院
软件研究所 （副所长）
程序设计语言研究室（副主任）
ACM杰出会员, IFIP WG 2.4成员，IEEE和CCF会员
办公室：北京大学燕园校区理科一号楼1431房间 / 北京大学昌平新校区文德楼447
电子邮件: xiongyf@pku.edu.cn
电话：010-62757008-12
| 熊英飞新体制长聘副教授 北京大学 ACM杰出会员, IFIP WG 2.4成员，IEEE和CCF会员
办公室：北京大学燕园校区理科一号楼1431房间 / 北京大学昌平新校区文德楼447 |
| [ICSE26b] | Dimitrios Stamatios Bouras, 戴伊涵, 王泰然, 熊英飞, 谢辽夏*. HoarePrompt: Structural Reasoning About Program Correctness in Natural Language. ICSE'26: 48th IEEE/ACM International Conference on Software Engineering, 2026年5月. |
| [ICSE26a] | 肖元安, 王韦煊, 刘东, 周峻苇, 程圣宇, 熊英飞*. PredicateFix: Repairing Static Analysis Alerts with Bridging Predicates. ICSE'26: 48th IEEE/ACM International Conference on Software Engineering, 2026年5月. |
| [ASE25] | 吴宜谦, 陈逸凡, 熊英飞, 张昕*. Belief Propagation with Local Structure and Its Applications in Program Analysis. ASE'25: 40th IEEE/ACM International Conference on Automated Software Engineering, 2025年11月. |
| [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月. [全文] |
| [TSE25] | 吴宜谦, 刘雨节, 尹轶, 曾沐焓, 叶振涛, 张昕*, 熊英飞, 张路. SmartFL: Semantics Based Probabilistic Fault Localization. IEEE Trans. Software Eng. 51(7): 2161-2180, 2025年7月. [全文] |
| [ACL-Fnd25] | 梁清源, 张钊, 孙泽宇*, Zheng Lin, Qi Luo, 肖越易, 陈逸洲, 张煜群, 张皓天, 张路, Bin Chen, 熊英飞*. 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] |