一、论坛介绍

随着大语言模型的应用越来越广泛，传统的软件开发范式正在经历深刻变革。AI 不再仅仅是应用中的一个功能模块，而是正在成为驱动整个开发生命周期的核心引擎。本次技术论坛聚焦智能化开发的核心 – 具有Agent能力的模型与框架技术，深入探讨如何在开发过程中更好地利用和集成大语言模型能力，构建新一代智能化软件及其开发工具链和方法论。

智能化研发Agent是模型层和应用层、工业界和开源社区、商业公司和创业公司都在加大投入的领域，业界已经出现MetaGPT/AutoGPT/OpenHands/Cline等开源Agent框架/项目，他们正在快速改变开发者的工作方式和软件的构建模式。本次论坛旨在通过探讨 AI Agents 的概念框架、系统架构及开发实践，帮助开发者把握智能化变革带来的机遇与挑战，讨论 AI-Native 应用开发的最新技术和最佳实践。

本次论坛将提供这样的一个学术交流平台，方便研究人员和行业实践者围绕Coding-AI-Agent核心技术交流讨论研究进展、发现、未来规划等，共同促进国内智能化研发Agent进展。

二、论坛组织委员会 

• 王千祥（华为）
• 梁广泰（华为）
• 边攀（华为）
• 申博（视界引擎）

三、论坛安排

时间：11月28日星期五 09:00-12:30

地点：武汉国际会议中心 二楼荆沁厅205

论坛议程：

三、论坛嘉宾简介

1. 报告人：陈俊洁 教授

题目：基于需求对齐的大模型代码生成技术

摘要：随着大语言模型（LLM）在软件开发中的广泛应用，其生成代码的质量已不再仅依赖模型规模或训练数据，而更取决于模型对需求的准确理解。需求描述是代码生成的起点，LLM对需求的语义把握、意图识别与细节理解，直接影响生成代码的正确性。然而，当前模型常因需求表述的歧义、上下文缺失或语义偏差而产生偏离预期的代码结果。为此，本报告系统探讨了从需求对齐提升代码生成效果的思路，包括需求解析、语义映射与对齐反馈机制。通过建立模型理解与人类需求的一致性，可显著增强代码生成的可控性与可靠性。

简介：陈俊洁，天津大学教授、博士生导师，软件学院副院长；博士毕业于北京大学；研究方向为基础软件测试、智能软件工程等；主持国家优青项目、重点研发计划青年科学家项目等，入选中国科协青年人才托举工程、斯坦福大学发布的全球前2%顶尖科学家年度榜单，荣获CCF优博、电子学会自然科学一等奖、八项最佳/杰出论文奖等奖项；成果在华为、字节等多家知名企业落地；担任CCF系统软件专委常委， ICSE、FSE、ASE、ISSTA等顶会PC。

2. 报告人：高祥 副教授

题目：代码属性驱动的智能化研发

摘要：当前，以大语言模型为核心的智能化技术正被广泛应用于软件工程的多个环节，如代码生成、测试用例生成与缺陷检测等。然而，现有方法主要依赖自然语言作为输入与交互媒介，其固有的模糊性与程序语义所要求的精确性之间存在显著差距。这一矛盾导致智能化工具在实际应用中面临严峻挑战：其输出结果虽在形式上可能正确，但往往难以保证逻辑完备性与语义正确性。当前，模型未能充分利用程序代码本身所蕴含的、可作为精确引导的结构化语义“属性”。这些属性—包括严格的数据类型定义、函数接口规约、程序不变式、程序语义相似性等—是精确定义程序行为的核心要素，也是连接高层设计意图与底层具体实现的关键桥梁。本报告旨在阐述“代码属性驱动的智能化软件研发”。我们将代码属性作为核心线索系统性地引入模型的推理与生成过程，有助于提升模型对程序的语义理解，并进一步提升智能化软件研发能力。报告将重点介绍我们在三个关键任务上的探索：基于属性检索增强的测试用例生成、基于属性检索的漏洞检测和属性驱动的代码生成。通过深度利用代码中的属性信息，我们致力于推动智能化研发工具向更高可靠性、更强泛化能力的新阶段演进。

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

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

题目：自动化提升代码生成效果的提示优化方法

摘要：随着大语言模型在代码生成领域的广泛应用，提示词的设计直接影响模型的代码生成质量。传统的手工提示工程不仅耗时，而且效果不稳定。针对这一问题，本报告介绍了一种全新的自动提示优化方法——Prochemy。Prochemy能根据模型的实际表现自动迭代优化提示词，从而提升生成代码的正确性和可靠性。通过在多种主流代码生成和翻译任务中的实验证明，Prochemy能在zero-shot、思考链等不同方法下，持续带来性能提升，并在多个数据集上实现了最新的最佳结果。Prochemy无需额外的人为干预，能与现有方法无缝兼容，为代码自动生成和翻译提供了一种可扩展的解决方案。

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

4. 报告人：王焱林 助理教授

题目：浅谈工程级代码生成、翻译与问题解决

摘要：本报告聚焦与智能体时代软件工程领域中代码相关的关键应用，深入探讨仓库级代码生成、翻译与问题解决的前沿研究与实践工作。在代码生成方面，分析智能体如何依据需求精准、高效地生成高质量代码。对于代码翻译，讨论仓库级代码翻译的挑战、整仓库评测集构建、以及基于智能体的仓库级代码翻译。针对问题解决，提出多语言、多模态评测集，研究智能体在错误定位、理解、解决等方面的能力。最后，对智能体在软工尤其是工程级代码任务中的应用进行总结和展望。

简介：王焱林，中山大学助理教授，2022年7月入选中山大学“百人计划”，加入软件工程学院。加入中山大学前，于微软亚洲研究院DKI组担任主管研究员。主要研究领域为智能化软件工程，已在ICSE、ISSTA、ASE, AAAI、ACL等软件工程及人工智能领域的高质量会议和期刊上发表四十余篇学术论文，曾获得 ACM SIGSOFT Distinguished Paper Award，Modularity 2016最佳论文奖。担任FSE 2025组织委员会委员，在多个国际学术会议如ICSE，ISSTA，FSE等担任程序委员会委员，是TSE, TOSEM, TKDE, AuSE, JSS，EMSE, TNNLS等期刊的审稿人。

5. 报告人：边攀 华为云代码安全分析团队Leader

题目：项目级智能化软件研发智能体技术实践

摘要：随着大语言模型（LLM）驱动的智能体技术跨越临界点，AI在软件研发中的角色正由“辅助”走向“自主”。本报告聚焦项目级智能化软件研发智能体的研究与实践，探讨其在特性开发、问题发现与修复、库升级及应用移植等复杂任务中的应用能力。报告将深入分析意图精化、代码仓理解、代码定位、经验复用、测试验证及安全防护等项目级研发智能体的关键技术环节，并分享我们的实践成果。最后，展望智能体在未来自主化、协同化软件研发中的发展趋势与可能的研究方向。

简介：边攀，20年1月获得中国人民大学信息安全博士学位，同期入职华为工作至今，主要研究领域是软件分析与信息安全，主要研究兴趣包括智能化代码检查、代码修复、漏洞挖掘等。发表学术论文10+篇（含ICSE/FSE/TSE/CCS等）。

五、论坛组织委员会简介

1. 论坛主席：王千祥 华为云智能研发首席专家

简介：王千祥，华为云数字化平台技术创新Lab智能化研发首席科学家，CCF软件工程专业委员会副主任。加入华为之前，他是北京大学计算机系教授，博士生导师，在软件工程领域的CCF A类会议ICSE、FSE、ASE、OOPSLA等上面发表学术论文 60余篇，出版专著一部《应用服务器——原理与实现》，2004年获中创软件人才奖，2007年入选教育部新世纪优秀人才计划， 2008年研究成果获得国家技术发明二等奖。目前主要开展智能化软件研发的研究，包括代码缺陷检测、代码自动修复、代码智能合并、开源成分分析等。

2. 论坛主席：梁广泰 华为云数字化平台技术创新Lab主任

简介：梁广泰，华为云数字化平台技术创新Lab主任，14年初获得北京大学计算系博士学位，之后入职IBM中国研究院担任研究员职位。16年5月加入华为工作至今，带领团队先后围绕代码缺陷检测与修复、开源成分分析与治理、代码智能同步/重构/移植/生成等方向成功孵化多项智能化开发服务并规模化落地。至今已发表技术专利50+及学术论文30+（含ICSE/FSE/ASE/OOPSLA等），曾获FSE最佳论文奖/ISSTA最佳论文奖等，先后担任一系列软工Top国际会议PC Member/Chair等角色（含ICSE/OOPSLA/WWW/ISSRE等）。

3. 论坛主席：边攀 华为云代码安全分析团队Leader

简介：边攀，20年1月获得中国人民大学信息安全博士学位，同期入职华为工作至今，主要研究领域是软件分析与信息安全，主要研究兴趣包括智能化代码检查、代码修复、漏洞挖掘等。发表学术论文10+篇（含ICSE/FSE/TSE/CCS等）。

4. 论坛主席：申博 视界引擎公司CTO

简介：申博，视界引擎公司CTO，前华为技术专家，北京大学计算机系博士毕业，工作方向包括软件工程，代码生成，大语言模型，多模态智能体等。