时间: 2025年3月1日 09:00~17:00
地点: 北京市海淀区双清路30号清华大学东升中学研基地2楼212-5会议室
会议流程
会议报告回放(提取码: s623)
| 时间 | 主题 | 主讲人 | 单位 |
|---|---|---|---|
| 09:00~09:05 | 致辞 | 陈渝、马全一 | 清华大学 / 华为 |
| 09:05~09:25 | vivo BlueOS 中的 Rust 语言开发实践 | 陈爽 | vivo |
| 09:25~09:45 | Asterinas: Pushing Kernel Memory Safety to the Extreme | 田洪亮 | 蚂蚁技术研究院 |
| 09:45~10:05 | 在 Rust-for-Linux 中的开发经验浅谈 | 李弘宇 | 北京邮电大学 |
| 10:05~10:25 | 组件化多模式操作系统内核的设计与实践 | 石磊 | 泉城实验室 |
| 10:25~10:35 | 茶歇 | - | - |
| 10:35~10:55 | 基于 Rust 语言的操作系统内核开发实践与体会 | 贾周阳 | 国防科技大学 |
| 10:55~11:15 | RustOS 开发者的实践场：DragonOS 社区如何实现代码与人才的双重构建 | 龙进 | DragonOS |
| 11:15~11:35 | 异构化的组件内核开发实践 | 郑友捷 | 清华大学 |
| 11:35~11:55 | Rust 语言开发功能安全嵌入式基础软件的实践与挑战 | 包晟临 | 中电科 32 所 |
| 11:55~14:00 | 午餐 | - | - |
| 14:00~14:05 | 开场 | 陈渝、马全一 | 清华大学 / 华为 |
| 14:05~14:25 | 基于 Rust 语言的高可靠、嵌入式 Hypervisor 设计 | 王雷 | 北京航空航天大学 |
| 14:25~14:45 | 基于 Rust 语言的虚拟化项目工程开发实践 | 赵晔明 | 麒麟软件 |
| 14:45~15:05 | 全链智能安全引导：RustSBI 的安全基石与未来探索 | 蒋周奇 | 华中科技大学 |
| 15:05~15:20 | 茶歇 | - | - |
| 15:20~15:40 | os-checker 工具集介绍 | 周积萍 | Kern-crates 开源社区 |
| 15:40~16:00 | 轻量级 Rust 程序分析和验证 | 徐辉 | 复旦大学 |
| 16:00~16:20 | Rust 发行版调研及质量保障支持平台介绍 | 冯洋 | 南京大学 |
| 16:20~16:50 | 讨论 | 马全一 | 华为 |
| 16:50~17:00 | 总结 | 陈渝 | 清华大学 |
| 17:00~20:00 | 晚宴 | - | - |