Abstracts: November 5, 2024

71
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...
autotechmusickids