Microsoft Research Podcast

Abstracts: November 5, 2024

November 5, 2024 | Amber Tingle, Chris Hawblitzel, and Jay Lorch
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.

Recent Podcasts

  1. Microsoft Research Podcast - Abstracts hero with a microphone icon

    Abstracts: October 9, 2023 

    October 9, 2023 | Gretchen Huizinga and Sheng Zhang

    Researcher Dr. Sheng Zhang joins “Abstracts”—your source for cutting-edge research in brief—to discuss a recent paper on distilling large language models into smaller, more efficient ones capable of excelling in broad application classes.

  2. MSR Podcast - AI Frontiers with Hanna Wallach

    AI Frontiers: Measuring and mitigating harms with Hanna Wallach 

    September 28, 2023 | Hanna Wallach and Ashley Llorens

    Powerful large-scale AI models like GPT-4 are showing dramatic improvements in reasoning, problem-solving, and language capabilities. This marks a phase change for artificial intelligence—and a signal of accelerating progress to come.    In this Microsoft Research Podcast series, AI scientist and engineer Ashley Llorens hosts conversations…