法式設計語言知識增強的深度代碼模型

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

二、時　間：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唯一来自中国的成员。