Angelic Verification

Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) cost

Shuvendu Lahiri, Akash Lal, Sridhar Gopinath, Alexander Nutz, Vladimir Levin, Rahul Kumar, Nate Deisinger, Jakob Lichtenberg, Chetan Bansal

FMCAD | July 2020

Best paper award

Publication Video Project

Static Assertion Checking of Production Software with Angelic Verification

Shuvendu Lahiri, Akash Lal

| August 2017

Published by Microsoft

Publication

Precise null-pointer analysis using Global Value Numbering

Ankush Das, Akash Lal

Automated Technology for Verification and Analysis (ATVA) | July 2017

Publication Project

Angelic Verification: Precise Verification Modulo Unknowns

Shuvendu Lahiri, Akash Lal, Yi Li, Ankush Das

Computer Aided Verification (CAV) | July 2015

Publication Publication Project

Almost-Correct Specifications: A Modular Semantic Framework for Assigning Confidence to Warnings

Sam Blackshear, Shuvendu Lahiri

Programming Language Design and Implementation (PLDI'13) | June 2013

Programming Language Design and Implementation (PLDI'13)

Publication Project

Underspecified Harnesses and Interleaved Bugs

Saurabh Joshi, Shuvendu Lahiri, Akash Lal

Principles of Programming Languages (POPL) 2012 | January 2012

Publication Project Project

Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) cost

Shuvendu Lahiri, Akash Lal, Sridhar Gopinath, Alexander Nutz, Vladimir Levin, Rahul Kumar, Nate Deisinger, Jakob Lichtenberg, Chetan Bansal

FMCAD | July 2020

Best paper award

Publication Video Project

Static Assertion Checking of Production Software with Angelic Verification

Shuvendu Lahiri, Akash Lal

| August 2017

Published by Microsoft

Publication

Precise null-pointer analysis using Global Value Numbering

Ankush Das, Akash Lal

Automated Technology for Verification and Analysis (ATVA) | July 2017

Publication Project

Angelic Verification: Precise Verification Modulo Unknowns

Shuvendu Lahiri, Akash Lal, Yi Li, Ankush Das

Computer Aided Verification (CAV) | July 2015

Publication Publication Project

Almost-Correct Specifications: A Modular Semantic Framework for Assigning Confidence to Warnings

Sam Blackshear, Shuvendu Lahiri

Programming Language Design and Implementation (PLDI'13) | June 2013

Programming Language Design and Implementation (PLDI'13)

Publication Project

Underspecified Harnesses and Interleaved Bugs

Saurabh Joshi, Shuvendu Lahiri, Akash Lal

Principles of Programming Languages (POPL) 2012 | January 2012

Publication Project Project

Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) cost

Shuvendu Lahiri, Akash Lal, Sridhar Gopinath, Alexander Nutz, Vladimir Levin, Rahul Kumar, Nate Deisinger, Jakob Lichtenberg, Chetan Bansal

FMCAD | July 2020

Best paper award

Publication Video Project

Precise null-pointer analysis using Global Value Numbering

Ankush Das, Akash Lal

Automated Technology for Verification and Analysis (ATVA) | July 2017

Publication Project

Angelic Verification: Precise Verification Modulo Unknowns

Shuvendu Lahiri, Akash Lal, Yi Li, Ankush Das

Computer Aided Verification (CAV) | July 2015

Publication Publication Project

Almost-Correct Specifications: A Modular Semantic Framework for Assigning Confidence to Warnings

Sam Blackshear, Shuvendu Lahiri

Programming Language Design and Implementation (PLDI'13) | June 2013

Programming Language Design and Implementation (PLDI'13)

Publication Project

Underspecified Harnesses and Interleaved Bugs

Saurabh Joshi, Shuvendu Lahiri, Akash Lal

Principles of Programming Languages (POPL) 2012 | January 2012

Publication Project Project

Static Assertion Checking of Production Software with Angelic Verification

Shuvendu Lahiri, Akash Lal

| August 2017

Published by Microsoft

Publication