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

Episode 3: Collaborating faster
May 1, 2025
Jonathan M. Carlson,

Will Guyman,

Matthew Lungren

, et. al.
Using LLMs for safe low-level programming
February 25, 2025
Aseem Rastogi,

Pantazis Deligiannis
LLMs vs. Torch 1.5: Why Your Code Assistant Can't Keep Up
February 4, 2025
Diganta Misra
Accelerating Multilingual RAG Systems
November 29, 2024
Nandan Thakur
Advances in Natural Language Generation for Indian Languages
June 17, 2024
Dr. Raj Dabre
Making Sentence Embeddings Robust to User-Generated Content
May 29, 2024
Lydia Nishimwe
Demonstration of EmFORE: Learning Email Folder Classification Rules by Example (AAAI 2024 Demo)
April 11, 2024
Mukul Singh
EMNLP 2023 Oral Presentation for CODEFUSION: A Pre-trained Diffusion Model for Code Generation
December 14, 2023
Mukul Singh
VLDB 2023 Presentation for CORNET: Learning Table Formatting Rules By Example
November 7, 2023
Mukul Singh
Microsoft Research India - who we are.
September 15, 2023
Kalika Bali,

Sriram Rajamani,

Venkat Padmanabhan

, et. al.