Abstracts: November 5, 2024

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

Om Podcasten

An ongoing series of conversations bringing you right up to the cutting edge of Microsoft Research.