清华大学张超团队荣获软件工程领域顶会 ASE 2026 杰出论文奖
NISL 2026-10-19 21:00 北京
清华大学张超团队荣获软件工程领域顶会 ASE 2026 杰出论文奖
2026年10月12日至16日，第41届IEEE/ACM国际自动化软件工程大会（ASE 2026）在德国慕尼黑举行。清华大学网络科学与网络空间研究院张超团队的论文 “SmartPoC: Validating Smart Contract Vulnerability Findings through PoC Generation and Execution” 荣获 ACM SIGSOFT杰出论文奖（Distinguished Paper Award）。清华大学为论文第一完成单位，博士生陈龙飞为第一作者，张超副教授为通讯作者。研究由清华大学、北京大学和新加坡国立大学的研究人员合作完成。
张超团队荣获ASE 2026杰出论文奖
论文聚焦智能合约安全审计中静态分析告警误报较多、人工验证成本高的问题。针对审计信息噪声大、生成代码难以真实执行、漏洞触发结果难以自动判定等挑战，论文提出自动化漏洞验证框架 SmartPoC。其核心思想是借助大语言模型，将文本审计告警转化为可运行、可复现的漏洞验证程序，通过差分验证分析程序执行前后的关键状态变化，基于实际执行结果判断目标漏洞是否被触发，为漏洞存在性提供执行证据。实验表明，该框架能够有效验证静态分析工具报告的潜在漏洞，为提升智能合约安全审计的可靠性与效率提供了新的技术路径。
论文演讲照片
获奖证书照片
ASE是软件工程领域的顶级会议之一，被中国计算机学会列为软件工程／系统软件／程序设计语言领域A类国际学术会议，聚焦软件分析、设计、开发、测试与维护的自动化方法及工具，至今已举办41届。本届大会共收到 1,304篇投稿，录用263篇，录用率约20.17%。其中，24篇论文获评杰出论文，占录用论文的9.13%、全部投稿的1.84%。
文案：陈龙飞、张超
审核：刘保君、张一铭
排版：周航
本文转载自微信公众号「NISL实验室」，查看原文。版权归原作者所有，如有侵权请联系删除。