Corral Program Verifier

設立年月日:May 9, 2013年

出版物

表示方法:

- 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 動画プロジェクト
- Distributed Bounded Model Checking
  
  Prantik Chatterjee, Subhajit Roy, Bui Phi Diep, Akash Lal
  
  FMCAD | July 2020
  
  Publication 動画
- Precise null-pointer analysis using Global Value Numbering
  
  Ankush Das, Akash Lal
  
  Automated Technology for Verification and Analysis (ATVA) | July 2017
  
  Publication プロジェクト
- Inferring Annotations For Device Drivers From Verification Histories
  
  Zvonimir Pavlinovic, Akash Lal, Rahul Sharma
  
  Automated Software Engineering (ASE) | September 2016
  
  ACM SIGSOFT Distinguished Paper Award
  
  公開日
- Inferring Annotations For Device Drivers From Verification Histories
  
  Zvonimir Pavlinovic, Akash Lal, Rahul Sharma
  
  MSR-TR-2016-15 | April 2016
  
  公開日
- Angelic Verification: Precise Verification Modulo Unknowns
  
  Shuvendu Lahiri, Akash Lal, Yi Li, Ankush Das
  
  Computer Aided Verification (CAV) | July 2015
  
  公開日公開日プロジェクト
- DAG Inlining: A Decision Procedure for Reachability-Modulo-Theories in Hierarchical Programs
  
  Akash Lal, Shaz Qadeer
  
  Programming Language Design and Implementation (PLDI) | June 2015
  
  公開日
- SMACK+Corral: A Modular Verifier (Competition Contribution)
  
  Arvind Haran, Montgomery Carter, Michael Emmi, Akash Lal, Shaz Qadeer, Zvonimir Rakamaric
  
  Tools and Algorithms for the Construction and Analysis of Systems (TACAS) | March 2015
  
  公開日
- Powering the Static Driver Verifier using Corral
  
  Akash Lal, Shaz Qadeer
  
  Foundations of Software Engineering (FSE) | November 2014
  
  ACM SIGSOFT Distinguished Paper
  
  公開日ダウンロード
- A Program Transformation for Faster Goal-Directed Search
  
  Akash Lal, Shaz Qadeer
  
  Formal Methods in Computer-Aided Design (FMCAD) | October 2014
  
  Best Paper Award
  
  公開日
- Reachability Modulo Theories
  
  Akash Lal, Shaz Qadeer
  
  7th International workshop on Reachability Problems (Invited Paper) | September 2013
  
  公開日
- Finding Non-Terminating Executions in Distributed Asynchronous Programs
  
  Michael Emmi, Akash Lal
  
  Static Analysis Symposium (SAS) | September 2012
  
  公開日
- Corral: A Solver for Reachability Modulo Theories
  
  Akash Lal, Shaz Qadeer, Shuvendu Lahiri
  
  Computer-Aided Verification (CAV) | July 2012
  
  Computer-Aided Verification (CAV)
  
  公開日
- Asynchronous programs with prioritized task buffers
  
  Michael Emmi, Akash Lal, Shaz Qadeer
  
  MSR-TR-2012-1 | January 2012
  
  公開日
- Corral: A Solver for Reachability Modulo Theories
  
  Akash Lal, Shaz Qadeer, Shuvendu Lahiri
  
  MSR-TR-2012-9 | January 2012
  
  公開日
- Underspecified Harnesses and Interleaved Bugs
  
  Saurabh Joshi, Shuvendu Lahiri, Akash Lal
  
  Principles of Programming Languages (POPL) 2012 | January 2012
  
  公開日プロジェクトプロジェクト
- Delay-bounded scheduling
  
  Michael Emmi, Shaz Qadeer, Zvonimir Rakamaric
  
  Proceedings of the 38th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages | January 2011
  
  公開日
- Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers
  
  Shuvendu Lahiri, Shaz Qadeer, Zvonimir Rakamaric
  
  Computer Aided Verification (CAV '09) | February 2009
  
  公開日プロジェクトプロジェクト
- Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis
  
  Akash Lal, Thomas Reps
  
  Formal Methods in System Design (FMSD) | January 2009
  
  公開日

- 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 動画プロジェクト
- Distributed Bounded Model Checking
  
  Prantik Chatterjee, Subhajit Roy, Bui Phi Diep, Akash Lal
  
  FMCAD | July 2020
  
  Publication 動画
- Precise null-pointer analysis using Global Value Numbering
  
  Ankush Das, Akash Lal
  
  Automated Technology for Verification and Analysis (ATVA) | July 2017
  
  Publication プロジェクト
- Inferring Annotations For Device Drivers From Verification Histories
  
  Zvonimir Pavlinovic, Akash Lal, Rahul Sharma
  
  Automated Software Engineering (ASE) | September 2016
  
  ACM SIGSOFT Distinguished Paper Award
  
  公開日
- Inferring Annotations For Device Drivers From Verification Histories
  
  Zvonimir Pavlinovic, Akash Lal, Rahul Sharma
  
  MSR-TR-2016-15 | April 2016
  
  公開日
- Angelic Verification: Precise Verification Modulo Unknowns
  
  Shuvendu Lahiri, Akash Lal, Yi Li, Ankush Das
  
  Computer Aided Verification (CAV) | July 2015
  
  公開日公開日プロジェクト
- DAG Inlining: A Decision Procedure for Reachability-Modulo-Theories in Hierarchical Programs
  
  Akash Lal, Shaz Qadeer
  
  Programming Language Design and Implementation (PLDI) | June 2015
  
  公開日
- SMACK+Corral: A Modular Verifier (Competition Contribution)
  
  Arvind Haran, Montgomery Carter, Michael Emmi, Akash Lal, Shaz Qadeer, Zvonimir Rakamaric
  
  Tools and Algorithms for the Construction and Analysis of Systems (TACAS) | March 2015
  
  公開日
- Powering the Static Driver Verifier using Corral
  
  Akash Lal, Shaz Qadeer
  
  Foundations of Software Engineering (FSE) | November 2014
  
  ACM SIGSOFT Distinguished Paper
  
  公開日ダウンロード
- A Program Transformation for Faster Goal-Directed Search
  
  Akash Lal, Shaz Qadeer
  
  Formal Methods in Computer-Aided Design (FMCAD) | October 2014
  
  Best Paper Award
  
  公開日
- Reachability Modulo Theories
  
  Akash Lal, Shaz Qadeer
  
  7th International workshop on Reachability Problems (Invited Paper) | September 2013
  
  公開日
- Finding Non-Terminating Executions in Distributed Asynchronous Programs
  
  Michael Emmi, Akash Lal
  
  Static Analysis Symposium (SAS) | September 2012
  
  公開日
- Corral: A Solver for Reachability Modulo Theories
  
  Akash Lal, Shaz Qadeer, Shuvendu Lahiri
  
  Computer-Aided Verification (CAV) | July 2012
  
  Computer-Aided Verification (CAV)
  
  公開日
- Asynchronous programs with prioritized task buffers
  
  Michael Emmi, Akash Lal, Shaz Qadeer
  
  MSR-TR-2012-1 | January 2012
  
  公開日
- Underspecified Harnesses and Interleaved Bugs
  
  Saurabh Joshi, Shuvendu Lahiri, Akash Lal
  
  Principles of Programming Languages (POPL) 2012 | January 2012
  
  公開日プロジェクトプロジェクト
- Corral: A Solver for Reachability Modulo Theories
  
  Akash Lal, Shaz Qadeer, Shuvendu Lahiri
  
  MSR-TR-2012-9 | January 2012
  
  公開日
- Delay-bounded scheduling
  
  Michael Emmi, Shaz Qadeer, Zvonimir Rakamaric
  
  Proceedings of the 38th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages | January 2011
  
  公開日
- Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers
  
  Shuvendu Lahiri, Shaz Qadeer, Zvonimir Rakamaric
  
  Computer Aided Verification (CAV '09) | February 2009
  
  公開日プロジェクトプロジェクト
- Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis
  
  Akash Lal, Thomas Reps
  
  Formal Methods in System Design (FMSD) | January 2009
  
  公開日
- Corral: A Solver for Reachability Modulo Theories
  
  Akash Lal, Shaz Qadeer, Shuvendu Lahiri
  
  Computer-Aided Verification (CAV) | July 2012
  
  Computer-Aided Verification (CAV)
  
  公開日
- Asynchronous programs with prioritized task buffers
  
  Michael Emmi, Akash Lal, Shaz Qadeer
  
  MSR-TR-2012-1 | 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 動画プロジェクト
- Distributed Bounded Model Checking
  
  Prantik Chatterjee, Subhajit Roy, Bui Phi Diep, Akash Lal
  
  FMCAD | July 2020
  
  Publication 動画
- Precise null-pointer analysis using Global Value Numbering
  
  Ankush Das, Akash Lal
  
  Automated Technology for Verification and Analysis (ATVA) | July 2017
  
  Publication プロジェクト
- Inferring Annotations For Device Drivers From Verification Histories
  
  Zvonimir Pavlinovic, Akash Lal, Rahul Sharma
  
  Automated Software Engineering (ASE) | September 2016
  
  ACM SIGSOFT Distinguished Paper Award
  
  公開日
- Angelic Verification: Precise Verification Modulo Unknowns
  
  Shuvendu Lahiri, Akash Lal, Yi Li, Ankush Das
  
  Computer Aided Verification (CAV) | July 2015
  
  公開日公開日プロジェクト
- DAG Inlining: A Decision Procedure for Reachability-Modulo-Theories in Hierarchical Programs
  
  Akash Lal, Shaz Qadeer
  
  Programming Language Design and Implementation (PLDI) | June 2015
  
  公開日
- SMACK+Corral: A Modular Verifier (Competition Contribution)
  
  Arvind Haran, Montgomery Carter, Michael Emmi, Akash Lal, Shaz Qadeer, Zvonimir Rakamaric
  
  Tools and Algorithms for the Construction and Analysis of Systems (TACAS) | March 2015
  
  公開日
- Powering the Static Driver Verifier using Corral
  
  Akash Lal, Shaz Qadeer
  
  Foundations of Software Engineering (FSE) | November 2014
  
  ACM SIGSOFT Distinguished Paper
  
  公開日ダウンロード
- A Program Transformation for Faster Goal-Directed Search
  
  Akash Lal, Shaz Qadeer
  
  Formal Methods in Computer-Aided Design (FMCAD) | October 2014
  
  Best Paper Award
  
  公開日
- Reachability Modulo Theories
  
  Akash Lal, Shaz Qadeer
  
  7th International workshop on Reachability Problems (Invited Paper) | September 2013
  
  公開日
- Finding Non-Terminating Executions in Distributed Asynchronous Programs
  
  Michael Emmi, Akash Lal
  
  Static Analysis Symposium (SAS) | September 2012
  
  公開日
- Corral: A Solver for Reachability Modulo Theories
  
  Akash Lal, Shaz Qadeer, Shuvendu Lahiri
  
  Computer-Aided Verification (CAV) | July 2012
  
  Computer-Aided Verification (CAV)
  
  公開日
- Underspecified Harnesses and Interleaved Bugs
  
  Saurabh Joshi, Shuvendu Lahiri, Akash Lal
  
  Principles of Programming Languages (POPL) 2012 | January 2012
  
  公開日プロジェクトプロジェクト
- Delay-bounded scheduling
  
  Michael Emmi, Shaz Qadeer, Zvonimir Rakamaric
  
  Proceedings of the 38th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages | January 2011
  
  公開日
- Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers
  
  Shuvendu Lahiri, Shaz Qadeer, Zvonimir Rakamaric
  
  Computer Aided Verification (CAV '09) | February 2009
  
  公開日プロジェクトプロジェクト
- Inferring Annotations For Device Drivers From Verification Histories
  
  Zvonimir Pavlinovic, Akash Lal, Rahul Sharma
  
  MSR-TR-2016-15 | April 2016
  
  公開日
- Asynchronous programs with prioritized task buffers
  
  Michael Emmi, Akash Lal, Shaz Qadeer
  
  MSR-TR-2012-1 | January 2012
  
  公開日
- Corral: A Solver for Reachability Modulo Theories
  
  Akash Lal, Shaz Qadeer, Shuvendu Lahiri
  
  MSR-TR-2012-9 | January 2012
  
  公開日
- Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis
  
  Akash Lal, Thomas Reps
  
  Formal Methods in System Design (FMSD) | January 2009
  
  公開日

人数

Shuvendu Lahiri

Senior Principal Researcher

詳細はこちら

Akash Lal

Partner Researcher

詳細はこちら