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.<a href="https://www.microsoft.com/en-us/research/publication/verus-a-practical-foundation-for-systems-verification/">Read the paper</a>

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

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.<a href="https://www.microsoft.com/en-us/research/publication/verus-a-practical-foundation-for-systems-verification/" rel="noopener noreferrer">Read the paper</a>

Abstracts: November 5, 2024

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

Share Abstracts: November 5, 2024

Sign up to save your podcasts

Abstracts: November 5, 2024

Abstracts: November 5, 2024

More shows like Microsoft Research Podcast

The Daily

Dwarkesh Podcast

Hard Fork

No Priors: Artificial Intelligence | Technology | Startups