Search videos
View all results →
← Browse conferences
Checking correctness of asynchronous code with Shuttle
TokioConf
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.