
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
4.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
1,040 Listeners
481 Listeners
441 Listeners
298 Listeners
331 Listeners
127 Listeners
156 Listeners
192 Listeners
198 Listeners
88 Listeners
454 Listeners
259 Listeners
61 Listeners
75 Listeners
491 Listeners