Beyond Memory Safety

Speaker: Vytautas Astrauskas

Description

Rust’s ownership model promises to solve memory safety and data races. However, research shows this model enables much more: it provides an excellent foundation for building tools that help us write correct software. In my talk, I will explain why researchers are so excited about Rust and how new tools could help prevent bugs in your software tomorrow.

Track

Technology & Community

Level

Introductory and overview