Skip to content
Rust Search
← TokioConf 2026

Checking correctness of asynchronous code with Shuttle

TokioConf
22:23 413 views

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 yo

Player unavailable or embedding blocked? Use the YouTube link above.