Angelic Checking within Static Driver Verifier

Talk at FMCAD 2020.

Date:: October 4, 2020
Speakers:: Shuvendu Lahiri
Affiliation:: Microsoft Research

- 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

[OOPSLA 2023] Overwatch: Learning Patterns in Code Edit Sequences
May 29, 2023
Functional-first programming in an information-rich world
May 2, 2023
Speakers:

Don Syme
What's New in F# 6 0
December 8, 2022
Speakers:

Don Syme
What’s New in F# 5.0 & Beyond • Don Syme • YOW! 2021
November 26, 2021
Speakers:

Don Syme
ML 2021 - Keynote: Narratives and Lessons from The Early History of F#
August 26, 2021
Speakers:

Don Syme
Don Teaches Guido F#
August 3, 2021
Speakers:

Don Syme,

Guido von Rossum
TorchSharp & Tensor Programming
June 21, 2021
Speakers:

Don Syme
Functional data that adapts to change
December 11, 2020
Speakers:

Don Syme
F# Code I Love - Don Syme
August 21, 2020
Speakers:

Don Syme
Don Syme - Keynote - F# Code I Love | Lambda Days 2019
February 21, 2019
Speakers:

Don Syme