Angelic Checking within Static Driver Verifier
- Shuvendu Lahiri | Microsoft Research
Talk at FMCAD 2020.
-
-
Akash Lal
Partner Researcher
-
Shuvendu Lahiri
Senior Principal Researcher
-
-
Regardez suivant
-
-
Episode 2: A multi-disciplinary approach
- Jonathan M. Carlson,
- Will Guyman,
- Matthew Lungren
-
Episode 3: Collaborating faster
- Jonathan M. Carlson,
- Will Guyman,
- Matthew Lungren
-
Microsoft Research India - The lab culture
- P. Anandan,
- Indrani Medhi Thies,
- B. Ashok
-
-
-
Accelerating Multilingual RAG Systems
- Nandan Thakur
-
-
Making Sentence Embeddings Robust to User-Generated Content
- Lydia Nishimwe
-
