Sign up to save your podcasts
Or
Share Abstracts: November 5, 2024
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
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
View all episodes
By Researchers across the Microsoft research community
4.8
8080 ratings
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
More shows like Microsoft Research Podcast
View all
Data Engineering Podcast
145 Listeners
The Daily
113,004 Listeners
Practical AI
200 Listeners
Google DeepMind: The Podcast
201 Listeners
Think Fast Talk Smart: Communication Techniques
824 Listeners
Last Week in AI
309 Listeners
Big Technology Podcast
507 Listeners
The Rest Is History
15,844 Listeners
No Priors: Artificial Intelligence | Technology | Startups
140 Listeners
Unsupervised Learning with Jacob Effron
51 Listeners
Latent Space: The AI Engineer Podcast
99 Listeners