CCF软件大会2026|安全代码生成与软件可信构建论坛

一、论坛介绍

软件已成为关键基础设施与各行业数字化转型的底座，而软件的安全风险正呈现规模化趋势。大模型带来的生产力提升，既赋能了快速开发的能力，也带来了风险引入的挑战——例如幻觉导致的错误API调用、生成漏洞代码并引入供应链风险。因而，如何在提升软件开发效率的同时，确保生成代码满足安全、合规与可验证要求，已成为产业界与学术界共同面对的关键议题。

本论坛聚焦两条主线：一是基于大语言模型的安全代码生成，涵盖安全编码规范与需求驱动的生成、基于语法规则的约束式编程等；二是面向软件可信构建的体系化方法，包括大语言模型赋能的软件可信组装与修复、智能体的安全风险与治理等。论坛将邀请国内相关领域的顶尖专家分享经验、交流见解，推动可信软件构建的方法论、工具链与评测体系协同发展，提升关键软件在长演化周期中的可信度，并最终加速可信软件能力的成熟与落地。欢迎系统软件、软件工程、人工智能等学科的专家和学者前来参加。

二、论坛组织委员会

• 王尚文（国防科技大学）
• 文明（华中科技大学）
• 张源（复旦大学）

三、论坛安排

日程安排：

时间：2026年11月8日，09:00-12:00

地点：天津市社会山国际会议中心酒店，二层17号会议室

论坛议程：

四、论坛报告嘉宾简介

1. 报告人：李戈 教授

题目：基于大模型的软件自动化—进展与问题（V10.2）

摘要：当前，大语言模型与智能体技术迅速发展，软件开发的工具和模式正在发生变革。本报告讨论这两个互相关联的问题：当前基于大模型的软件开发智能体工作发展到了什么状态？其技术发展和产业应用中遇到了哪些问题？这些问题能否被解决以及有哪些潜在的解决方案？支撑智能体的大模型技术的能力边界在哪里？未来的智能化软件开发技术具有怎样的发展趋势或规律？对软件开发有何意义？以期引发大家的思考与讨论。本报告与11月6日"智能化软件开发、维护与安全论坛"论坛的报告组合为上下篇，本报告为下篇。

简介：李戈，CCF杰出会员，CCF软件工程专委会副主任委员，北京大学博雅特聘教授，教育部长江学者。国际上"基于深度学习的程序理解与生成"研究的早期贡献者。迄今为止，发表相关论文200余篇，多项成果被国际学者认为是"首创性成果"并被广泛引用，所带领的研究团队在软件工程与人工智能领域的多项研究中保持领先状态。科研转化成果为航天、金融、IT领域的多家企业提供智能化研发支撑。

2. 报告人：高祥 副教授

题目：属性驱动的可信代码生成与闭环修复

摘要：大语言模型正在深刻重塑软件开发范式：代码生成门槛大幅降低，但生成代码的正确性、安全性与可维护性仍难以保障，"生成容易、可信困难"成为软件工程面临的新矛盾。为在模型概率性生成与确定性信任之间建立可校验的衔接机制，本报告以软件属性为核心抽象，将可信性需求形式化为可机器判定、可随代码演化与流转的形式约束。软件属性以语义为中心，具有稳定性、可组合性、可复用性与可验证性；这些性质使其能够作为代码生成、验证与修复共享的语义锚点。本报告将属性应用到生成阶段，以约束缩小搜索空间，并在测试、检测与修复环节持续校验与反馈，从而赋能代码生成、测试评估、缺陷检测与自动修复。最后，本报告将展望LLM时代可信软件的形式化保障、基准评估与可信度量化等开放问题。

简介：高祥，北航软件学院副教授，博士，博士生导师，入选海外高层次青年人才计划，中国计算机学院软件工程专委委员和开源发展技术委员会委员。主要研究方向为智能化程序分析、开源软件供应链与软件安全。在CCF-A类期刊和会议发表论文40余篇。主持国自然青年项目、KGJ项目课题、航空基金，参与科技部重点研发计划课题，工信部高质量发展专项等。获得IEEE、SIGSOFT杰出论文奖4次，获鸿蒙年度先锋课题。在领域顶级期刊TSE、TOSEM等担任审稿人, 担任ICSE、FSE、ISSTA、MSR等会议程序委员会成员。

3. 报告人：洪赓 副研究员

题目：从Security到Safety：大模型智能体的系统性安全风险与治理

摘要：随着生成式大模型与智能体技术快速演进，以大模型为核心的前沿 AI 系统正逐步具备工具调用、知识检索、任务规划与环境交互能力，其安全问题也从传统模型层风险扩展为模型、数据、工具、框架与外部环境交织作用的系统性挑战。本报告聚焦大模型智能体的行为安全问题，围绕Security与Safety风险的交叉影响，介绍团队近年来在AI系统安全评测、风险机理分析与治理方法方面的研究进展，并探讨智能体安全研究的关键问题与未来方向。

简介：洪赓博士研究聚焦于人工智能安全、网络犯罪治理等，目前已在IEEE S&P、USENIX Security、ACM CCS、NDSS等国际顶级会议上发表数十篇高水平学术论文，主持国家自然科学基金面上项目、青年项目，国家重点研发项目子课题等重点课题。获上海市技术发明一等奖（2025）、上海市决策咨询研究成果奖一等奖（2025），ACM SIGSAC China优博奖（全国共3位）、ACM CCS 2018亮点论文等。

4. 报告人：冯洋 副教授

题目：AI时代的可信编程：大模型与程序分析结合的Rust软件工程支撑技术

摘要：本报告围绕AI时代的Rust程序设计语言发展及相关的软件工程技术展开，重点介绍面向Rust程序开发、分析、测试、维护与迁移的智能化方法和研究进展。报告将系统梳理Rust软件工程中的若干关键方向，包括代码语义理解与建模、静态分析与缺陷检测、测试生成与自动化验证、程序修复与重构、API使用分析，以及大模型驱动的代码生成、注释理解和开发辅助等技术。同时，报告将专门介绍面向Rust的语言转换与程序迁移研究，重点讨论C/C++到Rust的自动或半自动转译、渐进式迁移、混合编译验证以及迁移过程中语义保持、安全增强与错误可追踪性等问题。结合Rust语言特性与编译工具链，报告分析这些技术在提升开发效率、保障软件质量和支持遗留系统现代化改造中的作用。最后，报告总结Rust软件工程技术的发展现状与主要挑战，并展望其在智能化开发工具链与高可靠软件构建中的应用前景。

简介：冯洋，南京大学计算机学院副教授。研究方向为软件质量保障，具体研究课题包括复杂软件系统的质量保障技术，基于Rust语言的软件质量保障等。近年来已发表相关论文60余篇，其中包括ICSE、FSE、ASE、ISSTA、TSE、TOSEM、OOPSLA等CCF-A类期刊与会议发表学术论文40余篇，并于2022年ASE、2023年FSE大会获杰出论文奖，2024年获华为火花奖，2025年获小米青年创新奖。主持国家自然科学基金面上项目、青年项目，国家科技部重点研发计划课题、科技创新2030—"新一代人工智能"重大项目子课题等项目多项；担任多个期刊审稿人及国际会议程序委员会成员。

5. 报告人：孙泽宇 副研究员

题目：语法规则制导的程序生成

摘要：程序生成旨在根据自然语言描述等输入，自动生成满足用户需求的程序。近年来，大语言模型显著提升了程序生成的能力，但将代码简单表示为词元序列，仍难以充分利用程序语言内在的语法信息。本报告将介绍语法规则制导的程序生成方法，讨论如何将语法规则融入程序生成过程，引导模型生成结构合法、功能正确的程序。

简介：孙泽宇，中国科学院软件研究所副研究员，博士毕业于北京大学，研究方向为软件工程、程序生成、软件测试等。近年来在相关领域共发表CCF A类论文四十余篇，论文发表于ICSE、FSE、ASE、TSE、TOSEM等国际顶级会议期刊。研究成果获FSE杰出论文奖。多次担任ICSE、ASE、FSE、ISSTA、ICML等会议程序委员会委员，TSE、TOSEM、TIFS等期刊审稿人，ISSTA、SANER会议Session Chair及AAAI Workshop（PracticalDL）组织者。

6. 报告人：李佳 博士后

题目：基于需求的安全代码生成：理解、约束与补全

摘要：随着大模型与智能体在代码生成任务中的广泛应用，一个前提性问题往往被忽视——模型能否准确理解需求，以及需求本身是否具备充分的安全约束。本报告围绕基于需求的安全代码生成，分享在需求理解、安全约束提取与需求补全方面的研究进展。针对大模型并不总能准确理解需求、致使后续推理生成代码与后处理策略失去意义的问题，提出需求对齐的代码生成框架。针对安全约束往往散落在复杂异构软件资产中、难以被生成模型感知的问题，提出从软件资产中逆向提取与需求相关的安全约束，并据此驱动安全感知的代码生成。针对需求通常存在安全描述不完整的问题，提出安全需求补全方法，先检测需求中的不安全缺口，再针对性补全安全描述，为下游代码生成提供完备的安全规约。上述工作系统地提供了从需求侧出发的安全代码生成与软件可信构建探索方案。

简介：李佳，武汉大学弘毅博士后（20人/批次），软件工程专委会委员，2025年于北京大学高可信软件技术教育部重点实验室获得博士学位。获得中国计算机学会博士学位论文激励计划（软件工程专委）提名、湖北省博士后尖端人才引进计划、北京市优秀毕业生、微软亚洲研究院"明日之星"等称号。主要研究方向为智能化软件工程，包括需求工程、代码生成、软件开发智能体。在ASE、FSE、ICSE、ACL、NIPS、TOSEM等软件工程和人工智能领域的重要期刊会议上发表三十余篇论文，获 1 次 ACM 杰出论文奖、2 次 ACM 杰出程序委员奖，谷歌学术引用量超1000余次。在学术服务方面，担任FSE、TOSEM、TSE、NIPS和ACL等国内外重要期刊会议的审稿人。

五、论坛组织委员会简介

1. 论坛组委会：王尚文 助理研究员

简介：王尚文，国防科技大学助理研究员、硕士生导师、"高地新星"青创俱乐部委员，入选CCF博士学位论文激励计划，ACM中国新星（长沙），主要从事智能化软件工程方面的研究，在顶级会议和期刊上发表论文40余篇，主持/参与 国家重点研发计划、国自科青基、湖南省青B、国家重点实验室课题在内的多项科研项目。担任IEEE TSE的Associate Editor，TOSEM、EMSE等期刊的审稿人以及CCS、ICSE、FSE等会议的程序委员会委员。获ACM/IEEE杰出论文奖5次，申请专利30余项，研究成果获湖南省计算机学会科学技术奖。

2. 论坛组委会：文明 教授

简介：文明，华中科技大学教授，博士生导师，CCF高级会员，"华中学者"卓越青年学者，主要聚焦系统软件安全、大模型智能体等相关研究，累计发表了CCF-A类高水平论文70余篇，多次获得ACM SIGSOFT杰出论文奖。出版《软件安全》、《编译原理》等著作多部，主持/参与国家重点研发计划、国家自然科学基金青年项目(B类，C类)、面上项目、国家自然科学基金通用联合重点项目、湖北省重大攻关项目课题，CCF华为胡杨林基金等项目，授权/申请国家发明专利10余项，入选第七届中国科协青年人才托举工程计划。

3. 论坛组委会：张源 教授

简介：张源，复旦大学教授、博导，教育部长江学者，复旦白泽战队指导教师，主要研究方向为软件安全，研究工作获网安顶会杰出论文奖3次、荣誉提名2次，部分研究成果应用于华为、阿里、OPPO、vivo等公司，获优秀校企合作项目5次。带领复旦白泽战队获国内外顶尖安全攻防赛事冠军20余次，发现大量真实软硬件系统高危漏洞，获2021年国家信息安全漏洞库最具价值漏洞奖。