abstract pattern on dark purple background

Microsoft Research Lab – India

Videos

Amit Sharma and Emre Kiciman headshots next to their Microsoft Research Webinar title Duration   1:17:55

December 3, 2020

Speakers : Amit Sharma, Emre Kiciman

Affiliation : Microsoft Research

diagram Duration   15:18

November 16, 2020

Speakers : Pantazis Deligiannis

Affiliation : Microsoft Research

Duration   01:03:13

October 8, 2020

Speakers : Karthik Ramachandra

Affiliation : Microsoft Research

Distributed Bounded Model Checking

October 4, 2020

Speakers : Akash Lal

Affiliation : IIT Kanpur

Angelic Checking within Static Driver Verification

October 4, 2020

Speakers : Akash Lal, Shuvendu Lahiri

Affiliation : Microsoft Research

a person posing for the camera Duration   34:12

September 8, 2020

Speakers : Divya Gupta

Affiliation : Microsoft Research India

Duration   01:00:26

July 29, 2020

Speakers : Monojit Choudhury

Affiliation : Carnegie Mellon University

Duration   01:35:59

July 21, 2020

Speakers : Amit Sharma, Cheng Zhang

Affiliation : Microsoft Research, Stanford University, Columbia University, Microsoft Research

ARS 2020: Track on Verification Duration   01:22:14

January 30, 2020

Speakers : Aseem Rastogi

Affiliation : IIT Delhi, CMI, Microsoft Research, IMSC