Using Rust to Ensure Code Safety — and Beyond
Rust is rapidly becoming a go-to language for systems programming, thanks to its powerful safety guarantees and strict compile-time checks. But what exactly does “safe” mean in the context of Rust? How does the language enforce these guarantees—and where do its limits lie?
In this talk, we’ll explore how Rust ensures memory safety and prevents common bugs at compile time. But we won’t stop there. As critical systems demand even greater levels of assurance, we’ll look at how formal methods can complement Rust’s design to provide even higher confidence that our code behaves correctly.
Whether you’re a Rustacean or new to the language, you’ll walk away with a deeper understanding of how to build safer, more robust software.
About the Speaker: Daniel Cumming
Daniel Cumming is a passionate Rust enthusiast, educator, and speaker who’s deeply committed to building safer systems through better tools. His role as a Verification Engineer at Runtime Verification Inc. is focused on building tooling to ensure security and safety for Rust programs. He’s also taught numerous classes at RareTalent.xyz, helping developers understand the core principles behind Rust and systems-level safety. Daniel has also delivered several well-received talks at meetups and conferences, earning a reputation for making complex topics approachable and exciting.
Check out his popular talk, “How the Rust Compiler Works, a Deep Dive,” here: https://www.youtube.com/watch?v=Ju7v6vgfEt8
Connect with him on LinkedIn