TokioConf 2026 - Checking correctness of asynchronous code with Shuttle by Sarek Skotåm

This session is about Shuttle, an open-source tool for checking correctness of concurrent Rust programs, developed by AWS and used across several teams in AWS. Shuttle works by controlling the scheduling and exploring many different interleavings in order to find bugs. When bugs are found they can be deterministically replayed. This is done while requiring little to no changes to the source code, and the tool is able to run actual production code. In this talk I will present the tool, and how you can use it to ensure correctness of your programs. The talk will also cover how to use Shuttle to check for properties such as cancellation safety. Video Production by Confreaks Follow Confreaks 👇 https://confreaks.com https://confreaks.bsky.social https://x.com/confreaks