
Sign up to save your podcasts
Or


Researchers Chris Hawblitzel and Jay Lorch share how progress in programming languages and verification approaches are bringing bug-free software within reach. Their work on the Rust verification tool Verus won the Distinguished Artifact Award at SOSP ’24.
Read the paper
By Researchers across the Microsoft research community4.8
8080 ratings
Researchers Chris Hawblitzel and Jay Lorch share how progress in programming languages and verification approaches are bringing bug-free software within reach. Their work on the Rust verification tool Verus won the Distinguished Artifact Award at SOSP ’24.
Read the paper

112,191 Listeners

561 Listeners

5,544 Listeners

145 Listeners