The currents of concurrency: reasoning with Async Rust

• Async

Reasoning through concurrent systems has always been a challenging task. Poor code can be riddled with race conditions, non-terminating cases and other complex concurrency bugs; and even well-written code can be hard to understand. Async programming is an innovative concurrent programming model that rises to this challenge. In this talk, we'll explore reasoning with async Rust. We'll be introduced to its fundamental building blocks, such as `async`, `await`, `join` and `Pin`, and learn how to predict the behavior of code written with them. We'll build on these to simplify more complex concurrency puzzlers. Finally, we'll explore other models of concurrent programming to see how async Rust compares.

Rust Global Rust in Legacy Regulated Industries? The Example of a Carmaker.

At Ampere (Renault Group), a French carmaker dedicated to Electric Vehicles, we developed a strong strategy to rely on the Rust language properties to improve our cars. Let’s explore the journey towards Rust in big ol’ corporations with decades of legacy!