Loading…
← Back to schedule
Verifying the Rust Standard Library: A Year of Proofs, Tools, and Winners
Thursday September 10, 2026 10:20 - 10:30 EDT
Room 511 | 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, Felipe Monteiro 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
avatar for Felipe Monteiro

Felipe Monteiro

Senior Applied Scientist, Automated Reasoning Group, AWS
Felipe R. Monteiro is a Senior Applied Scientist at AWS, where he builds formal verification technology for C and Rust. He is a lead developer of the Kani Rust Verifier and a committee member of the Rust standard library verification project — the community effort to formally prove... Read More →
Thursday September 10, 2026 10:20 - 10:30 EDT
Room 511 | Palais des Congrès de Montréal
  Community Lightning Talks

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

Tweet Share

Get help with the event

Contact event planner Event login
View support guides Find upcoming events
Create an event you'd love to attend!
Explore why organizers choose Sched • Success stories
Event App • Event scheduling • Event registration • Event ticketing • Sched forms • Call for papers • Badges • Conferences
© 2026. SCHED LLC - All rights reserved - Helping events since 2008
Event Planning Software • Privacy • Terms
Share Modal

Share this link via

Or copy link