第三十期CCF秀湖会议在苏州CCF业务总部&学术交流中心成功举办。来自学术界与工业界的二十余位专家学者齐聚一堂，围绕 “安全可信编程语言：理论、技术与生态” 主题展开深度研讨与思想碰撞。本次会议的报告与讨论覆盖安全可信编程语言的未来趋势、生态建设、关键技术、教育实践及基于大模型的开发工具链技术等多个维度，最终就该领域的关键发展方向与核心挑战达成系列共识。
▲部分与会专家合影▲
本次秀湖会议于2025年7月18日至20日召开，会议为期三天，就“安全可信编程语言：理论、技术与生态”进行深入交流与探讨。会议特别邀请了瑞士苏黎世联邦理工大学苏振东教授、北京大学胡振江教授、英国开放大学俞一峻教授作特邀报告，20余位领域知名专家出席会议（名单附后）。中国科学院院士、国防科技大学王怀民教授，秀湖会议AC主席、北京大学/武汉大学金芝教授、华为开源管理中心技术专家周代兵及华为开源管理中心主任柯猛在开幕式上致辞。本次会议由南京大学徐宝文教授和浙江大学夏鑫教授担任会议执行主席。
-01-
特邀报告 | 开宗明义
▲苏振东教授作特邀报告▲
瑞士苏黎世联邦理工大学苏振东教授以“The Quest Toward that Perfect Compiler”为题带来了本次会议的第一个特邀报告。苏振东教授从新颖性（conceptual）、技术性（technical）、实用性（practical）三个维度，系统介绍了当前构建完美编译器的最新研究进展；随后，进一步从智能化规则（intelligent heuristics）、交互性设计（interactive design）、以及通用性优化策略（universal optimizer）等方面，阐述了迈向 “完美编译器” 的可能路径与方向。
▲胡振江教授作特邀报告▲
北京大学胡振江教授带来了“C*：计算与验证一体化的系统编程语言” 特邀报告。胡振江教授指出当前软件开发中程序开发与验证分离的问题，导致验证门槛高、成本大。报告介绍了其团队研发的C*系统编程语言，该语言将开发、规约与验证相融合，让开发者能像写普通程序一样完成证明，降低了形式化验证难度。
▲俞一峻教授作特邀报告▲
英国开放大学俞一峻教授带来了“可信系统编程语言技术发展方向初探”特邀报告。俞一峻教授从内存安全是系统软件核心挑战这一现状谈起，介绍了 Rust 在预防内存安全漏洞方面的显著效果。他通过多个实际应用案例展示，Rust 在保障系统安全的同时，部分场景下的性能表现甚至优于传统编程语言，体现了其在系统开发领域的潜力与价值。
-02-
专题分享 | 精彩纷呈
本次会议设置了安全可信编程语言生态建设、关键技术、教育实践，以及基于大模型的开发工具链技术等专题论坛。每个专题均安排了若干观点报告与分组研讨。嘉宾们既分享了自身研究进展，也畅谈了对未来发展的思考。报告内容同时涵盖学术界的前沿技术和产业界的实践分享，引发了与会专家的积极讨论。
专题一：安全可信编程语言的生态建设
左右滑动查看更多
左起：周代兵、周明辉、陈渝、冯洋、田洪亮
专题二：安全可信编程语言（Rust）的关键技术
左右滑动查看更多
左起：金芝、詹乃军、赵永望、时清凯、徐辉
专题三：安全可信编程语言的教育
左右滑动查看更多
左起：徐宝文、李弋、王冬
专题四：基于大模型的开发工具链技术
左右滑动查看更多
左起：谢晓园、夏鑫、胡星、高翠芸
-03-
赏湖健步 | 姑苏风光
本次会议还组织了户外嘉宾自由交流环节。与会嘉宾们在风景如画的阳澄湖畔漫步，在欣赏自然美景的同时继续展开深度对话，围绕安全可信编程语言的教育等问题展开了热烈讨论。
-04-
思想汇聚 | 求同存异
本期会议执行主席：徐宝文、夏鑫
在会议最后，与会嘉宾围绕本次会议主题展开总结研讨，一方面在会议讨论基础上梳理总结并凝聚共识，另一方面就如何共同推动安全可信编程语言的理论、技术与生态发展，形成了初步共识。
CCF将持续推进相关话题的讨论与总结，请持续关注CCF的后续报道。
秀湖会议是CCF全新打造的小型精品国际学术讨论会品牌，借鉴德国达堡研讨会（Dagstuhl Seminars）、日本湘南会议模式，旨在深入探讨计算机相关领域的科学、技术、应用、教育和产业等问题，为未来计算技术的发展和应用提供新思路和新建议。每个研讨会均针对某一个具体的前沿问题讨论交流为主，仅限发起人邀请的一线专家参与，不对外开放，会期3天以上，要求参会者全程参会，不能中途离会，引导科学家、企业技术专家及教育专家在浮躁的社会中沉下心来钻研学术。
特邀嘉宾
王怀民 国防科技大学
苏振东 瑞士苏黎世联邦理工大学
柯 猛 华为开源管理中心
胡振江 北京大学
参会嘉宾（姓氏拼音排序）
陈 渝 清华大学
冯 洋 南京大学
高翠芸 哈尔滨工业大学（深圳）
胡 星 浙江大学
金 芝 北京大学/武汉大学
李 弋 复旦大学
时清凯 南京大学
田洪亮 蚂蚁集团技术研究院
王 冬 河南大学
谢晓园 武汉大学
徐 辉 复旦大学
俞一峻 英国开放大学
詹乃军 北京大学
赵永望 浙江大学
周代兵 华为开源管理中心
周明辉 北京大学
会议执行主席
徐宝文 南京大学
夏 鑫 浙江大学
会议工作人员
高志鹏 浙江大学
余 啸 浙江大学
秀湖会议年度合作单位OPPO、腾讯，金牌合作单位联想研究院及本期会议合作单位华为对本期会议给予了大力支持。
CCF秀湖会议主题预告：
CCF欢迎更多会员和业界专家关注和申请秀湖会议。
联系邮箱：bls@ccf.org.cn
