专题演讲嘉宾：姜剑峰

作为一门新兴的语言，Rust 吸收了过去几十年在编程语言上的学术成果和优秀工程实践。Rust 通过独特的基于所有权的内存管理模型，可以通过编译期的检查来保证程序的内存安全和线程安全。通过暴露出诸如裸指针这样的底层接口，又可以提供接近于 C/C++ 的资源控制能力和程序运行效率。Rust 逐渐成为系统软件开发的新星。但是，作为一种通用的编程语言，Rust 依然无法做到在语言层面规避所有的可靠性问题，比如通过 unsafe 关键字就可以绕开编译器的检查导致程序中出现内存安全问题，此外，编译器也不会检测内存泄漏问题。

近些年也出现了诸多独立的工具来对 Rust 程序的可靠性进行测试与验证。Rust 上优秀的语言设计以及包管理工具也为在 Rust 上实现测试与分析工具提供了诸多便利。本报告将系统性的回顾该领域的现有工作，同时介绍我们基于程序合成的 Rust 库自动化模糊测试框架，分享其中的设计思想以及实践心得。

演讲提纲：
1. 为什么要使用 Rust 开发系统软件
2. Rust 程序可靠性问题
3. 基于程序合成的 Rust 库自动化模糊测试框架
4. 总结与展望

你将获得：

• 了解 Rust 语言在系统软件开发方面的优势
• 了解 Rust 可靠性研究上所应用的技术手段
• 了解模糊测试应用在 Rust 程序上的实践经验