CCF软件大会2026|分布式软件系统韧性保障论坛

二、论坛组织委员会

• 孙永谦   （南开大学）

• 张圣林   （南开大学）

• 辜文蔚   （南开大学）

三、论坛安排

日程安排：

时间：2026年11月7日，15:20~18:20

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

论坛议程：

四、论坛报告嘉宾简介

1. 报告人：王林章  教授

题目：静态分析误报消除方法研究

摘要：静态程序分析是软件可信保障的重要手段之一。随着软件系统的规模和复杂度不断增长，大规模复杂软件的静态分析可能产生大量的警告，且误报比例居高不下，严重降低了可信保障效能。本报告介绍通过提升静态分析精度减少误报，以及基于符号执行、输入无关性分析、大模型与智能体等方法对静态分析产生的警报进行甄别，从发掘缺陷存在证据的角度实现消除误报，从而提升静态分析结果的可用性。

简介：王林章，南京大学计算机学院至诚特聘教授、中国计算机学会会士，担任全国信息技术标准化技术委员会委员、中国计算机学会理事。科研与教学主要关注系统软件、软件工程、智能化基础软件可信保障。

2. 报告人：杜军朝  教授

题目：面向物联网应用的联邦学习与推理优化关键技术研究

摘要：随着物联网应用、大模型、边缘智能技术的迅猛发展，联邦学习技术与推理优化技术成为研究的热点。本报告主要探讨面向物联网应用的联邦学习技术，如联邦大小模型协同、异构模型的联邦训练、联邦学习公平性。同时，讨论资源受限下智能推理技术、模型压缩技术、语音／图像信息处理技术等。

简介：杜军朝，西安电子科技大学“华山学者”领军教授、西电二级教授、国家级人才，教育部区块链技术应用与测评工程研究中心副主任，陕西省智能人机交互与可穿戴技术重点实验室骨干，陕西省科技创新团队负责人，陕西省秦创原科学家+工程师团队首席科学家，ACM西安分会副主席，ACM中国图灵大会组委，CCF杰出会员，CCF物联网、嵌入式专委常务委员，分布式计算与系统、区块链专委委员。以第一完成人获：2022教育部技术发明二等奖、2021/2019陕西省高等学校科学技术特等奖/一等奖。出版国家重点图书出版规划教材《ZigBee技术原理与实战》。承担国家自然基金重点基金项目、陕西省科研项目等多项。在国际旗舰会议ACM Ubicomp、ACM Mobisys、IEEE/ACM期刊等发表论文多篇，获得2017 ACM Ubicomp 杰出论文奖（CCF A类）。

3. 报告人：韩锦恒  中科院工程师

题目：大规模超智融合系统智能监控运维实践

摘要：HPC 与 AI 的融合发展推动计算系统向 E 级算力、万卡乃至十万卡规模演进。计算、存储、高速网络、液冷与动环基础设施紧密耦合，使系统复杂度和故障影响范围显著增加，也对监控覆盖、故障诊断和运维自动化提出了更高要求。本报告面向大规模超智融合系统，提出以可观测数据、CMDB、运维知识库和智能体为基础的一体化智能运维架构Gridview。该架构统一采集指标、日志、事件和追踪数据，整合芯片级、节点级、单元级和系统级 RAS 能力，通过时序分析、异常检测、关联分析以及大模型技术，实现指标异常识别、BMC 日志解析、跨系统故障根因定位和处置建议生成。在此基础上，结合数字孪生构建多层级、多维度的集群运行视图，并通过 MCP 连接配置检查、系统部署、性能检测和故障处理工具，使智能体能够根据运维意图自主规划和执行任务。相关能力进一步延伸至科学计算领域，由专业智能体完成任务拆解、环境检查、计算软件调用、结果分析和报告生成。实践表明，该方案能够缩短故障分析与科研计算流程，提高大规模超智融合系统的可观测性、稳定性和运维效率。

简介：韩锦恒，工学硕士，中国科学院工程师，现任中科曙光高端计算产品部工程师，负责管理子系统 Gridview 的产品研发与架构设计，构建了覆盖芯片级、节点级、单元级和集群级的全方位可观测体系。参与中国首个全国产十万卡 AI 超集群——曙光 8000（登峰）系统建设，通过资源管理、智能调度与全链路监控能力，实现超智融合集群监控运维的数据化、可视化和专业化管理，为超大规模算力集群稳定运行提供支撑。

4. 报告人：胡燏翀  教授

题目：大模型系统下可靠性技术研究

摘要：大规模智算系统已成为关键基础设施，但故障频发与传统容错高开销制约其发展。本研究以编码技术为核心，构建低开销可靠性保障范式，覆盖智算与智存两大方向。智算方面：面向推理，提出 SpotCC 抢占式编码计算方法，利用解码不对称性与抢占不均匀性将 P99 尾延迟降低 83.9%；提出 ECPrefix 纠删码前缀缓存技术，以自适应条带与流水线解码将首 Token 时延降低 52.3%；智存方面：面向训练，提出 AsymCheck 非对称分区检查点机制，利用前反向传播通信空闲差异将训练时间缩短 20.1%–48.2%；提出 COAR 计算感知纠删码修复技术，综合节点计算与网络资源调度修复任务，修复时间最多降低 59.8%。相关成果发表于 HPCA、DAC、HPDC等 CCF A类会议，并应用至新华三、海康威视等企业产品。

简介：胡燏翀，华中科技大学计算机科学与技术学院教授、博导、院长助理，国家级青年人才，国家重点研发计划项目青年科学家。研究聚焦智能存储系统 “冗余高、修复慢、搬运多”三大痛点，锚定极低开销、高效修复、快速传输三大核心科学问题开展系统性攻关，近五年发表高水平论文近50篇，以第一/通讯作者发表FAST、HPCA、SC、DAC、ICDE、HPDC等CCF A会，获国家科技进步二等奖、国家级教学成果二等奖、湖北省科技进步一等奖、日内瓦发明展金奖、华为奥林帕斯先锋奖等。成果已落地新华三、海康威视、华为等国内头部 IT 企业。

5. 报告人：张鹏程  教授

题目：智能合约视角下的分布式系统韧性保障

摘要：智能合约作为区块链的核心基础设施，因其可编程性与不可篡改性而得到广泛应用，其安全能力已成为分布式系统韧性保障的重要基础。本报告以智能合约为视角，围绕分布式系统的韧性评估、韧性加固与韧性感知三个方面展开：在韧性评估方面，通过智能合约漏洞注入构建测试场景，支撑安全测试与防护能力评估；在韧性加固方面，探索智能合约代码混淆与代码生成方法，提升合约保护能力与代码安全性；在韧性感知方面，研究智能合约漏洞检测方法，识别潜在缺陷与安全风险。报告进一步讨论三者的联系与互补性，为分布式系统韧性保障提供智能合约层面的技术支撑，并展望跨链安全等方面的潜在问题，为构建可评估、可加固、可感知的分布式系统韧性保障体系提供参考。

简介：张鹏程，河海大学计算机与软件学院副院长、教授、博士生导师、CCF服务计算专委常委、CCF软件工程和系统软件专委执委、江苏省计算机学会软件专委副主任。主要研究方向为软件工程和服务计算等，主持国家自然科学基金4项、国家自然科学基金联合基金课题1项（合作单位负责人）、国家重点研发计划子课题、江苏省自然科学基金等纵横向课题20余项。在TSE、TOSEM、TIFS、TSC、TMC、TKDE、TCC、TR等IEEE/ACM汇刊、ESEC/FSE、ASE、ICML、AAAI、ICWS、ICSOC等国内外期刊和会议上发表论文100余篇。担任CCF A类期刊TSC副编辑，担任IEEE AITest 2019、CCF ICSS 2025、IEEE EDGE 2026等程序委员会主席，担任CCF A类会议ACM MM、NeurIPS、AAAI，CCF B类会议ICWS、ICSOC、ICDM等程序委员会委员。曾获东南大学优秀博士论文、中国博士后特别资助、湖北省科技进步一等奖、教育部科技进步一等奖、电力建设企业学会科技进步二等奖、江苏省优秀计算机科技工作者和CCF服务计算专委“青年才俊”奖和“青年科技奖”等。

6. 报告人：杨任宇  副教授

题目：智能时代AI Infra可靠性保障技术与实践

摘要：智能化浪潮下，万卡级异构算力集群已成为关键的AI 基础设施，但AI基础设施故障频率高、恢复慢、损失大，亟需构建"检测—定位—诊断—恢复"全链路可靠性保障体系。本报告将介绍我们近期技术探索与实践：异常检测与定位方面，多模态异常识别与GraphRAG根因分析、动态环境KPI异常检测；模型训练稳定性观测与诊断方面，构建ETPR端到端可观测指标与稳定性闭环治理框架，实现中断、挂起故障诊断与慢节点快速定位；模型训练失效恢复方面，热度感知自适应检查点与多级异步增量检查点优化等关键技术。

简介：杨任宇，博士，北京航空航天大学软件学院副教授，博士生导师，国家级青年人才。北航可靠智能分布式系统实验室（RAIDSLab）联合负责人，复杂关键软件环境全国重点实验室、计算智能新技术北京市重点实验室核心成员，关键软件重点学科与技术研究中心办公室主任，曾担任英国利兹大学研究员、爱丁堡大学访问学者。目前研究方向为大规模AI基础设施资源管理、训练与推理加速优化、AI Infra稳定性与可靠性、智能运维等。主持国家重点研发计划课题、国家自然科学基金青年项目、北京市自然科学基金项目、头部企业-校企合作项目等项目课题十余项。在TPDS、TC、EuroSys、SC、SoCC、ICPP、ASE、VLDB、KDD、AAAI等分布式计算、人工智能、综合交叉等领域国际期刊、会议发表学术论文90余篇，谷歌学术引用5000余次，牵头研制云原生领域国家标准工作2项、行标1项。曾获2017年中国电子学会科技进步特等奖、2022年英国阿兰图灵博士后拓展奖、2024年中国商业联合会科技进步一等奖、2025年度关键软件技术创新成果、2024年快手优秀科研合作奖等。

7. 报告人：岳恒山  副教授

题目：面向典型应用的近似容错技术研究

摘要：随着计算平台集成度不断提升、系统规模持续扩大，硬件故障风险日益突出。与此同时，复杂应用中广泛存在的数据依赖关系进一步加剧了故障传播与影响累积，对系统可靠性构成严峻挑战。传统容错方法主要依赖硬件加固、冗余执行及检查点回滚等机制，往往引入较高的性能与资源开销。

本报告面向计算系统高效能、高可靠运行需求，介绍近似容错的设计思想，通过挖掘应用固有的误差容忍特性，适度放宽容错约束、简化容错机制，以降低系统容错开销。重点介绍面向高性能计算、人工智能及图计算等典型应用的可靠性分析方法与高效近似容错技术，探索系统可靠性与容错开销之间的有效平衡方法，为构建高效能、高可靠的计算系统提供技术支撑。

简介：岳恒山, 吉林大学准聘副教授、研究员, 吉林省省域D类人才｡主要研究方向为计算机体系结构与系统可靠性｡近年来,以负责人身份主持国家自然科学基金､国家重点研发计划子课题､中国博士后科学基金面上资助、吉林省自然科学基金（面上）、华为胡杨林基金等多项项目;以责任作者(一作/通讯)在SC､DAC、TCAD､TACO､TMM、ICCD､Cluster､DATE､JSA等期刊/会议共发表学术论文近30篇；曾入选“吉林省博士后科研人员择优资助计划”及“吉林大学鼎新学者支持计划”｡博士论文获“吉林省优秀博士论文”及“ACM中国优秀博士论文奖（长春）”。

8. 报告人：李晴  副教授

题目：星座智能自主运行研究与实践

摘要：随着低轨卫星星座规模持续扩大，传统依赖地面集中控制和人工决策的运控模式，面临响应时延高、协同复杂、资源受限和扩展能力不足等挑战。本报告围绕星座智能自主运行体系，从安全、健康、高效和进化四个方面，介绍轨道预测与自主避碰、真实在轨数据分析与动态评测、能源与任务协同调度、分布式训练和在轨模型更新等研究工作，并结合算网能热联合仿真平台和真实实验卫星系统，探讨如何构建数据、算法、评测、仿真与硬件协同支撑的闭环技术体系，推动卫星星座由地面控制走向自主感知、自主决策、协同运行与持续进化。

简介：李晴，北京邮电大学计算机学院（国家示范性软件学院）预聘副教授，研究领域包括卫星计算系统优化、卫星智能运控、新型卫星计算应用、卫星网络安全等，相关工作发表在Usenix Security/ACM MobiCom/Usenix ATC/IEEE RTSS/IEEE TMC/IEEE TSC/IEEE ToN等国际会议和期刊。主持国家自然科学基金面上/青年项目、博士后面上基金项目，入选2023年博新计划，曾获IEEE TSC 2024 Best Paper Award、 USENIX Security 2026 Distinguished Paper Award、ACM Mobicom 2025 Best Demo Runner-up Award、ICSOC 2023 Distinguished Paper Award、 IEEE EDGE 2021 Best Paper Award等奖项。

五、论坛组织委员会简介

1. 论坛组委会：孙永谦 南开大学  副教授

简介：孙永谦，南开大学软件学院副教授、博导，曾任图书馆副馆长。清华大学计算机系博士毕业，CCF高级会员。从事智能运维（AIOps）领域研究，近期专注于基于LLM、多智能体等方法研究面向多模态数据的故障识别、诊断与预防等，在JSAC、WWW、ASE、FSE、TC、TSC、TOSEM等国际会议/期刊发表论文70余篇，获得CCF A类会议FSE2026的杰出论文奖（工业赛道唯一），ISSRE2024 最佳论文和最佳工业论文奖。主持国家科技重大专项课题1项、国家自然基金与天津市自然基金各1项，与华为、字节跳动、阿里、腾讯、快手等头部IT企业合作校企共研项目20余项。获得中国电子学会科技进步一等奖（4/15）、南开大学“良师益友”荣誉称号，天津市“131”创新型人才培养工程第三层次、教育部-华为智能基座“栋梁之师”等荣誉。

2. 论坛组委会：张圣林 南开大学  教授

简介：张圣林，南开大学软件学院教授、博士生导师、副院长，中国计算机学会(CCF)杰出会员，入选南开大学“青年学科带头人培养计划”。2017年于清华大学计算机系获博士学位，并获清华大学优秀博士学位论文奖。主要研究方向为韧性保障与智能运维（AIOps）。以第一作者或唯一通讯作者身份在CCF A类会议和期刊上发表论文40余篇。主持国家自然科学基金项目3项及华为、字节跳动、阿里巴巴、腾讯等企业横向课题近30项。荣获CCF A类会议FSE 2026工业赛道唯一杰出论文奖；三次荣获CCF B类会议ISSRE最佳论文奖，打破该会议35年历史上个人获奖次数纪录。获中国电子学会科技进步一等奖（第3完成人）、天津市科技进步一等奖，以及华为计算产品线“最佳技术合作教授”、南开大学“良师益友”、麒麟软件“校企合作突出贡献奖”等荣誉。联合创办CCF智能运维挑战赛，并担任首届和第六届程序委员会主席。其他学术服务任职包括：CCF 2026中国软件大会程序委员会主席、CCF 2025中国网络大会宣传委员会主席、CCF YOCSEF天津学术委员会副主席（2023—2024）及CCF互联网专委主任扩大会议成员。

3. 论坛组委会：辜文蔚  南开大学  讲师

简介：辜文蔚，南开大学软件学院讲师。于2025年从香港中文大学计算机系获得博士学位，师从吕荣聪教授。在ICSE、FSE、ASE、TOSEM、TSE、ATC等CCF A/B国际顶尖会议和期刊发表高水平论文33篇，获得FSE 26杰出论文奖，ISSRE 25 最佳论文奖提名。主持 CCF-蚂蚁科研基金、阿里巴巴校企合作项目等科研项目，并参与多项华为、美团、字节跳动等企业合作项目。担任 ISSRE 26、QRS 26、SANER 27 程序委员会委员，2026 中国软件大会宣传委员会主席，第九届 CCF 国际智能运维挑战赛技术委员会主席。