Abstracts: November 5, 2024

Microsoft Research Podcast - A podcast by Researchers across the Microsoft research community

Categories:

Technology

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