2026年8月27日，由广东省安全智能新技术重点实验室和深圳市计算机学会主办的SAILING讲坛第三十七期于哈尔滨工业大学（深圳）顺利召开。

本次SAILING讲坛由哈尔滨工业大学（深圳）高翠芸教授主持，特邀浙江大学任晓雪研究员、香港科技大学曹嘉伦研究助理教授、中山大学苏玉鑫副教授作主题报告，分享最新研究进展，与参会师生展开交流。

图1. 浙江大学任晓雪研究员作论坛报告

浙江大学任晓雪研究员以《大模型驱动的代码效率评估与优化技术研究》为题展开报告，随着大语言模型在代码生成领域的广泛应用，模型生成代码的功能正确性已得到显著提升，但代码效率，即生成代码的运行性能却长期缺乏系统性的关注与评估。现有代码生成基准测试大多以功能正确性为核心指标，对生成代码的效率维度关注不足，导致模型在效率层面的能力成为一个“黑盒”。与此同时，软件系统的性能需求日益严苛，低效的生成代码若直接投入生产，可能引发严重的资源浪费和性能瓶颈。本报告将分享我们在代码效率评估方法论、大模型驱动的代码优化技术、以及从功能正确性迈向效率感知的代码智能演进路径等方面的思考与最新进展。

图2. 香港科技大学曹嘉伦研究助理教授作论坛报告

香港科技大学曹嘉伦研究助理教授以《 AI 赋能的自动化程序验证》为题展开报告，随着大语言模型（LLMs）的快速发展，AI 正在深刻改变形式化方法的研究与应用方式。本报告介绍了 AI 赋能自动化程序验证的最新进展，首先回顾程序测试与形式化验证的区别，以及契约式编程和程序规约在软件可信性中的核心作用；随后结合近年来的研究成果，分享如何利用大语言模型自动生成形式化规约、结合静态分析与验证器反馈提升验证成功率，并探讨推理模型（Reasoning Models）与 Agent 技术在形式化程序验证中的能力边界与发展趋势。最后，报告将展望 Harness 驱动的形式化验证智能体（FM Agent）以及面向项目级软件验证的新范式，讨论 AI 与形式化方法双向赋能的发展方向，以及构建可信 AI 软件工程的未来机遇。

图3. 中山大学苏玉鑫副教授作论坛报告

中山大学苏玉鑫副教授带来题为《WebAssembly 运行时的可观测性与性能优化》的专题报告。Wasm 最初为浏览器设计，依托独立运行时与 WASI 接口，现已落地服务端、边缘计算、物联网等场景，但在从 “可运行” 迈向 “高效运行” 的过程中，仍面临运行时行为难以观测、跨语言及系统边界性能开销难以排查、不同运行时与部署环境性能表现不一致等核心痛点。报告简要梳理 Wasm 的技术背景、执行模式与运行时生态，重点围绕可观测性与性能优化，剖析 Wasm 运行时和操作系统的交互观测手段、PythonWasm 跨语言调用的性能问题，以及宿主绑定、资源受限物联网环境下的效率提升路径，旨在搭建一套覆盖性能采集、瓶颈定位、优化验证的完整工作流程，在保障 Wasm 安全性与可移植性的基础上，提升其执行效率、可靠性与工程应用价值。

本次 SAILING 讲坛围绕大模型赋能软件研发主题，分别从大模型代码效率评估与优化 、AI 赋能的自动化程序验证、WebAssembly 运行时性能优化多个前沿方向分享了最新科研成果。讲座拓宽了在场师生的学术视野，让参会人员深入了解系统软件、代码智能、形式化验证等领域的技术痛点与前沿发展趋势。报告也为师生后续的科研工作提供了新思路与参考启发，搭建起良好的学术交流平台，促进不同研究方向之间的思想碰撞，为相关领域后续的研究探索与技术落地带来有益借鉴。

图4. 与会老师和同学合影

演讲嘉宾简介：

任晓雪，目前担任浙江大学软件学院平台研究员，博导。研究方向聚焦于智能化软件工程、软件质量保证、代码智能。近年来在 ICSE、FSE、TSE、ASE、ICLR 等软件工程及人工智能顶会顶刊上发表 CCF-A 类论文三十余篇，申请发明专利十余项，受邀担任 FSE、ICSE、ASE、TSE 等软件工程国际会议/期刊审稿人。曾获 FSE'25 以及 APSEC'24 杰出论文奖（Distinguished Paper Award）。近年来，主持国家自然科学基金青年基金、宁波甬江引才项目、字节跳动、支付宝、华为合作项目等国家级、省部级及企业横向课题多项。部分研究成果已经在支付宝、字节跳动和华为得到应用。

曹嘉伦，香港科技大学的研究助理教授，即将入职帝国理工 作为助理教授。她的研究重点是利用先进的人工智能技术实现软件开发、测试和程序验证的自动化，旨在实现从构建之初就具备可靠性的软件的自动化生产。她在ICSE、ESEC/FSE、CAV、ASE、ACL、AAAI、USENIX Security和TOSEM等顶级会议和期刊上发表了30余篇论文。她担任ICSE、FSE、ISSTA和ASE等顶级会议的程序委员，并担任ESEC/FSE 2025和ASE 2024的分会主席。她获得了2024年杰出论文奖，2025年ACM SIGSOFT杰出博士论文奖、2025年工程科学领域青年科学家奖等。

苏玉鑫，中山大学软件工程学院副院长，副教授，博士生导师，国家重点研发计划青年科学家项目负责人，中国计算机学会（CCF）高级会员，服务计算、系统软件专委会执行委员。主要研究方向为系统软件可靠性分析与运行时性能优化，包括云计算、云原生系统、日志分析、云系统可靠性与智能运维（AIOps）等。近年来在ICSE、FSE、ASE、ISSTA、SOSP、FAST、ICDE、ACL等软件工程、操作系统、人工智能领域会议发表论文30余篇。

广东省安全智能新技术重点实验室简介：

广东省安全智能新技术重点实验室（以下简称实验室）是由广东省科学技术厅于2022年批准成立的省级科研平台，依托哈尔滨工业大学（深圳）进行建设管理。实验室遵循“开放、流动、联合、竞争”的发展方针。实验室的建设内容主要包括：探索能够解决现有领域核心问题，以及具有未来市场价值的研究方向及其具体研究内容；提出具有合理完善的体系结构的实验室建设模式，建立科学高效的实验室组织结构和运作管理机制；搭建高凝聚力、高水平的人才队伍；聚焦广东省人工智能安全相关优势学科、支柱产业以及重大战略需求，推动相关成果的产业化。

初审 | 高翠芸

复审 | 漆舒汉

终审 | 王轩