Published on 3 Jun 2025, 18:20
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: microsoft.com/en-us/research/p...
Show notes: microsoft.com/en-us/research/p...
Listen to the Abstracts series: microsoft.com/en-us/research/p...
Read the paper: microsoft.com/en-us/research/p...
Show notes: microsoft.com/en-us/research/p...
Listen to the Abstracts series: microsoft.com/en-us/research/p...