Programming languages and software engineering research area
Return to Microsoft Research Lab – Redmond

Research in Software Engineering (RiSE)

Videos

Duration   17:37

May 11, 2022

Speakers : Shuvendu Lahiri

May 11, 2022

Speakers : Shuvendu Lahiri

Duration   03:00

October 15, 2021

Duration   01:10:10

May 26, 2021

Speakers : Marina Polishchuk

Affiliation : Microsoft Research

Angelic Checking within Static Driver Verification

October 4, 2020

Speakers : Akash Lal, Shuvendu Lahiri

Affiliation : Microsoft Research

a man with a laptop and smiling at the camera Duration   59:02

March 9, 2020

Speakers : Ben Zorn

Affiliation : Microsoft Research

Video: RDMA: Provably More Powerful Communication Duration   0:52:34

September 26, 2019

Speakers : Sebastian Burckhardt

Affiliation : Carnegie Mellon University

Video: Scheduling For Efficient Large-Scale Machine Learning Training Duration   1:12:27

September 4, 2019

Speakers : Madan Musuvathi

Affiliation : Carnegie Mellon University

Video: Compacting the Uncompactable: The Mesh Compacting Memory Allocator Duration   0:44:09

August 23, 2019

Speakers : Ben Zorn

Affiliation : University of Massachusetts Amherst