Angelic Checking within Static Driver Verifier

October 4, 2020
Shuvendu Lahiri | Microsoft Research

Talk at FMCAD 2020.

- Akash Lal
  
  Partner Researcher
- Shuvendu Lahiri
  
  Senior Principal Researcher
Research Area
- Programming languages and software engineering
Research Lab
- Microsoft Research Lab - India
- Microsoft Research Lab - Redmond
Group
- Research in Software Engineering (RiSE)
- Systems | India
Project
- Angelic Verification
- Corral Program Verifier
Publication
- Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) cost

Watch Next

Microsoft Research India 2025 Highlights
December 31, 2025
Tool-space Interference: An emerging problem for LLM agents
December 9, 2025
Karen Easterbrook,

Tyler Payne
AI and productivity: A year-in-review with Microsoft, Google, and GitHub researchers
December 9, 2025
Brian Houck
Beyond the Commit: A Fireside Chat on AI and Developer Productivity
October 9, 2025
Brian Houck
Episode 4: A distribution channel for AI innovation
May 1, 2025
Jonathan M. Carlson,

Will Guyman,

Matthew Lungren

, et. al.
Episode 5: Breakthroughs in AI
May 1, 2025
Jonathan M. Carlson,

Will Guyman,

Matthew Lungren

, et. al.
Episode 6: Healthcare Agent Orchestrator
May 1, 2025
Jonathan M. Carlson,

Will Guyman,

Matthew Lungren

, et. al.
Episode 7: The road ahead
May 1, 2025
Jonathan M. Carlson,

Will Guyman,

Matthew Lungren

, et. al.
Microsoft Research India - The evolution
March 1, 2025
Venkat Padmanabhan,

P. Anandan,

Rick Rashid

, et. al.
Microsoft Research India - The lab culture
March 1, 2025
P. Anandan,

Indrani Medhi Thies,

B. Ashok

, et. al.

Your Privacy Choices