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
NVIDIA AI Podcast
342 Listeners
AI Today Podcast
155 Listeners
Practical AI
212 Listeners
Last Week in AI
306 Listeners
Machine Learning Street Talk (MLST)
90 Listeners
Dwarkesh Podcast
505 Listeners
Big Technology Podcast
477 Listeners
NEJM AI Grand Rounds
59 Listeners
No Priors: Artificial Intelligence | Technology | Startups
132 Listeners
Latent Space: The AI Engineer Podcast
96 Listeners
Possible
124 Listeners
The AI Daily Brief: Artificial Intelligence News and Analysis
591 Listeners
Practical: AI & Business News
26 Listeners
AI + a16z
35 Listeners
AI Applied: Covering AI News, Interviews and Tools - ChatGPT, Midjourney, Gemini, OpenAI, Anthropic
136 Listeners