文章总结: EXPRESS2026研讨会聚焦AI原生时代软件系统的可解释性与可靠性挑战,探讨AI驱动的DevOps、系统可信性保障、测试验证技术等核心议题。会议与SPLASH2026、ISSTA2026联合举办,征集涵盖理论框架、工具实现及实践案例的英文论文,截稿日期为2026年6月14日。 综合评分: 78 文章分类: 安全开发,技术标准,解决方案,AI安全,应用安全
【征稿】EXPRESS 2026:从云原生到AI原生,重塑软件系统的可解释性与可靠性
小编 小编
安全学术圈
2026年4月18日 08:03 四川
在小说阅读器读本章
去阅读
背景
当代软件系统正经历一场深刻的代际跃迁。
如果说过去十年,我们见证了软件架构向云原生的全面转型;那么随着生成式人工智能技术的爆发,我们正加速迈入AI原生的新时代。
在这一变革中,AI不再是外挂的辅助工具,而是正在演变为软件架构的核心驱动力、代码的生产者以及系统决策的“大脑”。然而,这种转变在赋予系统前所未有的自主性与智能化的同时,也带来了全新的复杂性与不确定性。
核心挑战: 如何在从云原生向AI原生演进的过程中,系统性保障软件系统的正确性、可解释性与可信赖性?这已成为软件工程与DevOps领域面临的最紧迫挑战。
继往开来: 继首届 EXPRESS 2025 于挪威特隆赫姆成功探索“复杂软件系统与大语言模型融合的可解释性”之后,第二届 EXPRESS 研讨会 将进一步深化议题,立足 AI驱动的软件研运一体化(AI辅助DevOps),探讨在这一代际切换中,如何构建既具备强大智能能力、又拥有坚实可信底座的软件系统。
会议信息
EXPRESS 2026 将与美国软件工程领域两大顶级会议联合举办: SPLASH 2026 & ISSTA 2026 ,
时间: 2026年 10月 3日 – 2026年 10 月 9日
地点: 美国加利福尼亚州奥克兰市
联合会议背景介绍:
- ISSTA (ACM SIGSOFT International Symposium on Software Testing and Analysis):软件测试与分析领域公认的权威性顶级会议之一。
- SPLASH (ACM SIGPLAN conference on Systems, Programming, Languages, and Applications):编程语言与软件工程领域的顶级国际会议之一。
征稿主题
我们诚邀包括但不限于以下方向的原创工作投稿,特别欢迎从严谨理论基础、工程方法、工具实现到真实案例与经验报告等不同角度的交叉研究与多学科合作:
- 软件及智能体系统的可靠性、安全性与可信性
- 面向可信软件的分析、测试与(形式)验证技术
- 面向软件系统的可信 AI,以及支撑可信 AI 的软件系统基础设施与工具链
- 机器学习模型与软件系统的可解释性方法与实践
- 基于大语言模型的验证、测试与分析技术及其可解释性与可靠性评估
- 软件系统依赖关系与复杂性的发现、分析与挖掘
- 面向增强可解释性的软硬件系统可视化技术与工具
- 运行时可观测性、运行时分析、监控及错误恢复机制
我们特别鼓励以下类型的工作:
- 兼具严谨理论基础与工程可落地性的方法与框架
- 面向真实复杂场景的工具实现、平台方案与实践经验总结
- 融合软件工程、机器学习、运筹优化、系统架构等多学科视角的交叉研究
- 从“云原生”向“AI 原生”演进过程中的架构演化、流程改造与组织协同实践
投稿指引
- 会议主页:https://conf.researchr.org/home/splash-issta-2026/express-2026
- 投稿链接:https://express26.hotcrp.com
- 截稿日期:2026年6月14日
投稿形式: 本届研讨会接收不同类型的论文,包括:
- Full Papers (完整技术论文): 最多 8 页
- Work-in-Progress Papers (研究进展论文):最多 4 页
- Industry & Tool Papers (工业界与工具论文): 最多 4 页
(所有论文必须为英文,使用 ACM Primary Article Template 格式,页数限制不包含参考文献)
组织机构
组织委员会
- 刘圃卓 | 蚂蚁集团
- 贺品嘉 | 香港中文大学(深圳)
- 张洪宇 | 重庆大学
- 南雨宏 | 中山大学
指导委员会
- 狄 鹏 | 蚂蚁集团
- 姜 宇 | 清华大学
- 薛京灵 | 新南威尔士大学 (UNSW)
- 周智泉 | 蔚来汽车
程序委员会
- Yi Chen|University of Hong Kong
- Wenrui Diao|Shandong University
- Cheng Huang|Sichuan University
- Yan Jia|Nankai University
- Siyuan Li|Shandong University
- Hongyu Liu|Huawei
- Yepang Liu|Southern University of Science and Technology
- Yingwei Ma|Alibaba Group
- Sagar Mohan|Northeastern University
- Chuan Qin|Nanyang Technological University
- Xiaoxue Ren|Zhejiang University
- Qingkai Shi|Nanjing University
- Guannan Wei|Tufts University
- Haoran Yang|Sichuan University
- Zhou Yang|University of Alberta
- Mingxi Ye|Sun Yat-sen University
- Juan Zhai|University of Massachusetts at Amherst
- Xiaohan Zhang|Fudan University
EXPRESS 2026 期待您的投稿,相聚旧金山湾区,共话 AI 原生时代的软件研运一体化的未来!
安全学术圈招募队友-ing 有兴趣加入学术圈的请联系 secdr#qq.com
免责声明:
本文所载程序、技术方法仅面向合法合规的安全研究与教学场景,旨在提升网络安全防护能力,具有明确的技术研究属性。
任何单位或个人未经授权,将本文内容用于攻击、破坏等非法用途的,由此引发的全部法律责任、民事赔偿及连带责任,均由行为人独立承担,本站不承担任何连带责任。
本站内容均为技术交流与知识分享目的发布,若存在版权侵权或其他异议,请通过邮件联系处理,具体联系方式可点击页面上方的联系我。
本文转载自:安全学术圈 小编 小编《【征稿】EXPRESS 2026:从云原生到AI原生,重塑软件系统的可解释性与可靠性》
版权声明
本站仅做备份收录,仅供研究与教学参考之用。
读者将信息用于其他用途的,全部法律及连带责任由读者自行承担,本站不承担任何责任。










评论