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 동영상 프로젝트

Static Assertion Checking of Production Software with Angelic Verification

Shuvendu Lahiri, Akash Lal

| August 2017

글쓴이 Microsoft

Publication

Precise null-pointer analysis using Global Value Numbering

Ankush Das, Akash Lal

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

Publication 프로젝트

Angelic Verification: Precise Verification Modulo Unknowns

Shuvendu Lahiri, Akash Lal, Yi Li, Ankush Das

Computer Aided Verification (CAV) | July 2015

출판 출판 프로젝트

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)

출판 프로젝트

Underspecified Harnesses and Interleaved Bugs

Saurabh Joshi, Shuvendu Lahiri, Akash Lal

Principles of Programming Languages (POPL) 2012 | January 2012

출판 프로젝트 프로젝트

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 동영상 프로젝트

Static Assertion Checking of Production Software with Angelic Verification

Shuvendu Lahiri, Akash Lal

| August 2017

글쓴이 Microsoft

Publication

Precise null-pointer analysis using Global Value Numbering

Ankush Das, Akash Lal

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

Publication 프로젝트

Angelic Verification: Precise Verification Modulo Unknowns

Shuvendu Lahiri, Akash Lal, Yi Li, Ankush Das

Computer Aided Verification (CAV) | July 2015

출판 출판 프로젝트

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)

출판 프로젝트

Underspecified Harnesses and Interleaved Bugs

Saurabh Joshi, Shuvendu Lahiri, Akash Lal

Principles of Programming Languages (POPL) 2012 | January 2012

출판 프로젝트 프로젝트

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 동영상 프로젝트

Precise null-pointer analysis using Global Value Numbering

Ankush Das, Akash Lal

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

Publication 프로젝트

Angelic Verification: Precise Verification Modulo Unknowns

Shuvendu Lahiri, Akash Lal, Yi Li, Ankush Das

Computer Aided Verification (CAV) | July 2015

출판 출판 프로젝트

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)

출판 프로젝트

Underspecified Harnesses and Interleaved Bugs

Saurabh Joshi, Shuvendu Lahiri, Akash Lal

Principles of Programming Languages (POPL) 2012 | January 2012

출판 프로젝트 프로젝트

Static Assertion Checking of Production Software with Angelic Verification

Shuvendu Lahiri, Akash Lal

| August 2017

글쓴이 Microsoft

Publication