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

Research in Software Engineering (RiSE)

视频

持续时间   17:37

2022年5月11日

Speakers : Shuvendu Lahiri

2022年5月11日

Speakers : Shuvendu Lahiri

持续时间   03:00

2021年10月15日

持续时间   01:10:10

2021年5月26日

Speakers : Marina Polishchuk

所属单位 : Microsoft Research

Angelic Checking within Static Driver Verification

2020年10月4日

Speakers : Akash Lal, Shuvendu Lahiri

所属单位 : Microsoft Research

a man with a laptop and smiling at the camera 持续时间   59:02

2020年3月9日

Speakers : Ben Zorn

所属单位 : Microsoft Research

Video: RDMA: Provably More Powerful Communication 持续时间   0:52:34

2019年9月26日

Speakers : Sebastian Burckhardt

所属单位 : Carnegie Mellon University

Video: Scheduling For Efficient Large-Scale Machine Learning Training 持续时间   1:12:27

2019年9月4日

Speakers : Madan Musuvathi

所属单位 : Carnegie Mellon University

Video: Compacting the Uncompactable: The Mesh Compacting Memory Allocator 持续时间   0:44:09

2019年8月23日

Speakers : Ben Zorn

所属单位 : University of Massachusetts Amherst