【2025CCF中国开源大会】Rust与开源技术分论坛重磅来袭！共建Rust语言与生态的未来

开源技术正从软件延展至更广泛的领域，而Rust作为近年来发展迅猛的编程语言，不仅在安全性与性能上实现了突破，还凭借其独特的开源社区和生态系统，成为现代软件开发领域的明星！从系统编程到Web开发，从嵌入式应用到区块链技术，Rust正在重塑技术版图。如何把握Rust生态的技术优势？如何推动Rust与开源技术的深度融合？

2025CCF中国开源大会设立“Rust与开源技术”分论坛，汇聚学界代表、产业领袖、技术先锋，围绕Rust语言发展，编译器优化，生态建设，教育经验等核心议题，共同推进新一代可信系统程序设计语言的发展！

论坛亮点抢先看

顶级嘉宾阵容：

华为、蚂蚁集团、VIVO、复旦大学、北京邮电大学等专家嘉宾齐聚，分享最前沿洞见。

紧贴产业趋势：

聚焦基于Rust程序设计语言的发展，关注操作系统、容器系统、语言生态等热点话题，直击行业痛点。

圆桌深度碰撞：

60分钟圆桌论坛，讨论Rust程序设计语言发展的机遇

论坛主旨

开源技术的浪潮持续推动技术革新，Rust作为一门兼具高性能与内存安全的现代编程语言，自问世以来便广受开发者青睐。近年来，Rust生态在系统开发、Web应用、嵌入式系统等多个领域快速发展，并在全球开源社区中占据重要一席。然而，Rust生态的持续壮大仍面临技术推广、工具链完善、社区发展等多层次挑战。本论坛将围绕Rust与开源技术的结合展开深入探讨，聚焦编程语言创新、开源项目实践以及Rust社区生态的建设与发展，旨在为技术从业者提供启发，为Rust生态的未来发展凝聚智慧与共识。

发起人使命

推动中国Rust语言及生态发展

陈渝

清华大学计算机系长聘副教授，博导，MIT访问学者，CCF系统软件专委常务委员，开源发展委员会委员。主要研究方向包括操作系统，编译原理，程序分析，系统可靠性与性能优化等。

徐辉

复旦大学计算与智能创新学院副教授，长期从事程序分析和软件可靠性研究，在该领域的重要国际学术会议和期刊发表多篇和Rust程序分析相关的论文，获得ACM SIGSOFT杰出论文、IEEE ISSRE候选最佳论文、上海市计算机学会自然科学奖等荣誉。担任上海市普适计算和嵌入式软件专委会副主任，曾任DSN 2021大会宣传主席、DSML 2021会议主席、ISSRE 2024 Fast Abstract Track主席等职务。

冯洋

南京大学计算机学院准聘副教授，博导，CCF开源发展委员会委员，研究方向为复杂软件系统质量保障，具体研究课题包括复杂软件系统的质量保障技术，基于程序设计语言的软件质量保障等。近年来以通讯或一作发表相关论文40余篇，其中包括ICSE、FSE、ASE、ISSTA、TSE、TOSEM等CCF-A类期刊与会议发表学术论文30余篇，并于2022年ASE，2023年FSE大会，2023年Internetware大会获杰出论文奖，华为火花奖等奖项。

议程速览

嘉宾与报告介绍

Yijun Yu

英国开放大学软件工程学教授，研究致力于探索自动化技术，以期提升软件工程师的工作效率和他们所开发的软件制品的性能。他现任Software Quality Journal的副主编、英国计算机学会（BCS）需求工程专家组主席，并在多个国际会议的程序委员会中担任委员，这些会议涵盖软件工程（FSE, ICSE）、需求工程（RE, CAiSE, ER）、软件维护与演化（ICSME, CSMR, SANER, ICPC）、安全（ESSoS）以及物联网（WF-IoT）等领域。作为首席研究员，他牵头管理了与NATS、华为、IBM、CA、RealTelekom等多家机构的合作项目。

如何让Rust语言相关研究

满足系统编程实践的诉求

从编程语言、软件工程和系统工程的学术顶会顶刊，我们看到近年来涌现了越来越多Rust语言方面的论文。这些研究工作的很多成果对于系统编程很有指导意义。当我们把系统编程实践活动打开来看，还有哪些诉求是当前研究尚未很好地解决，需要我们一起攻关。这个分享抛砖引玉，希望能够引起一些讨论与思考。

陈凌云

2009年毕业于西安电子科技大学，十六年手机终端行业工作经验，vivo操作系统高级总监，负责vivo蓝河操作系统；同时也是vivo开源专家、OSPO成员，并担任开放原子开源基金会孵化项目hapjs项目导师。

蓝河操作系统开源探索与实践

蓝河操作系统（BlueOS）是 vivo 面向通用人工智能时代自研的智慧操作系统，具有天生更智慧、天生更流畅、天生更安全的核心特性；BlueOS从系统框架到内核全部使用Rust语言构建。本次报告将介绍BlueOS的定位、理念以及核心特性，分享vivo在使用Rust语言构建BlueOS（包括自研内核）过程中的思考与实践，阐释vivo开源BlueOS自研内核的初心和愿景，探索以开源方式开放共建，汇聚开源力量，推动Rust生态繁荣与发展。

夏鑫

浙江大学计算机学院的求是特聘教授，曾担任华为技术有限公司软件工程应用技术实验室的首席专家及主任。他的研究兴趣包括AI和软工、以及经验软件工程。他于2022年获得了ACM SIGSOFT Early Career Researcher Award ，并因其在经验软件工程和AI4SE领域的贡献而被评为ACM Distinguished Member。他是CCF软件工程专委会常委，CCF杰出会员，担任多个会议的指导委员会成员和程序委员会联席主席，还是多个知名软件工程期刊的编委。

低资源程序语言的智能化软件工程：

以Rust为例

当前Rust作为一种安全可信编程语言越来越引起业界的广泛关注和应用。但是其历史短以及开发难度高等因素，导致其积累的软件语料数量不足，从而影响了构建面向Rust的智能化软件工程工具。本次报告主要关注如何面向低资源程序语言如Rust构建基于大模型的代码生成、测试生成以及代码分析等软件工程实践于挑战，进而探索如何针对低资源程序语言构建专有智能化软件工程能力。

田洪亮

蚂蚁集团技术研究院操作系统方向的负责人，在Rust编程和内核开发方面有丰富的经验。他发起的Occlum项目，是业界最早的基于Rust的OS开源项目，已发展成可信执行环境中最流行的library OS。他在业界首创基于Rust的框内核OS架构，并领导开发了业界首个框内核——星绽（Asterinas）开源项目。他曾就职于英特尔中国研究院，博士毕业于清华大学。

Asterinas: A Rust-Based Framekernel to Reimagine Linux in the 2020s

数十年来，C语言一直是操作系统内核开发的事实标准，但其内存安全机制的缺失导致了持续存在的安全漏洞。Rust语言虽凭借强大的安全保障和零成本抽象特性成为极具吸引力的替代方案，但仅使用Rust并不能确保操作系统的内存安全。本次演讲将介绍Asterinas——一个用安全Rust编写、兼容Linux应用二进制接口（ABI）的操作系统内核及其支撑架构框架内核（framekernel）。通过将非安全代码隔离在名为OSTD的、经过严格验证的特权框架中，并使用安全Rust构建内核其余部分，Asterinas在保持高性能和兼容性的同时，实现了精简且可靠的可信计算基（TCB）。OSTD与Asterinas项目已在GitHub开源：https://github.com/asterinas/asterinas。

马全一

华为技术有限公司操作系统/容器专家､ Rust 编程语⾔专家､开源⽣态专家、前腾讯 12 级产品经理专家。曾参与多个国内外开源基⾦会的筹建，有丰富的开源社区运营治理经验｡

Rust 编程语⾔开源⽣态趋势研究报告

Rust 编程语⾔以内存安全的核⼼理念逐渐成为最受开发者喜爱的编程语⾔: 并在业界掀起 Rust 重写⼀切的浪潮｡在以 Rust 编程语⾔为核⼼成⽴了 Rust Foundation 后: 被 Google､ AWS､ Microsoft 等业界头部公司逐渐在基础设施采⽤: Rust 编程语⾔的⽣态得到了⻓⾜发展｡本次演讲将分析 Rust 编程语⾔⽣态发展的原因，未来发展⽅向以及⾯临的问题｡

张业鸿

复旦大学博士生，师从吴俊教授和徐辉副教授。主要研究课题为基于代码合成的Rust代码库缺陷分析。

RuMono：针对Rust泛型的缺陷检测

作为现代系统编程语言，Rust提供了强大的泛型和trait系统为开发者提供了高度的抽象能力。然而，强大的泛型系统同时也为现有的缺陷检测工具制造了挑战。例如，现有的fuzz driver合成方法通常将泛型API忽略或简化为非泛型形式处理，从而限制了分析的全面性。在报告中，我将分享我们提出的一种针对Rust中泛型API的单态化方法。该方法可以为泛型API自动产生满足类型约束（trait bound）的多个单态化版本，从而允许对泛型API进行全面，多样的缺陷检测分析。该方法首先通过构建泛型API的依赖图推导API可达性，搜索库中可达且合法的单态API；随后，提出一种基于相似度的过滤机制用于去除相似的单态API，降低测试代价。我们还开发了fuzz driver自动合成工具RuMono，以评估我们的方法。

李弘宇

北京邮电大学二年级在读博士生，是Rust双内核操作系统RROS的maintainer，曾在ATC/WWW/IOTJ等会议/期刊上发表过论文，获得ATC best paper award，参与过Rust-for-Linux/Kata/openEuler等多个开源项目。

Rust OS中的跨语言交互问题

在Rust OS开发的过程中，开发者经常会面临新内核驱动生态不足的问题，其中一个解决方案是在使用Rust开发内核的同时，复用已有的C语言驱动。而这就需要进行C和Rust的跨语言交互，但在经典的cbindgen工具中，Rust中特有的基本类型都是以裸指针/Typedef的形式传递，难以操作，并且不能够利用到Rust提供的安全性保障。所以我们提出了一个生成Rust专有类型在C端的bindings的工具，该工具可以在固定的Rust ABI前提下，提升Rust和C的交互能力，并且提供一定的边界安全检查。

大会现已开启注册报名通道，欢迎大家踊跃报名！

报名网址：https://ccf.org.cn/2025COSC

报名二维码：

大会时间： 2025年8月2日-3日

大会地点：中国上海西岸国际会展中心（上海市徐汇区龙耀路7号）

主办单位：中国计算机学会（CCF）

承办单位：CCF开源发展委员会、上海交通大学

CCF中国开源大会

由中国计算机学会主办的2025 CCF中国开源大会（CCF ChinaOSC）拟于2025年8月2日-3日在上海召开。本届大会以“蓄势引领、众行致远”为主题，由中国科学院院士、上海交通大学校长丁奎岭院士和中国科学院院士、CCF开源发展委员会主任王怀民院士共同担任大会主席，上海交通大学陈海波教授、重庆大学文俊浩教授担任执行主席。本届大会将依托上海国际化创新生态与科技产业集聚优势，汇聚郑纬民、陈左宁等院士，以及金海、陈云霁、包云岗、胡欣蔚等多位来自高校/企业的开源领军人物（更多嘉宾正在确定中），共同探索开源操作系统、开源芯片、开源大模型、开源具身智能等关键领域的前沿发展。通过开放协作与跨界融合，激发技术创新活力，推动产业数字化升级，为数字经济发展注入新动能。

作为中国开源领域的年度盛会，大会诚挚地邀请开源领域学术界、企业界、教育界的学者、从业者、师生等前来参会，共见中国开源新征程！

往期推荐

CCF ODC

CCF开源发展委员会(CCF ODC)秉承创新、开放、协作、共享的理念和价值观，聚焦打造自身开源的新型开源创新服务平台，培育孵化原始创新的开源项目，培养开源创新实践人才。依托CCF链接科教资源、产业资源和社会资源等，形成产、学、研、用联动的开源创新模式，探索由学术共同体主导的开源发展新路径，为中国计算机学会会员乃至全球开源创新实践者提供高水平服务，助力开源生态建设。

点击阅读原文进入官网