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

Research in Software Engineering (RiSE)

视频

持续时间   17:37

2022年5月11日

Saikat Dutta

2022年5月11日

Elizabeth Dinella and Gabriel Ryan

持续时间   03:00

2021年10月15日

持续时间   01:10:10

2021年5月26日

Marina Polishchuk

Angelic Checking within Static Driver Verification

2020年10月4日

Shuvendu Lahiri

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

2020年3月9日

Ben Zorn

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

2019年9月26日

Naama Ben-David

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

2019年9月4日

Jinliang Wei

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

2019年8月23日

Emery Berger