Day 1: Sep. 7, 2024 +08:00
08:00
09:00
Check In 签到
主会场
09:00
09:10
人人可用的 Rust
Speaker: Rebecca Rumbul
Speaker Intro: Rust 基金会执行董事兼首席执行官， OpenUK 董事会成员， OpenSSF 管理委员会成员
This talk will discuss how the Rust Foundation is investing in engineering and promotional work to ensure that Rust is useful, productive and secure for everyone. 本次分享将介绍 Rust 基金会如何投资于工程和推广工作，以确保 Rust 对所有人来说都是有用、高效且安全的。
Speaker Intro: Rust 基金会执行董事兼首席执行官， OpenUK 董事会成员， OpenSSF 管理委员会成员
This talk will discuss how the Rust Foundation is investing in engineering and promotional work to ensure that Rust is useful, productive and secure for everyone. 本次分享将介绍 Rust 基金会如何投资于工程和推广工作，以确保 Rust 对所有人来说都是有用、高效且安全的。
09:15
09:45
携手共建繁荣的 Rust OS 内核软件生态
Speaker: 田洪亮
Speaker Intro: 田洪亮博士是蚂蚁研究院操作系统方向的负责人， 在Rust编程和内核开发方面有丰富的经验，荣获OS2ATC'24颁发的开源创新先锋奖。 他发起的Occlum项目，是业界最早的Rust OS开源项目， 已发展成可信执行环境中最流行的library OS，荣登中科协发布的"科创中国"开源创新榜单。 曾就职于Intel Labs China，博士毕业于清华大学。
Rust语言以其高效、安全和生产力被视为系统编程，尤其是OS编程的未来。 但在开发OS内核时，存在频繁使用unsafe、缺乏Cargo支持、以及可重用的no_std crates不足等痛点。 星绽开源社区提出了星绽Framework和星绽OSDK，提供强大的safe API和开发工具链， 使得Rust内核开发更加安全、高效，并促进了no_std crates的复用与组合，旨在提升开发者生产力并推动Rust生态的繁荣。
Speaker Intro: 田洪亮博士是蚂蚁研究院操作系统方向的负责人， 在Rust编程和内核开发方面有丰富的经验，荣获OS2ATC'24颁发的开源创新先锋奖。 他发起的Occlum项目，是业界最早的Rust OS开源项目， 已发展成可信执行环境中最流行的library OS，荣登中科协发布的"科创中国"开源创新榜单。 曾就职于Intel Labs China，博士毕业于清华大学。
Rust语言以其高效、安全和生产力被视为系统编程，尤其是OS编程的未来。 但在开发OS内核时，存在频繁使用unsafe、缺乏Cargo支持、以及可重用的no_std crates不足等痛点。 星绽开源社区提出了星绽Framework和星绽OSDK，提供强大的safe API和开发工具链， 使得Rust内核开发更加安全、高效，并促进了no_std crates的复用与组合，旨在提升开发者生产力并推动Rust生态的繁荣。
09:50
10:20
用 Rust 构建高性能的生成式 AI 应用
Speaker: 王宇博
Speaker Intro: 王宇博，现任亚马逊云科技大中华区开发者关系总监、首席布道师，致力于新一代信息技术与创新在开发者中的布道推广，以及开发者生态体系的建设。
生成式AI技术在自然语言处理和图像生成领域快速发展。对于Rust开发者来说，利用Rust的高性能特性构建高效、可靠的生成式AI应用至关重要。本次演讲将深入探讨在Rust中开发生成式AI应用的实践方法， 分析其在数值计算和并发编程中的优势，并分享确保应用可靠性和安全性的最佳实践，帮助开发者掌握构建高性能生成式AI应用的技巧。
Speaker Intro: 王宇博，现任亚马逊云科技大中华区开发者关系总监、首席布道师，致力于新一代信息技术与创新在开发者中的布道推广，以及开发者生态体系的建设。
生成式AI技术在自然语言处理和图像生成领域快速发展。对于Rust开发者来说，利用Rust的高性能特性构建高效、可靠的生成式AI应用至关重要。本次演讲将深入探讨在Rust中开发生成式AI应用的实践方法， 分析其在数值计算和并发编程中的优势，并分享确保应用可靠性和安全性的最佳实践，帮助开发者掌握构建高性能生成式AI应用的技巧。
10:25
10:55
Rust 程序的不同链接方式在交易系统中的典型应用
Speaker: 乔丹
Speaker Intro: 非凸科技首席架构师，负责非凸智能算法交易在线策略服务。毕业于北京大学，从业以来在高性能分布式系统的架构设计、 开发和应用领域持续投入和积累。近年来，在量化行业高性能业务系统中持续应用并推广Rust语言。
本次分享将以非凸智能交易系统为背景，介绍 Rust 项目的基础概念和不同链接方式（如 lib、rlib、cdylib）的实际应用。讨论这些链接方式在代码私密性、运行性能、工具链和部署灵活性方面的折中。 内容专注于非凸的 Rust 实践，不涉及 rustc 实现细节或未来的 Rust stable ABI 发展，适合各水平的 Rust 开发者参加。
Speaker Intro: 非凸科技首席架构师，负责非凸智能算法交易在线策略服务。毕业于北京大学，从业以来在高性能分布式系统的架构设计、 开发和应用领域持续投入和积累。近年来，在量化行业高性能业务系统中持续应用并推广Rust语言。
本次分享将以非凸智能交易系统为背景，介绍 Rust 项目的基础概念和不同链接方式（如 lib、rlib、cdylib）的实际应用。讨论这些链接方式在代码私密性、运行性能、工具链和部署灵活性方面的折中。 内容专注于非凸的 Rust 实践，不涉及 rustc 实现细节或未来的 Rust stable ABI 发展，适合各水平的 Rust 开发者参加。
11:00
11:30
字节跳动在 Rust 服务端方向的实践与思考
Speaker: 吴迪
Speaker Intro: 吴迪，字节跳动服务框架 Rust 负责人，负责字节跳动 Rust 生态建设与推广落地。
字节跳动三年前开始投资 Rust 服务端开发，构建了内部生态并开源核心框架 Volo。现在已在多个业务线成功落地，规模国内最大，收益超预期。本次分享将介绍选择 Rust 的原因、落地心得及未来技术趋势的思考。
Speaker Intro: 吴迪，字节跳动服务框架 Rust 负责人，负责字节跳动 Rust 生态建设与推广落地。
字节跳动三年前开始投资 Rust 服务端开发，构建了内部生态并开源核心框架 Volo。现在已在多个业务线成功落地，规模国内最大，收益超预期。本次分享将介绍选择 Rust 的原因、落地心得及未来技术趋势的思考。
11:35
12:05
调试Rust应用程序的技巧和窍门
Speaker: Vitaly Bragilevsky
Speaker Intro: Vitaly Bragilevsky 是 JetBrains 的开发者布道师。他在大学教授超过十几种编程语言和其他计算机科学课程超过20年。 他是《Haskell in Depth》一书的作者，该书于2021年由 Manning 出版社出版。 目前，他致力于 RustRover，这是 JetBrains 专门为 Rust 开发的 IDE，并通过利用工具的强大功能帮助开发者高效地开发 Rust 应用程序。
调查显示，Rust 社区主要使用 printf 式调试，这种方法需要频繁重新编译和筛选大量输出。相比之下，Rust 提供了强大的交互式调试工具，支持复杂调试技术，如检查挂起程序、修改变量、回溯、评估表达式等。 本次讲座将介绍从基础到高级的交互式调试技术和实用技巧，帮助您高效调试 Rust 代码，使调试过程更流畅和富有启发性。
Speaker Intro: Vitaly Bragilevsky 是 JetBrains 的开发者布道师。他在大学教授超过十几种编程语言和其他计算机科学课程超过20年。 他是《Haskell in Depth》一书的作者，该书于2021年由 Manning 出版社出版。 目前，他致力于 RustRover，这是 JetBrains 专门为 Rust 开发的 IDE，并通过利用工具的强大功能帮助开发者高效地开发 Rust 应用程序。
调查显示，Rust 社区主要使用 printf 式调试，这种方法需要频繁重新编译和筛选大量输出。相比之下，Rust 提供了强大的交互式调试工具，支持复杂调试技术，如检查挂起程序、修改变量、回溯、评估表达式等。 本次讲座将介绍从基础到高级的交互式调试技术和实用技巧，帮助您高效调试 Rust 代码，使调试过程更流畅和富有启发性。
12:05
13:20
Lunch Time 午餐时间
分论坛：AI 应用与大模型
13:30
14:00
扣子 AI 平台 Rust 实践
Speaker: 刘博洋
Speaker Intro: 刘博洋，字节跳动 Flow 部门安全架构师，前华为云首席信息安全专家。
扣子平台的认证和访问控制微服务全面使用Rust开发，代码量接近10万行，性能、覆盖率和稳定性均表现优异，bug率极低。我们采用OAS3.0标准定义API，并使用OpenAPI Generator生成auxm框架的Rust代码， 确保实现符合规范。同时，引入wirkmock和testcontainer等技术，降低测试用例开发成本。这些技术的综合运用不仅提高了开发效率，还显著提升了系统的可靠性和可维护性。
Speaker Intro: 刘博洋，字节跳动 Flow 部门安全架构师，前华为云首席信息安全专家。
扣子平台的认证和访问控制微服务全面使用Rust开发，代码量接近10万行，性能、覆盖率和稳定性均表现优异，bug率极低。我们采用OAS3.0标准定义API，并使用OpenAPI Generator生成auxm框架的Rust代码， 确保实现符合规范。同时，引入wirkmock和testcontainer等技术，降低测试用例开发成本。这些技术的综合运用不仅提高了开发效率，还显著提升了系统的可靠性和可维护性。
14:05
14:35
LlamaEdge: 面向开发者的轻量级、跨平台大模型基础设施
Speaker: 刘鑫
Speaker Intro: 刘鑫，LlamaEdge 和 WasmEdge 开源项目 Maintainer
LlamaEdge是一款针对大型模型推理的轻量级基础软件。它支持多种AI加速器，具备跨平台部署能力，并兼容OpenAI API规范，同时支持定制化。安全性方面，LlamaEdge利用沙盒特性提供保障。 通过结合Rust、WebAssembly和LLM技术，LlamaEdge助力开发者在AGI时代以低成本、快速构建和部署AI应用。
Speaker Intro: 刘鑫，LlamaEdge 和 WasmEdge 开源项目 Maintainer
LlamaEdge是一款针对大型模型推理的轻量级基础软件。它支持多种AI加速器，具备跨平台部署能力，并兼容OpenAI API规范，同时支持定制化。安全性方面，LlamaEdge利用沙盒特性提供保障。 通过结合Rust、WebAssembly和LLM技术，LlamaEdge助力开发者在AGI时代以低成本、快速构建和部署AI应用。
14:40
15:10
大模型推理引擎 InfiniLM
Speaker: 王豪杰
Speaker Intro: 王豪杰，清华大学助理研究员，主要在人工智能编译器和高性能计算领域开展研究工作，相关成果发表于OSDI、ATC、PPoPP 等相关领域内顶级国际会议和期刊，获得了ICS 2021最佳学生论文奖和TPDS 2022 最佳论文亚军。曾获清华大学优秀博士后、ACM SIGHPC China 优博奖等荣誉。
本议题将介绍 GitHub 上的开源大模型推理引擎项目 InfiniLM 及其衍生模块。本项目除少量加速器相关代码外，采用全 Rust 实现，支持在多种加速硬件上实现安全、高效的大模型推理。
Speaker Intro: 王豪杰，清华大学助理研究员，主要在人工智能编译器和高性能计算领域开展研究工作，相关成果发表于OSDI、ATC、PPoPP 等相关领域内顶级国际会议和期刊，获得了ICS 2021最佳学生论文奖和TPDS 2022 最佳论文亚军。曾获清华大学优秀博士后、ACM SIGHPC China 优博奖等荣誉。
本议题将介绍 GitHub 上的开源大模型推理引擎项目 InfiniLM 及其衍生模块。本项目除少量加速器相关代码外，采用全 Rust 实现，支持在多种加速硬件上实现安全、高效的大模型推理。
15:15
15:45
Rust 在 MPS 能源网络中的应用
Speaker: Jason Thon
Speaker Intro: Jason Thon，GGSN 创始团队成员，曙光云技术负责人
新能源汽车的快速增长和新能源趋势给电网带来挑战，电力结构不均衡导致供需错配，新能源汽车补能困难，充电桩等主流补能手段盈利困难。然而，这也为新型能源补给市场带来机遇。 MPS 是一款创新产品，通过软硬件技术和商业模式创新，构建移动能源网络，解决能源供需结构性矛盾。本议题将介绍 MPS 云技术团队如何基于 Rust 和其生态打造 MPS 能源网络的底座， 为上层商业化产品快速迭代提供坚实基础。
Speaker Intro: Jason Thon，GGSN 创始团队成员，曙光云技术负责人
新能源汽车的快速增长和新能源趋势给电网带来挑战，电力结构不均衡导致供需错配，新能源汽车补能困难，充电桩等主流补能手段盈利困难。然而，这也为新型能源补给市场带来机遇。 MPS 是一款创新产品，通过软硬件技术和商业模式创新，构建移动能源网络，解决能源供需结构性矛盾。本议题将介绍 MPS 云技术团队如何基于 Rust 和其生态打造 MPS 能源网络的底座， 为上层商业化产品快速迭代提供坚实基础。
15:45
16:05
茶歇
16:05
16:35
Rust 加速构建边缘 LLM 应用
Speaker: 朱震东
Speaker Intro: 朱震东，足下科技的Rust开发工程师，负责AI工具链相关研发工作。
Rust在边缘计算中部署大规模语言模型（LLM）具有独特优势，如高性能、快速加载和推理能力。Rust从系统语言到应用语言的转变，使其在AI领域具有巨大潜力，特别是在边缘应用中的高效性和便利性。 分享实际应用中的问题解决方案、遇到的困难与挑战，以及开发过程中的经验，提供实用的建议。
Speaker Intro: 朱震东，足下科技的Rust开发工程师，负责AI工具链相关研发工作。
Rust在边缘计算中部署大规模语言模型（LLM）具有独特优势，如高性能、快速加载和推理能力。Rust从系统语言到应用语言的转变，使其在AI领域具有巨大潜力，特别是在边缘应用中的高效性和便利性。 分享实际应用中的问题解决方案、遇到的困难与挑战，以及开发过程中的经验，提供实用的建议。
16:40
17:10
Rust AI 生态下的机器学习框架与多层级编译技术
Speaker: 鲍国庆、石恒
Speaker Intro: 鲍国庆毕业于悉尼大学计算机科学学院，获信息技术硕士与计算机博士学位， 现任燧原科技高级研究员，负责人工智能框架与国产芯片的适配及研发工作， 先后入选上海市浦江人才计划、上海市白玉兰青年项目，近期参与了多个知名Rust AI开源项目开发。 石恒，燧原科技研究工程师，上海交通大学博士后。博士本科毕业于清华大学电子工程系，获英国巴斯大学计算机博士学位， 长期从事Rust与国产芯片相关研发工作，现任职于上海交通大学，入选2022年上海市启明星计划。
此次分享将围绕机器学习框架与机器学习编译技术，分别介绍近期我们在Rust平台下的开发与研究进展，以及在此过程中遇到的多种 Rust 特性，包括Rust Bindings，FFI 映射、跨语言开发、Stream/Event特性、 异步编程、并行编译、Serde反序列化等。这些语言和编程平台特性极大简化了项目开发难度并提升了开发效率。得益于 Rust 的诸多特性，我们不仅在机器学习编译方面取得了新的研究进展， 同时在Rust 开源项目 Candle-vLLM下实现了与 vLLM + Pytorch性能相当的并行推理能力。
Speaker Intro: 鲍国庆毕业于悉尼大学计算机科学学院，获信息技术硕士与计算机博士学位， 现任燧原科技高级研究员，负责人工智能框架与国产芯片的适配及研发工作， 先后入选上海市浦江人才计划、上海市白玉兰青年项目，近期参与了多个知名Rust AI开源项目开发。 石恒，燧原科技研究工程师，上海交通大学博士后。博士本科毕业于清华大学电子工程系，获英国巴斯大学计算机博士学位， 长期从事Rust与国产芯片相关研发工作，现任职于上海交通大学，入选2022年上海市启明星计划。
此次分享将围绕机器学习框架与机器学习编译技术，分别介绍近期我们在Rust平台下的开发与研究进展，以及在此过程中遇到的多种 Rust 特性，包括Rust Bindings，FFI 映射、跨语言开发、Stream/Event特性、 异步编程、并行编译、Serde反序列化等。这些语言和编程平台特性极大简化了项目开发难度并提升了开发效率。得益于 Rust 的诸多特性，我们不仅在机器学习编译方面取得了新的研究进展， 同时在Rust 开源项目 Candle-vLLM下实现了与 vLLM + Pytorch性能相当的并行推理能力。
17:15
17:45
Rust 在内容资产管理系统的应用
Speaker: 丁鑫栋
Speaker Intro: 丁鑫栋，特赞科技 CTO，GenDAM.ai 项目核心开发者。20+年全栈开发经验，曾就职于微软和 Amadeus 法国研发中心，目前在特赞科技负责 DAM 产品研发和 Muse 创新业务，专注于内容资产管理系统的开发， 以及内容处理、检索和生成等核心技术的构建。
本议题探讨Rust在构建内容资产管理系统（DAM）中的应用，利用Rust的高性能特性，实现内容处理框架，支持云端和本地设备上的内容存储、处理和检索。 通过预处理、特征提取、信息提取等，生成多种维度的索引，构建跨平台应用。议题分享技术选型、实现细节和优化策略，比较开源框架优势，本地和云端推理的不同场景和优缺点， 以及Rust在内容科技领域应用开发的优势。
Speaker Intro: 丁鑫栋，特赞科技 CTO，GenDAM.ai 项目核心开发者。20+年全栈开发经验，曾就职于微软和 Amadeus 法国研发中心，目前在特赞科技负责 DAM 产品研发和 Muse 创新业务，专注于内容资产管理系统的开发， 以及内容处理、检索和生成等核心技术的构建。
本议题探讨Rust在构建内容资产管理系统（DAM）中的应用，利用Rust的高性能特性，实现内容处理框架，支持云端和本地设备上的内容存储、处理和检索。 通过预处理、特征提取、信息提取等，生成多种维度的索引，构建跨平台应用。议题分享技术选型、实现细节和优化策略，比较开源框架优势，本地和云端推理的不同场景和优缺点， 以及Rust在内容科技领域应用开发的优势。
分论坛：Rust高性能实践
13:30
14:00
GreptimeDB Edge - 基于 Rust 的嵌入式时序数据库
Speaker: 杨颖文
Speaker Intro: 杨颖文：GreptimeDB 核心开发者，现就职于格睿科技
GreptimeDB设计为可从边缘端扩展至云基础设施的时序数据库。本次分享将重点介绍将GreptimeDB scale down至边缘端设备时所遇到的挑战及解决方案，包括资源占用优化、 基于共享内存的IPC机制设计以及Flash存储的擦写性能优化等内容。
Speaker Intro: 杨颖文：GreptimeDB 核心开发者，现就职于格睿科技
GreptimeDB设计为可从边缘端扩展至云基础设施的时序数据库。本次分享将重点介绍将GreptimeDB scale down至边缘端设备时所遇到的挑战及解决方案，包括资源占用优化、 基于共享内存的IPC机制设计以及Flash存储的擦写性能优化等内容。
14:05
14:35
以 Rust 构筑云计算的新引擎
Speaker: 郑予彬
Speaker Intro: 郑予彬，超过20年ICT行业和数字化转型实践积累，18年的架构师经验。现任亚马逊云科技资深开发者布道师，专注于AWS云原生、云安全以及生成式AI的市场内容创建及推广。AWS首位专注于开发者的女性技术布道者，活跃在全球中文开发者社区。
在当今云计算领域,性能和安全性是推动技术进步的关键因素。Rust语言以其卓越的内存安全和并发处理能力,正在成为云计算开发的理想选择。本次演讲将分享使用Rust构建高效微服务架构,以及在AWS Lambda、Fargate等无服务器计算中的应用。并展望Rust在云计算领域的发展趋势,探讨如何通过Rust推动云计算技术创新。
Speaker Intro: 郑予彬，超过20年ICT行业和数字化转型实践积累，18年的架构师经验。现任亚马逊云科技资深开发者布道师，专注于AWS云原生、云安全以及生成式AI的市场内容创建及推广。AWS首位专注于开发者的女性技术布道者，活跃在全球中文开发者社区。
在当今云计算领域,性能和安全性是推动技术进步的关键因素。Rust语言以其卓越的内存安全和并发处理能力,正在成为云计算开发的理想选择。本次演讲将分享使用Rust构建高效微服务架构,以及在AWS Lambda、Fargate等无服务器计算中的应用。并展望Rust在云计算领域的发展趋势,探讨如何通过Rust推动云计算技术创新。
14:40
15:10
基于 Rust 打造高效且可靠的多模态数据库
Speaker: 徐天
Speaker Intro: 徐天，枫清科技（Fabarta）查询引擎研发专家，目前负责枫清科技（Fabarta）图数据库查询引擎的研发，主要研究数据库查询引擎及优化器方向。 曾就职于星环科技，Scala 转 Rust，热爱 Rust 和数据库技术。
在数据驱动的时代，多模态数据库能支持多种数据模型，解决复杂数据管理需求。Rust语言因其高性能、内存安全和并发处理能力，成为构建高效数据库系统的理想选择。 本次演讲将详细介绍如何利用Rust实现高效且可靠的图数据库语句查询。
Speaker Intro: 徐天，枫清科技（Fabarta）查询引擎研发专家，目前负责枫清科技（Fabarta）图数据库查询引擎的研发，主要研究数据库查询引擎及优化器方向。 曾就职于星环科技，Scala 转 Rust，热爱 Rust 和数据库技术。
在数据驱动的时代，多模态数据库能支持多种数据模型，解决复杂数据管理需求。Rust语言因其高性能、内存安全和并发处理能力，成为构建高效数据库系统的理想选择。 本次演讲将详细介绍如何利用Rust实现高效且可靠的图数据库语句查询。
15:15
15:45
基于 SIMD 的高性能 JSON 库 sonic-rs
Speaker: 刘强
Speaker Intro: 刘强，字节跳动研发工程师。目前从事框架组件的开发维护工作，主要工作是参与高性能 JSON 库sonic的研发和维护。
sonic-rs是一个基于SIMD优化的高性能JSON库，支持解析、序列化、查找修改和按需解析等。在字节内部的rust生态中得到大量落地。 本topic将主要介绍sonic-rs JSON库及其性能优化技巧，包括如何用SIMD实现高效的按需解析、优化浮点数解析和提高序列化性能等。
Speaker Intro: 刘强，字节跳动研发工程师。目前从事框架组件的开发维护工作，主要工作是参与高性能 JSON 库sonic的研发和维护。
sonic-rs是一个基于SIMD优化的高性能JSON库，支持解析、序列化、查找修改和按需解析等。在字节内部的rust生态中得到大量落地。 本topic将主要介绍sonic-rs JSON库及其性能优化技巧，包括如何用SIMD实现高效的按需解析、优化浮点数解析和提高序列化性能等。
15:45
16:05
茶歇
16:05
16:35
构建 Apache Arrow 的高扩展性嵌入式存储引擎
Speaker: 郭子兴
Speaker Intro: 郭子兴，奇绩创坛23年秋季被投企业创始人，正在使用 Rust 创业。
通过Rust的杀手级应用 Datafusion，数据密集型应用能快速集成SQL查询引擎。但许多应用需自建存储引擎，能否构建高扩展性、高效的存储引擎？ 本 talk将介绍如何用Rust的lifetime、异步接口和类型系统，安全高效地实现基于Arrow的嵌入式存储引擎。
Speaker Intro: 郭子兴，奇绩创坛23年秋季被投企业创始人，正在使用 Rust 创业。
通过Rust的杀手级应用 Datafusion，数据密集型应用能快速集成SQL查询引擎。但许多应用需自建存储引擎，能否构建高扩展性、高效的存储引擎？ 本 talk将介绍如何用Rust的lifetime、异步接口和类型系统，安全高效地实现基于Arrow的嵌入式存储引擎。
16:40
17:10
foyer：使用混合缓存轻松增强基于 S3 的存储引擎
Speaker: 孟爻
Speaker Intro: 孟爻，分布式存储研发工程师。Hybrid Cache 库 foyer 作者。曾参与 RisingWave、TiKV 等数据库存储引擎研发。 主要从事分布式键值存储引擎研发与系统性能优化。
foyer 是一个使用 Rust 语言编写的混合缓存库，能够高效管理内存缓存与闪存缓存的数据，优化使用对象存储的存储引擎的性能，并降低对象存储的访问成本。 本 talk 将介绍 foyer 混合缓存库及其应用，以及 RisingWave 等系统如何使用 foyer 降低 90% 的 S3 访问成本。
Speaker Intro: 孟爻，分布式存储研发工程师。Hybrid Cache 库 foyer 作者。曾参与 RisingWave、TiKV 等数据库存储引擎研发。 主要从事分布式键值存储引擎研发与系统性能优化。
foyer 是一个使用 Rust 语言编写的混合缓存库，能够高效管理内存缓存与闪存缓存的数据，优化使用对象存储的存储引擎的性能，并降低对象存储的访问成本。 本 talk 将介绍 foyer 混合缓存库及其应用，以及 RisingWave 等系统如何使用 foyer 降低 90% 的 S3 访问成本。
分论坛：嵌入式与操作系统
13:30
14:00
Occlum LibOS 异步网络框架 - IO_Uring 工程实践
Speaker: 李泽寰
Speaker Intro: 李泽寰：现任蚂蚁集团高级开发工程师，毕业于上海交通大学，主要从事机密计算、 操作系统内核等相关领域的研究与开发工作，是Occlum / Rust SGX SDK 开源项目的核心开发者， 同时也是Occlum Spark 方案的主要贡献者。
Occlum 是蚂蚁集团开发的 TEE 操作系统，旨在让普通应用获得机密计算能力。Intel SGX 硬件特性提供了可信执行环境 TEE，但其IO性能存在瓶颈，因为执行IO操作需要进行额外的内存拷贝和上下文切换。为解决这一问题，Occlum采用了IO_Uring技术，并在其基础上设计了一套异步网络框架，支持异步和同步网络系统调用，无需修改现有应用程序代码即可提升性能。
Speaker Intro: 李泽寰：现任蚂蚁集团高级开发工程师，毕业于上海交通大学，主要从事机密计算、 操作系统内核等相关领域的研究与开发工作，是Occlum / Rust SGX SDK 开源项目的核心开发者， 同时也是Occlum Spark 方案的主要贡献者。
Occlum 是蚂蚁集团开发的 TEE 操作系统，旨在让普通应用获得机密计算能力。Intel SGX 硬件特性提供了可信执行环境 TEE，但其IO性能存在瓶颈，因为执行IO操作需要进行额外的内存拷贝和上下文切换。为解决这一问题，Occlum采用了IO_Uring技术，并在其基础上设计了一套异步网络框架，支持异步和同步网络系统调用，无需修改现有应用程序代码即可提升性能。
14:05
14:35
利用 Embassy 模块化硬件产品
Speaker: 陈昱衡
Speaker Intro: 陈昱衡，鹿仔科技创始人兼CTO
Embassy依托Rust将异步特性引入了单片机编程中，相对传统的开发方式有着诸多优势。 本次分享将通过几个产品（模块）的例子介绍Rust和Embassy在不同类型产品中的应用，以及如何利用Embassy模块化产品开发。
Speaker Intro: 陈昱衡，鹿仔科技创始人兼CTO
Embassy依托Rust将异步特性引入了单片机编程中，相对传统的开发方式有着诸多优势。 本次分享将通过几个产品（模块）的例子介绍Rust和Embassy在不同类型产品中的应用，以及如何利用Embassy模块化产品开发。
14:40
15:10
OS 训练营的教学演进和人才培养
Speaker: 李明
Speaker Intro: 李明，清华大学开源操作系统社区负责人
本次讲座旨在总结回顾清华大学开源操作系统训练营过去五年的发展历程，特别是其在智能汽车、AI 大模型、智能硬件等前沿领域的合作拓展。同时，通过数据分析与案例解读的方式，深入剖析最新训练营平台 opencamp.cn 的学员情况及学习路线。重点介绍清华大学 OS 训练营 2024 的内容安排，包括课程设置、教学目标、实践环节及预期成果，并详细阐述如何借助训练营有效提升学员操作系统的理论知识与开发技能。此外，正式推出 “十城百校” 计划和 “卓越人才” 培养计划，搭建起高校教育与企业需求之间的人才桥梁。最后，展望训练营的人才培养目标，致力于为开源社区输送更多优秀人才。
Speaker Intro: 李明，清华大学开源操作系统社区负责人
本次讲座旨在总结回顾清华大学开源操作系统训练营过去五年的发展历程，特别是其在智能汽车、AI 大模型、智能硬件等前沿领域的合作拓展。同时，通过数据分析与案例解读的方式，深入剖析最新训练营平台 opencamp.cn 的学员情况及学习路线。重点介绍清华大学 OS 训练营 2024 的内容安排，包括课程设置、教学目标、实践环节及预期成果，并详细阐述如何借助训练营有效提升学员操作系统的理论知识与开发技能。此外，正式推出 “十城百校” 计划和 “卓越人才” 培养计划，搭建起高校教育与企业需求之间的人才桥梁。最后，展望训练营的人才培养目标，致力于为开源社区输送更多优秀人才。
15:15
15:45
定制Rust标准库实践：在ARM TrustZone (OP-TEE) 平台构建Rust开发环境
Speaker: 庄园
Speaker Intro: 庄园，CertiK Skyfall团队安全研究员，主要研究方向为TEE和Web3安全。 作为Apache Teaclave（Incubating）开源社区的PPMC和Apache Teaclave（Incubating）TrustZone SDK项目的主要维护者， 她积极推动Rust在机密计算的应用和开源社区建设。
本次演讲以OP-TEE平台为例，探讨了在资源和功能受限的系统上为开发者提供Rust开发环境的挑战和经验。 演讲将介绍如何利用系统原生能力定制Rust标准库，扩宽应用开发的可能性，并分享在实现过程中遇到的具体问题及解决方案。
Speaker Intro: 庄园，CertiK Skyfall团队安全研究员，主要研究方向为TEE和Web3安全。 作为Apache Teaclave（Incubating）开源社区的PPMC和Apache Teaclave（Incubating）TrustZone SDK项目的主要维护者， 她积极推动Rust在机密计算的应用和开源社区建设。
本次演讲以OP-TEE平台为例，探讨了在资源和功能受限的系统上为开发者提供Rust开发环境的挑战和经验。 演讲将介绍如何利用系统原生能力定制Rust标准库，扩宽应用开发的可能性，并分享在实现过程中遇到的具体问题及解决方案。
15:45
16:05
茶歇
16:05
16:35
基于 Rust 构建高性能安全的开源 EDA 工具
Speaker: 陶思敏
Speaker Intro: 陶思敏，鹏城实验室工程师，数字芯片设计开源EDA平台iEDA团队研发人员，拥有多年的EDA工具开发经验，致力于为开源社区做出新的贡献。
iEDA项目是一个开源的数字电子设计自动化（EDA）研发平台，旨在提供一个开放的基础底座和后端工具。 2023年，iEDA开始使用Rust语言开发部分文件解析模块和点工具，并与C++混合编程，集成到整个芯片后端物理设计工具链中。 Rust的使用使得代码管理更加模块化，并有助于将模块贡献到开源社区，解决了编译依赖问题，并提升了部分模块的性能。
Speaker Intro: 陶思敏，鹏城实验室工程师，数字芯片设计开源EDA平台iEDA团队研发人员，拥有多年的EDA工具开发经验，致力于为开源社区做出新的贡献。
iEDA项目是一个开源的数字电子设计自动化（EDA）研发平台，旨在提供一个开放的基础底座和后端工具。 2023年，iEDA开始使用Rust语言开发部分文件解析模块和点工具，并与C++混合编程，集成到整个芯片后端物理设计工具链中。 Rust的使用使得代码管理更加模块化，并有助于将模块贡献到开源社区，解决了编译依赖问题，并提升了部分模块的性能。
16:40
17:10
RMK：使用Rust语言构建高性能键盘固件
Speaker: 顾浩波
Speaker Intro: 顾浩波，RMK 作者，Rust嵌入式开源贡献者，毕业于清华大学&UW，曾就职于阿里云、达摩院，同时是硬件开发者、Rust爱好者
RMK是一个使用Rust语言构建的高性能开源键盘固件库，支持多种芯片如stm32、nRF、esp32、rp2040等，并实现了蓝牙+USB双模支持。 本次演讲通过构建键盘固件的实例，介绍了Rust在嵌入式场景中的应用，包括相关工具、优缺点等，并分享了使用Rust进行嵌入式开发的经验。
Speaker Intro: 顾浩波，RMK 作者，Rust嵌入式开源贡献者，毕业于清华大学&UW，曾就职于阿里云、达摩院，同时是硬件开发者、Rust爱好者
RMK是一个使用Rust语言构建的高性能开源键盘固件库，支持多种芯片如stm32、nRF、esp32、rp2040等，并实现了蓝牙+USB双模支持。 本次演讲通过构建键盘固件的实例，介绍了Rust在嵌入式场景中的应用，包括相关工具、优缺点等，并分享了使用Rust进行嵌入式开发的经验。
Day 2: Sep. 8, 2024 +08:00
08:00
09:00
Check In 签到
主会场
09:05
09:35
Rust 标准库介绍以及嵌入式场景应用
Speaker: 王江桐
Speaker Intro: 王江桐，就职于华为，目前正在使用 Rust 开发相关模块。
介绍 Rust 标准库结构、标准库编译和语言自举过程；介绍 Rust 在嵌入式场景下所需要适配内容，以及当前 Rust 嵌入式领域应用情况
Speaker Intro: 王江桐，就职于华为，目前正在使用 Rust 开发相关模块。
介绍 Rust 标准库结构、标准库编译和语言自举过程；介绍 Rust 在嵌入式场景下所需要适配内容，以及当前 Rust 嵌入式领域应用情况
09:40
10:10
抖音： 超大规模，抖音直播的 Rust 技术落地实践
Speaker: 赵鹏
Speaker Intro: 赵鹏，抖音直播架构师，Rust 技术负责人
抖音直播自2022年起采用Rust技术栈，显著提升了直播业务的性能和效率。两年内，重构了20多个核心服务，吞吐量提升超100%，节省了16万核CPU资源，多个服务的SLA达到99.9999%。 Rust技术在团队中得到广泛应用，新开发者培训周期缩短至两周，两个月可上线一个Rust服务。抖音直播已成为国内规模最大的Rust技术生产环境落地团队， 本次 talk 将分享抖音从选型、验证、落地、推广到维护的全过程实践经验。
Speaker Intro: 赵鹏，抖音直播架构师，Rust 技术负责人
抖音直播自2022年起采用Rust技术栈，显著提升了直播业务的性能和效率。两年内，重构了20多个核心服务，吞吐量提升超100%，节省了16万核CPU资源，多个服务的SLA达到99.9999%。 Rust技术在团队中得到广泛应用，新开发者培训周期缩短至两周，两个月可上线一个Rust服务。抖音直播已成为国内规模最大的Rust技术生产环境落地团队， 本次 talk 将分享抖音从选型、验证、落地、推广到维护的全过程实践经验。
10:15
10:45
在线途游： RustPixel 开源项目及游戏行业应用
Speaker: 周欣
Speaker Intro: 周欣，在线途游CTO
RustPixel 是一个2D游戏引擎和快速原型制作工具，支持ASCII和Unicode Emoji在终端中的渲染，以及使用SDL2和WebGL在图形界面的渲染。 RustPixel通过游戏循环、Model / Render通用模式和Event机制来支持小游戏和应用的构建，并包含一些常见的游戏算法和工具模块。该项目旨在扩展Rust在游戏公司技术栈中的应用场景。
Speaker Intro: 周欣，在线途游CTO
RustPixel 是一个2D游戏引擎和快速原型制作工具，支持ASCII和Unicode Emoji在终端中的渲染，以及使用SDL2和WebGL在图形界面的渲染。 RustPixel通过游戏循环、Model / Render通用模式和Event机制来支持小游戏和应用的构建，并包含一些常见的游戏算法和工具模块。该项目旨在扩展Rust在游戏公司技术栈中的应用场景。
10:50
11:20
Solana 如何跨過 Quic 這一道坎
Speaker: 李學斌
Speaker Intro: 李學斌，英文名 Ben，Solana 華語區大使。Hetaro Labs - 協同時代實驗室創辦人。20 年經驗電訊系統工程師、擅長通訊協議分析、人機介面、穿戴設備。
Solana 區塊鏈，於今年 2-4 月時，遇到下不了單的情況，正是由於 quic 的實踐方法，需要跟據實況改進，我將在這次討論中， 分享 Solana 決定使用 Quic 的原因，實踐以來的改變、挑戰和應對方法，並突顯 Rust 在快速而安全開發中發揮的作用。
Speaker Intro: 李學斌，英文名 Ben，Solana 華語區大使。Hetaro Labs - 協同時代實驗室創辦人。20 年經驗電訊系統工程師、擅長通訊協議分析、人機介面、穿戴設備。
Solana 區塊鏈，於今年 2-4 月時，遇到下不了單的情況，正是由於 quic 的實踐方法，需要跟據實況改進，我將在這次討論中， 分享 Solana 決定使用 Quic 的原因，實踐以來的改變、挑戰和應對方法，並突顯 Rust 在快速而安全開發中發揮的作用。
11:25
11:55
跨语言智能合约开发: Sails 框架的 Rust 实践与创新
Speaker: 航标
Speaker Intro: 航标，Gear Foundation 开发者关系工程师
本次演讲将探讨Sails框架如何简化WASM智能合约的开发，利用Rust的特性自动生成IDL和多语言客户端代码，实现跨语言智能合约开发。演讲将介绍Sails的核心概念、IDL生成机制和多语言集成， 并通过Fungible Token实例展示Sails如何提高开发效率、减少错误和促进协作。
Speaker Intro: 航标，Gear Foundation 开发者关系工程师
本次演讲将探讨Sails框架如何简化WASM智能合约的开发，利用Rust的特性自动生成IDL和多语言客户端代码，实现跨语言智能合约开发。演讲将介绍Sails的核心概念、IDL生成机制和多语言集成， 并通过Fungible Token实例展示Sails如何提高开发效率、减少错误和促进协作。
12:00
13:20
Lunch Time 午餐时间
分论坛： 网络与云原生
13:30
14:00
基于 Rust 编写下一代实时搜索引擎
Speaker: 曾勇
Speaker Intro: 曾勇，极限科技 / INFINI Labs 创始人& CEO，前 Elastic 亚太区布道师与咨询业务负责人， 目前致力于 ES 国产替代与下一代实时搜索引擎的研究
为了应对客户面对的万亿数据规模和实时数据新鲜度需求，INFINI Labs 团队开发了基于Rust的 INFINI Pizza 搜索引擎。Pizza旨在通过技术创新和优化解决海量数据的伸缩问题， 并利用最新算法和数据结构来提升搜索效率。它能够提供实时数据搜索能力，满足高并发低延迟的核心业务需求，为企业提供可靠的实时搜索基础。
Speaker Intro: 曾勇，极限科技 / INFINI Labs 创始人& CEO，前 Elastic 亚太区布道师与咨询业务负责人， 目前致力于 ES 国产替代与下一代实时搜索引擎的研究
为了应对客户面对的万亿数据规模和实时数据新鲜度需求，INFINI Labs 团队开发了基于Rust的 INFINI Pizza 搜索引擎。Pizza旨在通过技术创新和优化解决海量数据的伸缩问题， 并利用最新算法和数据结构来提升搜索效率。它能够提供实时数据搜索能力，满足高并发低延迟的核心业务需求，为企业提供可靠的实时搜索基础。
14:05
14:35
TiDB Cloud Serverless 的云原生架构进化
Speaker: 闫明
Speaker Intro: 闫明， TiDB Cloud Serverless 存储引擎资深研发工程师，主要负责 Cloud Engine 和 TiFlash Proxy 开发。 前百度、网易资深研发工程师，负责 Redis 等中间件的架构设计和研发。
TiDB Serverless 架构和 TiKV 存储层如何实现 Serverless，实现多租户隔离，单集群支持百万级租户；基于对象存储实现存储层的极致弹性和高可靠性；秒级的实时备份和恢复，保障用户的数据安全；Branching 特性可助力开发者快速迭代；根据用户负载的弹性资源调度，将成本降低到极致；根据用户负载的性能优化等。
Speaker Intro: 闫明， TiDB Cloud Serverless 存储引擎资深研发工程师，主要负责 Cloud Engine 和 TiFlash Proxy 开发。 前百度、网易资深研发工程师，负责 Redis 等中间件的架构设计和研发。
TiDB Serverless 架构和 TiKV 存储层如何实现 Serverless，实现多租户隔离，单集群支持百万级租户；基于对象存储实现存储层的极致弹性和高可靠性；秒级的实时备份和恢复，保障用户的数据安全；Branching 特性可助力开发者快速迭代；根据用户负载的弹性资源调度，将成本降低到极致；根据用户负载的性能优化等。
14:40
15:10
用 Rust 编写基于 DSL 的路由引擎
Speaker: 孙大同
Speaker Intro: 孙大同，是 Kong 网关组的首席工程师 和 Tech Lead，负责维护 Kong Gateway 的开源以及商业版产品。他在网关领域已经有超过 8 年的工作经验。他在 Kong 组也是 Rust 活跃的布道师，并成功的在 Kong 的旗舰产品 - Kong Gateway 中首个提出，设计并实现了基于 Rust 的核心组件并取得了良好的客户和社区反馈。
Kong API Gateway 是世界上最受欢迎的开源 API 网关之一，在 GitHub 上拥有 38000 个 stars 以及大量世界 500 强商业用户。Router 是 Kong Gateway 里最重要的组件之一，负责所有下游用户请求的分发，对性能、质量和稳定性的要求极高。Kong Gateway 3.0 版本里成功引入了基于 Rust 编写的，基于 Kong 团队自行设计的 DSL 实现的全新路由引擎，取得了性能、稳定性以及可维护性的三重提高。本 talk 将分享 Kong 团队对于在成熟开源商业产品里引入 Rust 的心得，取得的成就以及遇到的问题和解决方法。
Speaker Intro: 孙大同，是 Kong 网关组的首席工程师 和 Tech Lead，负责维护 Kong Gateway 的开源以及商业版产品。他在网关领域已经有超过 8 年的工作经验。他在 Kong 组也是 Rust 活跃的布道师，并成功的在 Kong 的旗舰产品 - Kong Gateway 中首个提出，设计并实现了基于 Rust 的核心组件并取得了良好的客户和社区反馈。
Kong API Gateway 是世界上最受欢迎的开源 API 网关之一，在 GitHub 上拥有 38000 个 stars 以及大量世界 500 强商业用户。Router 是 Kong Gateway 里最重要的组件之一，负责所有下游用户请求的分发，对性能、质量和稳定性的要求极高。Kong Gateway 3.0 版本里成功引入了基于 Rust 编写的，基于 Kong 团队自行设计的 DSL 实现的全新路由引擎，取得了性能、稳定性以及可维护性的三重提高。本 talk 将分享 Kong 团队对于在成熟开源商业产品里引入 Rust 的心得，取得的成就以及遇到的问题和解决方法。
15:15
15:45
纯异步血统的Rust QUIC
Speaker: 张鹏
Speaker Intro: 建元科技创始人，前腾讯专家工程师，前苏州月光石网络科技CTO，拥有近十年对等网络研发经验。建元科技关注下一代互联网基础设施，研发融合 AI 智能体、数据主权等先进理念的新一代信息技术，加速下一代互联网的到来。
QUIC协议是下一代互联网的重要传输协议，它不仅具备TCP的可靠传输特性，还融合了密钥升级、连接ID管理、抗放大攻击、路径管控、连接迁移、多路复用、流状态机、BBR等复杂机制。这些机制相互影响，使得QUIC在安全和网络性能方面考虑周到。异步Rust的异步抽象使得QUIC的实现更加流畅，本次分享将展示如何使用Rust处理QUIC的复杂细节。建元科技将继续改进gm-quic开源项目，提供最优秀的QUIC协议实现。
Speaker Intro: 建元科技创始人，前腾讯专家工程师，前苏州月光石网络科技CTO，拥有近十年对等网络研发经验。建元科技关注下一代互联网基础设施，研发融合 AI 智能体、数据主权等先进理念的新一代信息技术，加速下一代互联网的到来。
QUIC协议是下一代互联网的重要传输协议，它不仅具备TCP的可靠传输特性，还融合了密钥升级、连接ID管理、抗放大攻击、路径管控、连接迁移、多路复用、流状态机、BBR等复杂机制。这些机制相互影响，使得QUIC在安全和网络性能方面考虑周到。异步Rust的异步抽象使得QUIC的实现更加流畅，本次分享将展示如何使用Rust处理QUIC的复杂细节。建元科技将继续改进gm-quic开源项目，提供最优秀的QUIC协议实现。
15:45
16:05
茶歇
16:05
16:35
RobustMQ - 下一代高性能云原生融合型消息队列
Speaker: 许文强
Speaker Intro: 许文强，字节跳动离线消息队列研发负责人，前腾讯云消息队列 Kafka 技术负责人，极客时间《深入拆解消息队列 47 讲》的专栏作者，技术书籍 《基础软件之路: 企业级实践与开源战略》的联合作者，Apache Kafka/RocketMQ/Pulsar Contributor。精通业界主流消息队列，常年活跃于消息队列和 Serverless 相关开源社区。在消息队列和 Serverless 领域有着深厚的技术储备。
RobustMQ 的愿景是成为下一代高性能云原生融合型消息队列。目标是基于 Rust 实现可以兼容多种主流消息队列协议、架构上具备完整 Serveless 能力的消息队列。RobustMQ 长期希望支持多协议，并在架构上具备完整的Serverless能力。同时希望能够在适配各种不同的部署场景、部署需求的基础上，在架构上保持简单。以实现更低的部署、运维、使用成本。
Speaker Intro: 许文强，字节跳动离线消息队列研发负责人，前腾讯云消息队列 Kafka 技术负责人，极客时间《深入拆解消息队列 47 讲》的专栏作者，技术书籍 《基础软件之路: 企业级实践与开源战略》的联合作者，Apache Kafka/RocketMQ/Pulsar Contributor。精通业界主流消息队列，常年活跃于消息队列和 Serverless 相关开源社区。在消息队列和 Serverless 领域有着深厚的技术储备。
RobustMQ 的愿景是成为下一代高性能云原生融合型消息队列。目标是基于 Rust 实现可以兼容多种主流消息队列协议、架构上具备完整 Serveless 能力的消息队列。RobustMQ 长期希望支持多协议，并在架构上具备完整的Serverless能力。同时希望能够在适配各种不同的部署场景、部署需求的基础上，在架构上保持简单。以实现更低的部署、运维、使用成本。
16:40
17:10
基于 Rust 构建企业级工作流和函数引擎的经验分享
Speaker: 刘萌
Speaker Intro: 刘萌，先后从事企业应用/微服务架构、大数据基础设施、网络安全和智能运维等领域的设计和研发，Java、Rust工程师，软件架构师，目前工作的技术领域涉及：数据库内核、低代码开发、微服务基础架构、AI智能体
普联软件技术团队基于Rust开发了分布式工作流引擎，集成了V8引擎支持TypeScript在线脚本开发和调试。该引擎在公司业务开发团队中得到广泛应用，用于iPaaS、API网关、微服务治理、AI智能体和RPA等领域。工作流引擎以分布式架构为基础，支持多种算子类型，集成GraphQL和规则引擎，旨在提供高可靠、高性能和可观测性的技术支持。
Speaker Intro: 刘萌，先后从事企业应用/微服务架构、大数据基础设施、网络安全和智能运维等领域的设计和研发，Java、Rust工程师，软件架构师，目前工作的技术领域涉及：数据库内核、低代码开发、微服务基础架构、AI智能体
普联软件技术团队基于Rust开发了分布式工作流引擎，集成了V8引擎支持TypeScript在线脚本开发和调试。该引擎在公司业务开发团队中得到广泛应用，用于iPaaS、API网关、微服务治理、AI智能体和RPA等领域。工作流引擎以分布式架构为基础，支持多种算子类型，集成GraphQL和规则引擎，旨在提供高可靠、高性能和可观测性的技术支持。
分论坛：Rust 特定领域创新应用
13:30
14:00
用 Rust 打造本地优先软件
Speaker: 陈子轩
Speaker Intro: 陈子轩，Loro.dev 创始人，开源爱好者。
本地优先软件（Local-first software）是一组软件设计理念，旨在提供云计算的便利性并兼顾用户对数据的控制权。Loro 是基于 Rust 的开源开发者工具，它能让开发本地优先软件变得轻松简单。本演讲将介绍本地优先的开发范式是什么样的，以及我们是如何使用 Rust 打造 Loro。
Speaker Intro: 陈子轩，Loro.dev 创始人，开源爱好者。
本地优先软件（Local-first software）是一组软件设计理念，旨在提供云计算的便利性并兼顾用户对数据的控制权。Loro 是基于 Rust 的开源开发者工具，它能让开发本地优先软件变得轻松简单。本演讲将介绍本地优先的开发范式是什么样的，以及我们是如何使用 Rust 打造 Loro。
14:05
14:35
全同态加密及在Rust中的应用
Speaker: 严枭
Speaker Intro: 严枭，清华大学博士，密码学专家。主要研究方向为基于零知识证明（ZK）和完全同态加密（FHE）的区块链技术。研究领域涵盖密码学、博弈论、区块链和人工智能。多篇论文发表于IEEE和ACM顶级会议。现任职于Verisense Network，致力于前沿密码学技术的实际应用与创新。
完全同态加密（Fully Homomorphic Encryption, FHE）是密码学领域的突破性进展，允许在不解密数据的情况下对加密数据进行计算。这一特性为安全云计算、隐私保护的数据分析和机密机器学习带来了新的可能性。然而，FHE的广泛应用一直受到其计算复杂性和缺乏易用的实现框架的限制。本次演讲将介绍FHE的基础知识，包括BFV、BGV和CKKS关键框架，以及FHE与WebAssembly的结合。演讲还将探讨阈值密钥共享技术以增强FHE系统的安全性，并介绍基于WebAssembly的虚拟机CoFHE，展示其架构和功能，以及在安全、隐私保护计算中的应用。
Speaker Intro: 严枭，清华大学博士，密码学专家。主要研究方向为基于零知识证明（ZK）和完全同态加密（FHE）的区块链技术。研究领域涵盖密码学、博弈论、区块链和人工智能。多篇论文发表于IEEE和ACM顶级会议。现任职于Verisense Network，致力于前沿密码学技术的实际应用与创新。
完全同态加密（Fully Homomorphic Encryption, FHE）是密码学领域的突破性进展，允许在不解密数据的情况下对加密数据进行计算。这一特性为安全云计算、隐私保护的数据分析和机密机器学习带来了新的可能性。然而，FHE的广泛应用一直受到其计算复杂性和缺乏易用的实现框架的限制。本次演讲将介绍FHE的基础知识，包括BFV、BGV和CKKS关键框架，以及FHE与WebAssembly的结合。演讲还将探讨阈值密钥共享技术以增强FHE系统的安全性，并介绍基于WebAssembly的虚拟机CoFHE，展示其架构和功能，以及在安全、隐私保护计算中的应用。
14:40
15:10
GenUI ：可拆卸底层的 Rust 前端框架
Speaker: 盛逸飞
Speaker Intro: 盛逸飞，21岁，Privoce工程师，GenUI框架作者，Makepad框架贡献者之一，SurrealismUI Slint第三方组件库作者，当前致力于对Robius社区建设，使用Rust进行前端工程实践。
GenUI是一个创新性的Rust前端框架，受到Vue3和Makepad的启发，旨在帮助开发者更高效地使用Rust编写前端项目。它结合了Vue3的组件化思想、Makepad的性能和可视化功能，提供了一种新的前端开发体验。GenUI已完成Makepad平台的转换插件，支持类似ArkUI和HTML的模板，并利用Rust的高性能和安全性。它还内置了丰富的组件库和属性手册。议题将介绍GenUI的设计理念、实现的功能、应用效果，以及它在Rust GUI生态中的角色。最后，将探讨GenUI的未来发展方向。
Speaker Intro: 盛逸飞，21岁，Privoce工程师，GenUI框架作者，Makepad框架贡献者之一，SurrealismUI Slint第三方组件库作者，当前致力于对Robius社区建设，使用Rust进行前端工程实践。
GenUI是一个创新性的Rust前端框架，受到Vue3和Makepad的启发，旨在帮助开发者更高效地使用Rust编写前端项目。它结合了Vue3的组件化思想、Makepad的性能和可视化功能，提供了一种新的前端开发体验。GenUI已完成Makepad平台的转换插件，支持类似ArkUI和HTML的模板，并利用Rust的高性能和安全性。它还内置了丰富的组件库和属性手册。议题将介绍GenUI的设计理念、实现的功能、应用效果，以及它在Rust GUI生态中的角色。最后，将探讨GenUI的未来发展方向。
15:15
15:45
Rust 带你畅游 2D 图形软光栅
Speaker: 唐伟豪
Speaker Intro: 唐伟豪，vue-skia 和 SwiftUISkia 项目维护者
本次分享将带大家探索 Rust 视角下的 2D 图形软光栅相关技术。以 Vue-Skia 为例介绍其 WASM FFI 设计、Vue生命周期的集成、底层渲染架构以及如何在 SwiftUI 等平台上进行移植。 最终实现一套 Rust 渲染后端渲染到 Vue 和 SwiftUI 两个上层框架。
Speaker Intro: 唐伟豪，vue-skia 和 SwiftUISkia 项目维护者
本次分享将带大家探索 Rust 视角下的 2D 图形软光栅相关技术。以 Vue-Skia 为例介绍其 WASM FFI 设计、Vue生命周期的集成、底层渲染架构以及如何在 SwiftUI 等平台上进行移植。 最终实现一套 Rust 渲染后端渲染到 Vue 和 SwiftUI 两个上层框架。
15:45
16:05
茶歇
16:05
16:35
用 Rust 构建 Internet Computer (ICP) 区块链
Speaker: Paul Liu
Speaker Intro: Paul Liu，是 DFINITY 基金会核心技术工程师，前英特尔实验室（Intel Labs）研究科学家，耶鲁大学博士，专注于程序语言和函数式编程研究方向的专家和学者。
DFINITY 基金会将重点放在如何协作开发一个中大规模的 Rust 项目，以及如何管理其日常运维。该基金会是互联网计算机 (ICP) 的开发者，ICP 是首个采用 Rust 语言进行开发的区块链之一，其代码主仓库积累了近一百万行 Rust 代码。本次分享将把重点放在 DFINITY 基金会是如何协作开发一个中大规模的 Rust 项目并管理它的日常运维，以及在这个过程中积累的宝贵经验和教训。
Speaker Intro: Paul Liu，是 DFINITY 基金会核心技术工程师，前英特尔实验室（Intel Labs）研究科学家，耶鲁大学博士，专注于程序语言和函数式编程研究方向的专家和学者。
DFINITY 基金会将重点放在如何协作开发一个中大规模的 Rust 项目，以及如何管理其日常运维。该基金会是互联网计算机 (ICP) 的开发者，ICP 是首个采用 Rust 语言进行开发的区块链之一，其代码主仓库积累了近一百万行 Rust 代码。本次分享将把重点放在 DFINITY 基金会是如何协作开发一个中大规模的 Rust 项目并管理它的日常运维，以及在这个过程中积累的宝贵经验和教训。
16:40
17:10
HighTec Rust 汽车行业解决方案
Speaker: 温吉辉
Speaker Intro: 温吉辉，HighTec 中国技术经理
HighTec为英飞凌aurix系列TC3X、TC4X开发了Rust编译器，支持功能安全，并与合作伙伴推出基于Rust的OS方案。演讲将介绍Rust在汽车行业的应用背景和现状，HighTec编译器用于Rust与C/C++混合编译汽车电子控制器应用的解决方案。分析Rust在汽车行业的应用方向，展望其发展趋势和使用前景。
Speaker Intro: 温吉辉，HighTec 中国技术经理
HighTec为英飞凌aurix系列TC3X、TC4X开发了Rust编译器，支持功能安全，并与合作伙伴推出基于Rust的OS方案。演讲将介绍Rust在汽车行业的应用背景和现状，HighTec编译器用于Rust与C/C++混合编译汽车电子控制器应用的解决方案。分析Rust在汽车行业的应用方向，展望其发展趋势和使用前景。
分论坛：Rust语言特性与跨语言
13:30
14:00
Async Rust 维测&定位的探索和思考
Speaker: 陈明煜, 楼智豪
Speaker Intro: 陈明煜：毕业于加州大学圣地亚哥分校，现就职于华为，OpenHarmony Ylong Rust异步框架的开发者，致力于推动OH应用的Rust异步化
楼智豪：毕业于浙江大学，现就职于华为，参与过Rust与Cangjie语言的开源贡献，现从事Rust在OpenHarmony中的应用
本议题将介绍我们在OpenHarmony中遇到的一些异步框架使用问题，以及我们在Rust异步调测与定位方面的探索。内容包括对业界常见异步框架的维测能力调研，以及对Rust无栈协程的推栈处理和跨FFI的C++ exception问题解决方法，旨在提升Rust异步的可商用性。
Speaker Intro: 陈明煜：毕业于加州大学圣地亚哥分校，现就职于华为，OpenHarmony Ylong Rust异步框架的开发者，致力于推动OH应用的Rust异步化
楼智豪：毕业于浙江大学，现就职于华为，参与过Rust与Cangjie语言的开源贡献，现从事Rust在OpenHarmony中的应用
本议题将介绍我们在OpenHarmony中遇到的一些异步框架使用问题，以及我们在Rust异步调测与定位方面的探索。内容包括对业界常见异步框架的维测能力调研，以及对Rust无栈协程的推栈处理和跨FFI的C++ exception问题解决方法，旨在提升Rust异步的可商用性。
14:05
14:35
Rust HashMap：比看起来更复杂
Speaker: 曹瑞秋
Speaker Intro: 曹瑞秋，蚂蚁集团高级开发工程师，Apache HoraeDB/CeresDB 核心开发者，Apache HoraeDB PPMC member，长期专注于时序数据库领域。
Rust HashMap看似简单，实际使用中存在诸多"坑点"，尤其在CPU消耗和内存占用方面。分段HashMap设计中的伪共享和内存访问局部性差会影响性能。HashMap的capacity通常远大于指定值，加之内存访问特性，会占据大量物理内存。此外，`with_capacity`方法和allocator内存池的使用不当可能导致内存释放问题。因此，使用Rust HashMap需要细心设计。
Speaker Intro: 曹瑞秋，蚂蚁集团高级开发工程师，Apache HoraeDB/CeresDB 核心开发者，Apache HoraeDB PPMC member，长期专注于时序数据库领域。
Rust HashMap看似简单，实际使用中存在诸多"坑点"，尤其在CPU消耗和内存占用方面。分段HashMap设计中的伪共享和内存访问局部性差会影响性能。HashMap的capacity通常远大于指定值，加之内存访问特性，会占据大量物理内存。此外，`with_capacity`方法和allocator内存池的使用不当可能导致内存释放问题。因此，使用Rust HashMap需要细心设计。
14:40
15:10
Rust 和 C++ 互操作及交叉编译
Speaker: 朱树磊
Speaker Intro: 朱树磊，北京大学物理学士，德国TUM硕士，现任浙江大华技术股份有限公司高级算法专家。从事人工智能算法研发工作10余年，擅长机器学习、深度学习和大数据智能等技术领域，具备丰富的人工智能算法系统设计和开发经验。
Rust和C++经常需要共存，但C++的交叉编译复杂性是一个挑战。本次分享将介绍如何使用cxx让Rust和C++代码共存，并通过LLVM工具链补齐C++交叉编译的短板，让C++和Rust的互操作简单可移植。
Speaker Intro: 朱树磊，北京大学物理学士，德国TUM硕士，现任浙江大华技术股份有限公司高级算法专家。从事人工智能算法研发工作10余年，擅长机器学习、深度学习和大数据智能等技术领域，具备丰富的人工智能算法系统设计和开发经验。
Rust和C++经常需要共存，但C++的交叉编译复杂性是一个挑战。本次分享将介绍如何使用cxx让Rust和C++代码共存，并通过LLVM工具链补齐C++交叉编译的短板，让C++和Rust的互操作简单可移植。
15:15
15:45
MoonBit： Rust 移除 lifetime 并增加更多优点后的技术演进
Speaker: 张宏波
Speaker Intro: 张宏波现任粤港澳大湾区数字经济研究院（IDEA 研究院）基础软件中心讲席科学家、Moonbit平台负责人，是通用程序语言ReScript的作者，程序语言OCaml前核心开发人员。本科毕业于清华大学电子系，在美国宾夕法尼亚大学读博期间受Bloomberg邀请，从事函数式语言编译器的开发工作。张宏波主导的ReScript语言，目前仍是唯一一个由中国人制作的、在国际范围内有重要影响力的通用程序语言。
为了简化 Rust 编程体验和提升开发效率，MoonBit项目致力于移除Rust lifetime机制，并在此基础上进行技术革新和功能扩展。MoonBit的核心理念是通过引入先进的内存管理技术和优化编译器设计，以便在不依赖显式lifetime标注的情况下，仍能保证内存安全和高性能。MoonBit 通过 自动内存管理、高级类型系统、并发模型优化和工具链改进来实现这一目标。
Speaker Intro: 张宏波现任粤港澳大湾区数字经济研究院（IDEA 研究院）基础软件中心讲席科学家、Moonbit平台负责人，是通用程序语言ReScript的作者，程序语言OCaml前核心开发人员。本科毕业于清华大学电子系，在美国宾夕法尼亚大学读博期间受Bloomberg邀请，从事函数式语言编译器的开发工作。张宏波主导的ReScript语言，目前仍是唯一一个由中国人制作的、在国际范围内有重要影响力的通用程序语言。
为了简化 Rust 编程体验和提升开发效率，MoonBit项目致力于移除Rust lifetime机制，并在此基础上进行技术革新和功能扩展。MoonBit的核心理念是通过引入先进的内存管理技术和优化编译器设计，以便在不依赖显式lifetime标注的情况下，仍能保证内存安全和高性能。MoonBit 通过 自动内存管理、高级类型系统、并发模型优化和工具链改进来实现这一目标。
15:45
16:05
茶歇
16:05
16:35
深入揭秘 Rust Unstable Features：起源、影响、缓解、延申
Speaker: 李程浩
Speaker Intro: 李程浩是浙江大学研究生，专注于Rust、操作系统和系统安全研究。他的Rust Unstable Features研究发表在软件工程顶会ICSE'24上，作为RISC-V 64指令多核操作系统UltraOS的主导开发者，他获得2021年全国大学生计算机系统能力培养大赛一等奖。
Rust Unstable Features是Rust编译器提供的实验性功能，尽管被称作unstable，但是仍然在业界内被广为使用。 在大多数对Rust安全性、可靠性的讨论集中在Rust代码时，本次议题将目光转向Rust编译器，探索其中的Rust Unstable Features这一广泛被使用的功能，到底问题如何，以及如何限制它的影响力。
Speaker Intro: 李程浩是浙江大学研究生，专注于Rust、操作系统和系统安全研究。他的Rust Unstable Features研究发表在软件工程顶会ICSE'24上，作为RISC-V 64指令多核操作系统UltraOS的主导开发者，他获得2021年全国大学生计算机系统能力培养大赛一等奖。
Rust Unstable Features是Rust编译器提供的实验性功能，尽管被称作unstable，但是仍然在业界内被广为使用。 在大多数对Rust安全性、可靠性的讨论集中在Rust代码时，本次议题将目光转向Rust编译器，探索其中的Rust Unstable Features这一广泛被使用的功能，到底问题如何，以及如何限制它的影响力。
16:40
17:10
Rust 异步 FFI 系统 —— 以 Rust2Go 为例
Speaker: 茌海
Speaker Intro: 茌海，字节跳动 Rust 高级研发工程师
在将 Golang 业务重构为 Rust 的过程中，对于较大的业务很难一口气完成重构并验证正确性。因此我决定从零设计并开发异步FFI框架来实现 Rust 到 Golang 的跨语言调用。本分享涵盖跨语言内存布局对齐、代码生成、内存 所有权管理、共享内存通信等技术，探讨通用异步 FFI 框架设计并分享实践经验。
Speaker Intro: 茌海，字节跳动 Rust 高级研发工程师
在将 Golang 业务重构为 Rust 的过程中，对于较大的业务很难一口气完成重构并验证正确性。因此我决定从零设计并开发异步FFI框架来实现 Rust 到 Golang 的跨语言调用。本分享涵盖跨语言内存布局对齐、代码生成、内存 所有权管理、共享内存通信等技术，探讨通用异步 FFI 框架设计并分享实践经验。
17:15
17:45
简单高效的 Web 后端框架 SALVO
Speaker: 杨学成
Speaker Intro: 杨学成，Salvo 框架作者，普通后端开发者
基于 Hyper 和 Tokio 构建的简洁易用且功能齐全的 Web 后端框架。Salvo 是一个真正关注人体工程学的 Web 后端框架, 相比其他 Rust Web 框架开发简单快速，没有模板代码，避免类型体操和泛型泛滥，把您从 Rust 类型的泥潭中解脱出来。本项目已经积极维护近5年时间，有丰富的中间件，也兼容 Tower 的生态，实际应用于多个项目, 稳定可靠。
Speaker Intro: 杨学成，Salvo 框架作者，普通后端开发者
基于 Hyper 和 Tokio 构建的简洁易用且功能齐全的 Web 后端框架。Salvo 是一个真正关注人体工程学的 Web 后端框架, 相比其他 Rust Web 框架开发简单快速，没有模板代码，避免类型体操和泛型泛滥，把您从 Rust 类型的泥潭中解脱出来。本项目已经积极维护近5年时间，有丰富的中间件，也兼容 Tower 的生态，实际应用于多个项目, 稳定可靠。