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. Jianfeng Gao on the Microsoft Research Podcast

    Going deep on deep learning with Dr. Jianfeng Gao 

    Episode 104 |

    Dr. Jianfeng Gao is a veteran computer scientist, an IEEE Fellow and the current head of the Deep Learning Group at Microsoft Research. He and his team are exploring novel approaches to advancing the state-of-the-art on deep learning in areas like NLP, computer vision, multi-modal…

  2. Sriram Rajamani on the Microsoft Research Podcast

    Innovating in India with Dr. Sriram Rajamani 

    Episode 103 |

    Dr. Sriram Rajamani is a Distinguished Scientist and the Managing Director of the Microsoft Research lab in Bangalore. He’s dedicated his career to advancing globally applicable science in the testbed that is India. He is, by any measure, a world-class researcher and leader. He’s also,…

  3. Sumit Gulwani on the Microsoft Research podcast

    Program synthesis and the art of programming by intent with Dr. Sumit Gulwani 

    November 20, 2019

    Dr. Sumit Gulwani is a programmer’s programmer. Literally. A Partner Research Manager in the Program Synthesis, or PROSE, group at Microsoft Research, Dr. Gulwani is a leading researcher in program synthesis and the inventor of many intent-understanding, programming-by-example and programming-by-natural language technologies – aka, the…

  4. Dr. Ant Rowstron and Mark Russinovich on the Microsoft Research podcast

    Hacking the runway with MakeCode with Dr. Thomas Ball and Dr. Teddy Seyed 

    November 13, 2019

    Computer programming has often been perceived as the exclusive domain of computer scientists and software engineers. But that’s changing, thanks to the work of people like Dr. Thomas Ball, a Partner Researcher in the RiSE group at Microsoft Research, and Dr. Teddy Seyed, a post-doctoral…

  5. Jenny Sabin and Asta Roseway on the Microsoft Research podcast

    Art + Architecture + AI = Ada with Jenny Sabin and Asta Roseway 

    October 30, 2019

    Jenny Sabin is an architectural designer, a professor, a studio principal and MSR’s current Artist in Residence. Asta Roseway is a principal research designer, a “fusionist” and the co-founder of the Artist in Residence program at Microsoft Research. The two, along with a stellar multi-disciplinary…

  6. Jina Suh - black and white podcast photo

    Data science and ML for human well-being with Jina Suh 

    October 9, 2019

    Using technology to help us improve our health is nothing new: a quick web search returns hundreds of apps and devices claiming to help us get fit, quit smoking, master anxiety or just “find our center.” What is new is a serious cohort of researchers…