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