Start / Microsoft Research Podcast / Abstracts november 5 2024

Microsoft Research Podcast

Abstracts: November 5, 2024

15 min • 5 november 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

Senaste avsnitt

Reimagining healthcare delivery and public health with AI

7 augusti | 76 min

Navigating medical education in the era of generative AI

24 juli | 76 min

AI Testing and Evaluation: Reflections

21 juli | 29 min

AI Testing and Evaluation: Learnings from cybersecurity

14 juli | 35 min

How AI will accelerate biomedical research and discovery

10 juli | 91 min

Podcastbild

00:00 -00:00

Podcastbild

00:00 -00:00