Name: Verifying the Rust Standard Library: A Year of Proofs, Tools, and Winners
Start: 2026-09-10T10:20:00-0400
End: 2026-09-10T10:30:00-0400

Verifying the Rust Standard Library: A Year of Proofs, Tools, and Winners

Thursday September 10, 2026 10:20 - 10:30 EDT

Palais des Congrès de Montréal

Over the past year, the Rust community did something remarkable: contributors from across industry, academia, and open source came together to formally verify the safety of the Rust standard library at a scale never attempted before. In this talk, Michael Tautschnig shares what the community has collectively achieved and announces the winners of the latest verification challenges. Highlights include over 11,000 functions now machine-proved free of key memory-safety violations, a new tool that generated more proof harnesses in weeks than manual effort produced in over a year, and a contribution that helped land function contracts as an experimental Rust language feature. He'll also show how the effort has grown into a tool-agnostic contest — now spanning verifiers such as Kani, VeriFast, ESBMC, and Flux — and walk through the new challenges open to the community today. Come celebrate the people who made it happen, and find out how to get involved.

Speakers

Michael Tautschnig

Senior Applied Scientist, AWS

Michael Tautschnig is a Senior Applied Scientist at AWS, where he builds formal verification technology for Rust and C. He is a lead developer of the Kani Rust Verifier and a long-time contributor to CBMC, the model checker that powers much of this work. His focus is applying automated... Read More →

Thursday September 10, 2026 10:20 - 10:30 EDT
Palais des Congrès de Montréal

Community Lightning Talks

Success you have shared X tickets.

RustConf 2026

Michael Tautschnig

Get help with the event

Success you have shared X tickets.

RustConf 2026

Michael Tautschnig

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

Get help with the event