程序设计语言知识增强的深度代码模型

一、主讲人：北京大学 熊英飞  软件研究所副所长

二、时　间：2025年6月26日（周四）15:30-17:30

三、地　点：沙河校区主楼东302

四、主持人：信息与软件工程学院　熊虎教授

五、内容简介：

大语言模型在代码编写等领域表现出强大的能力，但传统大语言模型主要把代码当作普通文本来训练，忽略了语法、类型、语义等程序设计语言知识。本报告介绍如何设计新型的代码表示、网络架构和训练方法，让神经网络学习程序设计语言的知识，以在代码任务上达到更好的效果。本报告的技术已经在部分业界的模型中得到应用，比如DeepSeek和快手。

六、主讲人简介：

  熊英飞于2009年从日本东京大学获得博士学位，2009-2011年在加拿大滑铁卢大学工作，2012年加入北京大学，现任新体制长聘副教授、软件研究所副所长。熊英飞的研究兴趣是程序设计语言和软件工程，特别是程序合成、修复、分析和验证。他的工作帮助产生了一系列不同规模的效果同期最优代码生成神经网络模型，如DeepSeek-Coder模型；大幅提升了缺陷修复的正确率、修复数量和修复效率；提出了最广泛使用的两大双向变换模型之一——基于差别的双向变换；成功自动求解大量算法问题，包括世界顶级算法竞赛中的问题。他的工作也被工业界采用，比如华为公司、中兴公司、新一代Linux内核配置项目等。他在OOPSLA担任副主席、ASE担任领域主席、IEEE TSE担任编委，PLDI、ICSE、FSE、OOPSLA、ASE、ISSTA等会议定期担任PC，5次在ICSE和FSE会议上获得杰出审稿人奖。他承担了优青、青年973、重点研发课题等科研项目。他获得国家技术发明一等奖（排名6）、电子学会自然科学一等奖（排名1）、CCF-IEEE CS青年科学家奖、MODELS十年最有影响力论文奖，5次获得ACM SIGSOFT/IEEE TCSE杰出论文奖，是ACM杰出会员和IFIP WG 2.4唯一来自中国的成员。