近日，软件工程领域顶会 The IEEE/ACM International Conference on Software Engineering (ICSE2026)  在巴西里约热内卢召开，浙江大学计算机学院软件工程团队论文荣获ICSE 2026杰出论文奖（ACM SIGSOFT Distinguished Paper Award）。ICSE是国际公认的软件工程领域旗舰会议，也是中国计算机学会（CCF）推荐的A类国际学术会议，每年召开一次，2026年是第48届会议。本次获奖是浙江大学软件工程团队继 ICSE 2024，FSE/ISSTA 2025 之后，连续第三年获得软件工程顶会的杰出论文奖。

ICSE2026 获奖证书

ICSE2026 会议颁奖现场

（左二为浙江大学高志鹏老师，左三为浙江大学学生薛志鹏，左四位浙江大学求是特聘教授夏鑫老师）

会议介绍

The IEEE/ACM International Conference on Software Engineering (ICSE)是软件工程领域的顶级学术会议，也是中国计算机学会（CCF）推荐的A类国际会议，截至2026年已举办48届。作为软件工程领域的顶级学术会议之一，ICSE是软件工程领域研究人员、教育从业人员和工业界人士介绍与讨论领域最新思想，创新成果，研究趋势和分享经验的重要论坛之一，长期代表着全球软件工程研究的前沿方向，汇聚了来自学术界与工业界的众多顶尖研究人员和实践专家。ICSE 2026共收到 1469 篇论文投稿，最终录用 321 篇，录用率为21.85%。

论文介绍

研究成果： Automating Just-In-Time Python Type Annotation Updating

随着Python开源项目越来越流行，为了避免 Python 动态类型特性引发的类型错误，Python 引入了类型注解（Type Annotation）机制。当开发者修改源代码时，这些类型注解往往被忽略，从而导致 Python 类型注解在代码演化过程中产生不一致与过时现象。这类过时的 Python 类型注解会影响程序理解，严重时甚至会引发程序崩溃。因此，如何在开发过程中即时更新过时的类型注解具有重要意义。该论文提出了一种基于大模型的即时（Just-In-Time）类型注解更新方法TypeUp（Type Annotation Updator）。该方法能够基于已有的类型注解以及对应的代码变更，自动生成新的类型注解。实验结果表明，TypeUp 相较于当前最先进的类型推断方法性能提升了 41.9%，与此同时，在真实开源项目中，工具对25条过时类型注解进行自动更新，其中20条已经被开发者确认采纳，表明该方法在真实开发场景中具有较高的实用价值。

本文的第一作者为博士三年级学生薛志鹏，通讯作者为高志鹏/平台百人研究员、夏鑫/求是特聘教授。

此项研究成果由浙江大学计算机学院、浙江大学上海高等研究院和浙江大学软件学院合作完成。

论文原文：https://doi.org/10.1145/3744916.3764565