第三十期 CCF秀湖会议 安全可信编程语言：理论、技术与生态
2025年7月18日-20日
会议日程
7月18日（周五）上午
主题1：安全可信编程语言的未来趋势
| 时间 | 内容 |
|---|---|
| 08:30-09:00 | 开幕式 |
| 致辞: 王怀民 国防科技大学 中国科学院院士 | |
| 致辞: 金芝 北京大学/武汉大学 秀湖会议AC主席 教授 | |
| 致辞: 周代兵 华为开源管理中心 技术专家 | |
| 09:00-09:45 | 特邀报告1：The Quest Toward that Perfect Compiler |
| 特邀嘉宾：苏振东 瑞士苏黎世联邦理工大学 教授 | |
| 09:45-10:30 | 特邀报告2：C*: 计算与验证一体化的系统编程语言 |
| 特邀嘉宾：胡振江 北京大学 教授 | |
| 10:30-10:40 | 茶歇、合影 |
| 10:40-11:25 | 特邀报告3：可信系统编程语言技术发展方向初探 |
| 发言嘉宾：俞一峻 英国开放大学 教授 | |
| 11:25-12:10 | 集中研讨 |
7月18日（周五）下午
主题2：安全可信编程语言生态建设
| 时间 | 内容 |
|---|---|
| 14:00-14:20 | 观点报告1：产学研结合，共建Rust中国生态 |
| 发言嘉宾：周代兵 华为开源管理中心 技术专家 | |
| 14:20-14:40 | 观点报告2：Rust开源生态：协作链，供应链和价值链 |
| 发言嘉宾：周明辉 北京大学 教授 | |
| 14:40-15:00 | 观点报告4：基于Rust语言的操作系统内核关键技术 |
| 发言嘉宾：陈渝 清华大学 副教授 | |
| 15:00-15:20 | 观点报告5：面向Rust生态系统的质量保障及支撑技术研究 |
| 发言嘉宾：冯洋 南京大学 副教授 | |
| 15:20-15:40 | 观点报告3：Asterinas: A Rust-Based Framekernel to Reimagine Linux in the 2020s |
| 发言嘉宾：田洪亮 蚂蚁集团技术研究院 研究员 | |
| 15:40-16:10 | 茶歇 |
| 16:10-17:30 | 分组研讨 |
7月19日（周六）上午
主题3：安全可信编程语言（Rust）关键技术
| 时间 | 内容 |
|---|---|
| 08:30-08:50 | 观点报告6：安全需求描述和验证：一种领域专家友好的DSL |
| 发言嘉宾：金芝 北京大学/武汉大学 教授 | |
| 08:50-09:10 | 观点报告7：Designing Safety-Critical Cyber-Physical System with Correct-by-Construction Manner |
| 发言嘉宾：詹乃军 北京大学 教授 | |
| 09:10-09:30 | 观点报告8：面向Rust生态的形式化验证技术探索与思考 |
| 发言嘉宾：赵永望 浙江大学 教授 | |
| 09:40-10:00 | 观点报告9：从Rust语言局限性看安全可信编程语言的发展 |
| 发言嘉宾：时清凯 南京大学 副教授 | |
| 10:00-10:20 | 观点报告10：Unsafe Rust代码治理 |
| 发言嘉宾：徐辉 复旦大学 副教授 | |
| 10:20-10:40 | 茶歇 |
| 10:40-12:10 | 分组研讨 |
7月19日（周六）下午
主题4：安全可信编程语言的教育
| 时间 | 内容 |
|---|---|
| 14:00-14:10 | 致辞: 柯猛 华为开源管理中心 主任 |
| 14:10-14:30 | 观点报告11：程序设计语言40年研究的反思 |
| 发言嘉宾：徐宝文 南京大学 教授 | |
| 14:30-14:50 | 观点报告12：C2Rust转换方法研究及Rust语言相关课程建设 |
| 发言嘉宾：李弋 复旦大学 讲师 | |
| 14:50-15:10 | 观点报告14：Rust教学上的几个问题及思考 |
| 发言嘉宾：王冬 河南大学 教授 | |
| 15:10-15:20 | 茶歇 |
| 15:20-19:30 | 户外交流研讨 |
7月20日（周日）上午
专题5：基于大模型的开发工具链技术
| 时间 | 内容 |
|---|---|
| 08:30-08:50 | 观点报告15：从“瑞士军刀”到“智能基建”：基于大模型的软件开发工具链 |
| 发言嘉宾：谢晓园 武汉大学 教授 | |
| 08:50-09:10 | 观点报告16：低资源程序语言的智能化软件工程实践挑战 |
| 发言嘉宾：夏鑫 浙江大学 教授 | |
| 09:10-09:30 | 观点报告17：Rust不安全调用的健全性研究 |
| 发言嘉宾：胡星 浙江大学 副教授 | |
| 09:30-09:50 | 观点报告18：领域知识融合的可信代码生成 |
| 发言嘉宾：高翠芸 哈尔滨工业大学（深圳） 教授 | |
| 09:50-10:10 | 茶歇 |
| 10:10-12:10 | 分组研讨 |
7月20日（周日）下午
研讨：安全可信编程语言关键方向与挑战
| 时间 | 内容 |
|---|---|
| 14:00-15:30 | 集中研讨 |
| 15:30-16:00 | 会议总结 |
特邀嘉宾
| 王怀民 | 国防科技大学 | 中国科学院院士 |
| 苏振东 | 瑞士苏黎世联邦理工 | 教授 |
| 柯 猛 | 华为开源管理中心 | 主任 |
| 胡振江 | 北京大学 | 教授 |
参会嘉宾
| 冯 洋 | 南京大学 | 副教授 |
| 陈 渝 | 清华大学 | 副教授 |
| 高翠芸 | 哈尔滨工业大学（深圳） | 教授 |
| 胡 星 | 浙江大学 | 副教授 |
| 金 芝 | 北京大学/武汉大学 | 教授 |
| 李 弋 | 复旦大学 | 讲师 |
| 时清凯 | 南京大学 | 副教授 |
| 田洪亮 | 蚂蚁集团技术研究院 | 研究员 |
| 王 冬 | 河南大学 | 教授 |
| 谢晓园 | 武汉大学 | 教授 |
| 徐辉 | 复旦大学 | 副教授 |
| 俞一峻 | 英国开放大学 | 教授 |
| 詹乃军 | 北京大学 | 教授 |
| 赵永望 | 浙江大学 | 教授 |
| 周代兵 | 华为开源管理中心 | 技术专家 |
| 周明辉 | 北京大学 | 教授 |
会议执行主席
| 徐宝文 | 南京大学 | 教授 |
| 夏鑫 | 浙江大学 | 教授 |
会议工作人员
| 高志鹏 | 浙江大学 | 研究员 |
| 余 啸 | 浙江大学 | 助理研究员 |
特邀嘉宾介绍
 | 王怀民，国防科技大学教授，中国科学院院士，中国计算机学会会士。长期从事分布计算领域研究和人才培养，在分布计算模型、技术与平台方面做出系统性和创造性工作，为我国分布计算核心关键技术自主创新，为国家和军队网络信息系统建设和发展做出突出贡献。作为第一完成人，获国家技术发明二等奖1次、国家科技进步二等奖2次，作为重要贡献者获得国家科技进步特等奖1次，国家教学成果二等奖2次。 |
 | 苏振东，苏黎世联邦理工学院（ETH Zurich）计算机科学系的教授。在此之前，他曾是加州大学戴维斯分校（UC Davis）计算机科学的正教授，并担任Chancellor's Fellow。他致力于推动软件方面的基础性与实用性创新。他的研究涵盖编程语言与编译器、软件工程、计算机安全、深度学习以及教育技术等领域。他曾在多个国际会议中担任重要职务，包括担任 ISSTA和 ESEC/FSE 的指导委员会成员，ACM TOSEM的副编辑，SAS 2009的共同主席，ISSTA 2012的程序主席，以及 SIGSOFT FSE 2016 的程序共同主席。他是欧洲科学院（Academia Europaea）院士、ACM Fellow、IEEE Fellow，并被授予ACM杰出演讲者称号（ACM Distinguished Speaker）。 |
 | 胡振江，北京大学讲席教授、计算机学院院长。1996年在日本东京大学获得博士学位。曾担任东京大学信息理工学研究科教授和日本国立信息学研究所教授/系主任。长期从事程序设计语言和软件科学与工程的研究，曾获全日本最佳博士论文奖、日本软件科学会基础研究成就奖，21世纪先驱科学家（日本科学技术振兴机构）、日本工学会会士、日本工程院院士、欧洲科学院院士、IEEE会士。 |
 | 柯猛，资深华为软件工程专家，从无到有建设了华为的安全技术研究队伍和软件工程研究队伍，当前担任华为开源管理中心主任，是华为Rust能力建设的总负责人。 |
参会嘉宾介绍
 | 陈渝 国防科学技术大学本硕博毕业，清华大学计算机系长聘副教授，博导，清华大学计算机系软件所副所长，MIT EECS访问学者，中国计算机学会系统软件专委常务委员，中国汽车工程学会基础软件分会副主任委员，国家智能网联汽车创新中心“车用操作系统与泛在操作系统联合实验室”首席科学家。主要研究方向包括操作系统与新型硬件，编程语言相结合的系统架构，性能优化与安全可靠性分析等。先后负责和参与了国家自然科学基金项目、863项目、核高基项目、科技部重点专项等，获得国家科技进步二等奖一次和省部级一等奖三次。发表高水平学术论文六十余篇，担任国内外有影响力学术会议的主席和程序委员会委员等。曾获教育部-华为“智能基座”优秀教师奖、中国高校计算机专业优秀教师奖等。 |
 | 冯洋，南京大学计算机学院副教授。研究方向为软件质量保障，具体研究课题包括复杂软件系统的质量保障技术，基于程序设计语言的软件质量保障等。近年来已发表相关论文40余篇，其中包括ICSE、FSE、ASE、ISSTA、TSE、TOSEM等CCF-A类期刊与会议发表学术论文30余篇，并于2022年ASE、2023年FSE、2023年Internetware大会获杰出论文奖、2024年获华为火花奖。申请发明专利多项，部分专利成果已经在百度、阿里、华为等知名软件公司转化；担任多个期刊审稿人及国际会议程序委员会成员。 |
 | 高翠芸，哈尔滨工业大学（深圳校区）计算机科学与技术学院教授，哈工大青年拔尖人才。主要研究方向为智能化软件工程和软件可靠性。博士毕业于香港中文大学，其后分别在香港中文大学和新加坡南洋理工大学做博士后。近年来在TSE、TOSEM、ICSE、FSE、ASE等会议和期刊上发表论文100余篇，荣获若干项会议杰出论文奖如ICSE 2025、ICSE 2024、ASE2023等，指导学生获得IEEE ACAIT2022最佳学生论文奖。 |
 | 胡星，浙江大学软件学院副教授，CCF高级会员。主要研究方向为智能化软件工程，程序理解，软件仓库挖掘。在TOSEM、TSE、ICSE、ASE、和FSE等高水平会议和期刊上发表论文50余篇。担任TOSEM，JSEP期刊编委。主持国家自然科学基金专项培育项目，参与国家重点研发计划等多个科研项目。获得FSE 2025 ACM SIGSOFT Distinguished Paper Award, ICSE 2024 ACM SIGSOFT Distinguished Paper Award，MSR 2024 ACM SIGSOFT Distinguished Paper Award，ICPC 2018 ACM SIGSOFT Distinguished Paper Award。担任FORGE2024和Internetware2023程序委员会主席，担任国际级顶级期刊（TSE、TOSEM）审稿人，受邀担任国际会议ASE，ICSE、FSE、ISSTA的程序委员会成员。 |
 | 金芝，CCF / IEEE / AAIA会士，北京大学教授，武汉大学弘毅客座特聘教授。研究方向：软件需求工程方法学，领域知识驱动的多Agent需求工程，面向软件系统工程的人工智能。在IEEE T-KDE、T-SE、ACM T-OSEM和T-CHI等国际权威期刊以及ICSE、FSE、ASE、ACL和RE等国际知名会议上发表300多篇学术论文，五次获得ACM SIGSOFT杰出论文奖。出版著作五部，并拥有30多项授权发明专利。 |
 | 李弋，复旦大学计算与智能创新学院教师。主要的研究方向为程序分析和计算机系统结构，主要讲授课程包括计算机系统基础、程序设计语言原理和程序分析。 |
 | 时清凯，南京大学计算机学院副教授、博导，国家级高层次青年人才，2020年于香港科技大学获得博士学位，曾任源伞科技联合创始人、蚂蚁集团技术专家、普渡大学博士后研究员。目前主要从事程序设计语言及软件安全技术研究，研究成果广泛发表于PLDI、OOPSLA、ICSE、FSE、SP、CCS等程序设计语言、软件工程、网络安全领域CCF A类会议或期刊，曾获ACM SIGSOFT或SIGPLAN杰出论文奖4次、Google论文奖、Hong Kong PhD Fellowship，曾三次参与中国软件大会软件原型竞赛均获一等奖。 |
 | 田洪亮博士是蚂蚁集团技术研究院操作系统方向的负责人，在Rust编程和内核开发方面有丰富的经验。他发起的Occlum项目，是业界最早的基于Rust的OS开源项目，已发展成可信执行环境中最流行的library OS。他首创基于Rust的框内核OS架构，并领导开发了业界首个框内核，即星绽（Asterinas）项目。他曾就职于英特尔中国研究院，博士毕业于清华大学。 |
 | 王冬，河南大学教授，硕士生导师，中国计算机学会高级会员、信息系统专委、教育专委委员。主要研究方向为人工智能安全与隐私保护、区块链等。主持或参与国家、省部级科研及教改项目20余项。负责河南省一流课程、课程思政示范课程、产教融合课程、专创融合课程等多门课程的建设工作。荣获河南省教学标兵称号，河南省教学技能竞赛一等奖。 |
 | 谢晓园，武汉大学教授、博导，武汉大学珞珈青年学者，武汉大学特色化示范性软件学院副院长，外国优秀青年学者研究基金获得者。主要研究方向为蜕变测试、软件缺陷定位、智能软件工程等。主持一项国家重点研发计划课题、三项国家自然科学基金面上项目、CCF-智谱大模型创新基金等。提出了国际上首个基于蜕变测试的智能软件测试方法，解决了此类软件不可测试的问题，曾被软工顶刊 IEEE TSE 评为全球蜕变测试领域十大代表性研究者之一，获ICST2025十年最具影响力Journal First论文奖；在频谱缺陷定位方面建立了首个理论分析模型，彻底解决了该领域的最优公式设计难题。在软件工程顶级或知名期刊会议上录用论文50余篇。曾获NASAC青年软件创新奖、ACM SigEvo HUMIES银奖、ACM SigSoft Distinguished Paper Award（3次）、湖北省科技进步一等奖、QSIC最佳论文奖。参与了四项软件测试国家标准的制订，均已实施。担任FCS青年AE、JSS客座编辑、历任IEEE/ACM 蜕变测试研讨会PC Chair。担任包括CCF A类会议ASE、ICSE在的多个国际会议PC members，以及包括CCF A类期刊TSE、TOSEM在内的多个国际知名期刊审稿人。 |
 | 徐辉，复旦大学计算与智能创新学院副教授，长期从事程序分析和软件可靠性研究，在该领域的重要国际学术会议和期刊发表多篇和Rust程序分析相关的论文，获得ACM SIGSOFT杰出论文、IEEE ISSRE候选最佳论文、上海市计算机学会自然科学奖等荣誉。担任上海市普适计算和嵌入式软件专委会副主任，曾任DSN 2021大会宣传主席、DSML 2021会议主席、ISSRE 2024 Fast Abstract Track主席等职务。 |
 | 俞一峻，英国开放大学软件工程教授。他的研究聚焦于利用自动化技术提升软件工程师及其所开发软件产物的性能。他现任《Software Quality Journal》期刊的副主编，是英国计算机学会（BCS）需求工程专家组主席，并在多个国际会议中担任程序委员会成员，包括软件工程（FSE、ICSE）、需求工程（RE、CAiSE、ER）、软件维护与演化（ICSME、CSMR、SANER、ICPC）、安全（ESSoS）以及物联网（WF-IoT）等领域。作为项目负责人，他主持了多个与NATS、华为、IBM、CA公司、RealTelekom的知识转移项目。他在需求驱动的自适应系统研究方面取得了广泛影响，获得了包括CASCON 2016十年最具影响力论文奖、6项最佳论文奖（SEAMS’18、iRENIC’16、TrustCom’14、EICS’13、VMPDP’01）、3项杰出论文奖（RE’11、BCS’08、ASE’07）、1项最佳工具演示论文奖（RE’13）以及1项最佳学生论文奖（PDCS’02）等诸多学术荣誉。 |
 | 詹乃军，北京大学计算机学院博雅特聘教授，国家杰出青年科学基金获得者。之前，为中科院软件所研究员，中科院特聘研究员，中国科学院大学岗位教授，计算机科学国家重点实验室执行主任。分别在南京大学数学系（1989-1993）和南京大学计算机系（1993-1996）获得学士和硕士学位，在中国科学院软件研究所获得博士学位（1997-2000）。研究方向包括：形式化方法，实时、嵌入式、混成系统，程序验证等。任《Journal of Automated Reasoning》、《Formal Aspects of Computing》、《J. of Logical and Algebraic Methods in Programming》、《Research Direction: Cyber-Physical Systems》、《软件学报》、《计算机研究与发展》《电子学报》、《前瞻科技》等期刊编委，国际会议MEMOCODE和SETTA的指导委员会委员，多个国际会议程序委员会共同主席（如形式化方法旗舰会议FM 2021）和著名国际会议程序委员会委员（如CAV、RTSS、HSCC、ICCPS、EMSOFT等）；在著名国际会议和杂志发表论文150多篇，出版专著2部，编著4部，国际国内著名杂志专刊7辑等。现任CCF形式化方法专委主任。 |
 | 赵永望，浙江大学 教授/博士生导师，移动终端安全技术浙江省工程研究中心主任，浙江省天目山实验室理事会理事，工信部重大专项项目首席科学家，中国计算机学会(CCF)杰出会员。主要研究方向为系统安全、形式化验证、编程语言、嵌入式操作系统等，主持/参与国家重点研发计划课题、国家自然科学基金重点项目、工信部重大专项、载人航天工程重点项目等三十余项，获省部级科技进步一等奖2项，相关成果发表在ACM TOPLAS、TOSEM、IEEE TDSC等期刊和OOPSLA、CAV、FM等会议上。牵头承担了多个国产/开源操作系统的形式化验证项目和CC信息安全EAL认证项目，获得了国内第一批软件最高安全等级EAL5+认证证书。 |
 | 周代兵，华为开源管理中心专家，负责拓展和推进rust在国内的应用和发展。 |
 | 周明辉，北京大学博雅特聘教授，计算机学院副院长，中国计算机学会开源发展委员会副主任。主要研究兴趣是软件数据分析、智能系统和开源数字社会学。在软件工程和人机交互顶级期刊和会议TSE、TOSEM、ICSE、FSE和CSCW等发表100多篇论文。多次获ACM SIGSOFT杰出论文奖。主持开发的木兰宽松许可证MulanPSL被33万+开源项目采纳。两次获国家技术发明二等奖，一次北京市科技进步一等奖。多次担任软件工程国际顶级会议ICSE、FSE和ASE的PC，是ASE 2024的PC Co-Chair等，是著名国际期刊TSE、EMSE、ASE Journal等的编委。 |
会议执行主席介绍
 | 徐宝文，南京大学教授。国家杰出青年科学基金获得者，华为-南京大学软件新技术联合实验室主任，中国计算机学会会士、信息系统专委会荣誉主任，软件工程专委会与信息系统专委会资深委员，江苏省海联教育基金会副理事长兼秘书长。1980年代初开始并坚持从事程序设计语言及相关领域的研究，是我国程序分析、软件测试领域研究的主要开拓者，发表论文500多篇，被引15000余次，作为第一完成人获得省部级科学技术（科技进步、自然科学）一等奖四次，所培养的多名学生先后获得全国百篇优秀博士论文、CCF青年科学家等奖项。 |
 | 夏鑫，浙江大学计算机学院的求是特聘教授。他曾担任华为技术有限公司软件工程应用技术实验室的首席专家及主任。他的研究兴趣包括AI和软工、以及经验软件工程。夏鑫获得了16项最佳或杰出论文奖，其中包括在ASE（2018-2021）、ICPC（2018、2020）、FSE（2025）、ICSE（2024）和MSR（2024）上获得的九项ACM SIGSOFT杰出论文奖。为表彰他在职业生涯早期的贡献，他于2022年获得了ACM SIGSOFT Early Career Researcher Award 。夏鑫因其在经验软件工程和AI4SE领域的贡献而被评为ACM Distinguished Member。夏鑫是CCF软件工程专委会常委，CCF杰出会员，担任多个会议的指导委员会成员，包括MSR、SANER、Internetware和PROMISE。他参与组织了多个重要国际会议，如ICSE（2023-2025）和ASE（2020-2021）。他担任（或曾担任）ICSME 2026、SANER 2023、TechDebt 2023和PROMISE 2021的程序委员会联席主席，以及Internetware 2023和FORGE（2024-2025）的大会联席主席。此外，夏鑫还是多个知名软件工程期刊的编委，包括TOSEM、EMSE、ASEJ和JSEP。 |
会议工作人员介绍
 | 高志鹏，浙江大学上海高等研究院研究员，浙江大学平台百人研究员，入选上海市启明星扬帆计划。近年来在TSE, TOSEM，ICSE, FSE, ASE, ISSTA上发表CCF-A类论文二十余篇，获得2023年软件工程顶级会议ASE Industry Challenge Track杰出论文奖(Distinguished Paper Award)，获得Intertware2023杰出委员会委员奖(Distinguished PC Award)，担任包括TSE、TOSEM、EMSE以及FSE、APSEC、MSR、Internetware等多个期刊审稿人以及会议PC。 |
 | 余啸，浙江大学区块链与数据安全全国重点实验室专职研究员。近年来在TSE, TOSEM, ISSTA, ASE等期刊会议上发表多篇论文，担任包括TOSEM, TDSE，APSEC，Internetware等多个期刊审稿人和会议PC。 |
京公网安备 11010802032778号