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

Research in Software Engineering (RiSE)

비디오

기간   17:37

May 11, 2022

Saikat Dutta

May 11, 2022

Elizabeth Dinella and Gabriel Ryan

기간   03:00

October 15, 2021

기간   01:10:10

May 26, 2021

Marina Polishchuk

Angelic Checking within Static Driver Verification

October 4, 2020

Shuvendu Lahiri

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

March 9, 2020

Ben Zorn

Video: RDMA: Provably More Powerful Communication 기간   0:52:34

September 26, 2019

Naama Ben-David

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

September 4, 2019

Jinliang Wei

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

August 23, 2019

Emery Berger