SymDiff: Differential Program Verifier

Towards Understanding and Fixing Upstream Merge Induced Conflicts in Divergent Forks: An Industrial Case Study

Chunhga Sung, Shuvendu Lahiri, Pallavi Choudhury, Mike Kaufman, Chao Wang

The 42nd International Conference on Software Engineering (ICSE SEIP Track), Seoul, Korea, May 2020 | May 2020

Publication Project

Verified Three-Way Program Merge

Marcelo Sousa, Isil Dillig, Shuvendu Lahiri

Object-Oriented Programming, Systems, Languages & Applications Conference (OOPSLA 2018) | November 2018

Publication Project

Datalog-based scalable semantic diffing of concurrent programs

Chungha Sung , Shuvendu Lahiri, Constantin Enea , Chao Wang

International Conference on Automated Software Engineering (ASE ’18) | September 2018

Publication Publication Publication

Abstract Semantic Diffing of Evolving Concurrent Programs

Ahmed Bouajjani, Constantin Enea, Shuvendu Lahiri

Static Analysis Symposium 2017 (SAS'17) | August 2017

Publication

Refining Interprocedural Change-Impact Analysis using Equivalence Relations

Alex Gyori, Shuvendu Lahiri, Nimrod Partush

The International Symposium on Software Testing and Analysis 2017 (ISSTA '17) | July 2017

Publication

Modular Verification of Procedure Equivalence in the Presence of Memory Allocation

Tim Wood, Sophia Drossopoulou, Shuvendu Lahiri, Susan Eisenbach

European Symposium of Programming 2017 (ESOP'17) | April 2017

Publication

Verifying Relative Safety, Accuracy, and Termination for Program Approximations

NASA Formal Methods Symposium (NFM '16) | June 2016

NASA Formal Methods Symposium (NFM '16)

Publication

Automatic Rootcausing for Program Equivalence Failures in Binaries

Shuvendu Lahiri, Rohit Sinha, Chris Hawblitzel

Computer Aided Verification (CAV'15) | July 2015

Computer Aided Verification (CAV'15)

Publication Publication

Automated Differential Program Verification for Approximate Computing

Arvind Haran, Shaobo He, Zvonimir, Shuvendu Lahiri

May 2015

Publication

Ironclad Apps: End-to-End Security via Automated Full-System Verification

Chris Hawblitzel, Jon Howell, Jay Lorch, Arjun Narayan, Bryan Parno, Danfeng Zhang, Brian Zill

USENIX Symposium on Operating Systems Design and Implementation (OSDI) | October 2014

Publication Github Project

Verification Modulo Versions: Towards Usable Verification

Francesco Logozzo, Shuvendu Lahiri

Proceedings of the 35th conference on Programming Languages, Design, and Implementation (PLDI 2014) | June 2014

Publication Publication Project

Automatic Rootcausing for Program Equivalence Failures in Binaries

Shuvendu Lahiri, Rohit Sinha, Chris Hawblitzel

MSR-TR-2014-11 | February 2014

Publication

Differential Assertion Checking

Shuvendu Lahiri, Ken McMillan, Chris Hawblitzel, Kenneth McMillan

Foundations of Software Engineering (FSE'13) | August 2013

Publication Publication

Will You Still Compile Me Tomorrow? Static Cross-Version Compiler Validation

Chris Hawblitzel, Shuvendu Lahiri, Kshama Pawar, Hammad Hashmi, Sedar Gokbulut, Lakshan Fernando, Dave Detlefs, Scott Wadsworth

Foundations of Software Engineering (FSE'13) | August 2013

Publication Publication

Towards Modularly Comparing Programs using Automated Theorem Provers

Chris Hawblitzel, Shuvendu Lahiri, Ming Kawaguchi, Henrique Rebelo

International Conference on Automated Deduction (CADE '13) | June 2013

International Conference on Automated Deduction (CADE '13)

Publication Publication

Differential Assertion Checking

Shuvendu Lahiri, Kenneth McMillan, Chris Hawblitzel

MSR-TR-2013-34 | March 2013

Publication

SymDiff: A language-agnostic semantic diff tool for imperative programs

Shuvendu Lahiri, Chris Hawblitzel, Ming Kawaguchi, Henrique Rebelo

Computer Aided Verification (CAV '12) (Tool description) | July 2012

Publication

Underspecified Harnesses and Interleaved Bugs

Saurabh Joshi, Shuvendu Lahiri, Akash Lal

Principles of Programming Languages (POPL) 2012 | January 2012

Publication Project Project

Mutual Summaries: Unifying Program Comparison Techniques

Chris Hawblitzel, Ming Kawaguchi, Shuvendu Lahiri, Henrique Rebelo

MSR-TR-2011-78 | August 2011

Informal proceedings of BOOGIE 2011 workshop

Publication

Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation

Patrice Godefroid, Shuvendu Lahiri, Cindy Rubio-González

Static Analysis Symposium (SAS '11) | August 2011

Publication

Differential Static Analysis: Opportunities, Applications, and Challenges

Shuvendu Lahiri, Kapil Vaswani, Tony Hoare

2010 FSE/SDP Workshop on the Future of Software Engineering Research (Position paper) | November 2010

Publication

Conditional equivalence

Ming Kawaguchi, Shuvendu Lahiri, Henrique Rebelo

MSR-TR-2010-119 | October 2010

Publication

Towards Understanding and Fixing Upstream Merge Induced Conflicts in Divergent Forks: An Industrial Case Study

Chunhga Sung, Shuvendu Lahiri, Pallavi Choudhury, Mike Kaufman, Chao Wang

The 42nd International Conference on Software Engineering (ICSE SEIP Track), Seoul, Korea, May 2020 | May 2020

Publication Project

Verified Three-Way Program Merge

Marcelo Sousa, Isil Dillig, Shuvendu Lahiri

Object-Oriented Programming, Systems, Languages & Applications Conference (OOPSLA 2018) | November 2018

Publication Project

Datalog-based scalable semantic diffing of concurrent programs

Chungha Sung , Shuvendu Lahiri, Constantin Enea , Chao Wang

International Conference on Automated Software Engineering (ASE ’18) | September 2018

Publication Publication Publication

Abstract Semantic Diffing of Evolving Concurrent Programs

Ahmed Bouajjani, Constantin Enea, Shuvendu Lahiri

Static Analysis Symposium 2017 (SAS'17) | August 2017

Publication

Refining Interprocedural Change-Impact Analysis using Equivalence Relations

Alex Gyori, Shuvendu Lahiri, Nimrod Partush

The International Symposium on Software Testing and Analysis 2017 (ISSTA '17) | July 2017

Publication

Modular Verification of Procedure Equivalence in the Presence of Memory Allocation

Tim Wood, Sophia Drossopoulou, Shuvendu Lahiri, Susan Eisenbach

European Symposium of Programming 2017 (ESOP'17) | April 2017

Publication

Verifying Relative Safety, Accuracy, and Termination for Program Approximations

NASA Formal Methods Symposium (NFM '16) | June 2016

NASA Formal Methods Symposium (NFM '16)

Publication

Automatic Rootcausing for Program Equivalence Failures in Binaries

Shuvendu Lahiri, Rohit Sinha, Chris Hawblitzel

Computer Aided Verification (CAV'15) | July 2015

Computer Aided Verification (CAV'15)

Publication Publication

Automated Differential Program Verification for Approximate Computing

Arvind Haran, Shaobo He, Zvonimir, Shuvendu Lahiri

May 2015

Publication

Ironclad Apps: End-to-End Security via Automated Full-System Verification

Chris Hawblitzel, Jon Howell, Jay Lorch, Arjun Narayan, Bryan Parno, Danfeng Zhang, Brian Zill

USENIX Symposium on Operating Systems Design and Implementation (OSDI) | October 2014

Publication Github Project

Verification Modulo Versions: Towards Usable Verification

Francesco Logozzo, Shuvendu Lahiri

Proceedings of the 35th conference on Programming Languages, Design, and Implementation (PLDI 2014) | June 2014

Publication Publication Project

Automatic Rootcausing for Program Equivalence Failures in Binaries

Shuvendu Lahiri, Rohit Sinha, Chris Hawblitzel

MSR-TR-2014-11 | February 2014

Publication

Differential Assertion Checking

Shuvendu Lahiri, Ken McMillan, Chris Hawblitzel, Kenneth McMillan

Foundations of Software Engineering (FSE'13) | August 2013

Publication Publication

Will You Still Compile Me Tomorrow? Static Cross-Version Compiler Validation

Chris Hawblitzel, Shuvendu Lahiri, Kshama Pawar, Hammad Hashmi, Sedar Gokbulut, Lakshan Fernando, Dave Detlefs, Scott Wadsworth

Foundations of Software Engineering (FSE'13) | August 2013

Publication Publication

Towards Modularly Comparing Programs using Automated Theorem Provers

Chris Hawblitzel, Shuvendu Lahiri, Ming Kawaguchi, Henrique Rebelo

International Conference on Automated Deduction (CADE '13) | June 2013

International Conference on Automated Deduction (CADE '13)

Publication Publication

Differential Assertion Checking

Shuvendu Lahiri, Kenneth McMillan, Chris Hawblitzel

MSR-TR-2013-34 | March 2013

Publication

SymDiff: A language-agnostic semantic diff tool for imperative programs

Shuvendu Lahiri, Chris Hawblitzel, Ming Kawaguchi, Henrique Rebelo

Computer Aided Verification (CAV '12) (Tool description) | July 2012

Publication

Underspecified Harnesses and Interleaved Bugs

Saurabh Joshi, Shuvendu Lahiri, Akash Lal

Principles of Programming Languages (POPL) 2012 | January 2012

Publication Project Project

Mutual Summaries: Unifying Program Comparison Techniques

Chris Hawblitzel, Ming Kawaguchi, Shuvendu Lahiri, Henrique Rebelo

MSR-TR-2011-78 | August 2011

Informal proceedings of BOOGIE 2011 workshop

Publication

Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation

Patrice Godefroid, Shuvendu Lahiri, Cindy Rubio-González

Static Analysis Symposium (SAS '11) | August 2011

Publication

Differential Static Analysis: Opportunities, Applications, and Challenges

Shuvendu Lahiri, Kapil Vaswani, Tony Hoare

2010 FSE/SDP Workshop on the Future of Software Engineering Research (Position paper) | November 2010

Publication

Conditional equivalence

Ming Kawaguchi, Shuvendu Lahiri, Henrique Rebelo

MSR-TR-2010-119 | October 2010

Publication

Ironclad Apps: End-to-End Security via Automated Full-System Verification

Chris Hawblitzel, Jon Howell, Jay Lorch, Arjun Narayan, Bryan Parno, Danfeng Zhang, Brian Zill

USENIX Symposium on Operating Systems Design and Implementation (OSDI) | October 2014

Publication Github Project

Ironclad Apps: End-to-End Security via Automated Full-System Verification

Chris Hawblitzel, Jon Howell, Jay Lorch, Arjun Narayan, Bryan Parno, Danfeng Zhang, Brian Zill

USENIX Symposium on Operating Systems Design and Implementation (OSDI) | October 2014

Publication Github Project

Automatic Rootcausing for Program Equivalence Failures in Binaries

Shuvendu Lahiri, Rohit Sinha, Chris Hawblitzel

MSR-TR-2014-11 | February 2014

Publication

Towards Understanding and Fixing Upstream Merge Induced Conflicts in Divergent Forks: An Industrial Case Study

Chunhga Sung, Shuvendu Lahiri, Pallavi Choudhury, Mike Kaufman, Chao Wang

The 42nd International Conference on Software Engineering (ICSE SEIP Track), Seoul, Korea, May 2020 | May 2020

Publication Project

Verified Three-Way Program Merge

Marcelo Sousa, Isil Dillig, Shuvendu Lahiri

Object-Oriented Programming, Systems, Languages & Applications Conference (OOPSLA 2018) | November 2018

Publication Project

Datalog-based scalable semantic diffing of concurrent programs

Chungha Sung , Shuvendu Lahiri, Constantin Enea , Chao Wang

International Conference on Automated Software Engineering (ASE ’18) | September 2018

Publication Publication Publication

Abstract Semantic Diffing of Evolving Concurrent Programs

Ahmed Bouajjani, Constantin Enea, Shuvendu Lahiri

Static Analysis Symposium 2017 (SAS'17) | August 2017

Publication

Refining Interprocedural Change-Impact Analysis using Equivalence Relations

Alex Gyori, Shuvendu Lahiri, Nimrod Partush

The International Symposium on Software Testing and Analysis 2017 (ISSTA '17) | July 2017

Publication

Modular Verification of Procedure Equivalence in the Presence of Memory Allocation

Tim Wood, Sophia Drossopoulou, Shuvendu Lahiri, Susan Eisenbach

European Symposium of Programming 2017 (ESOP'17) | April 2017

Publication

Verifying Relative Safety, Accuracy, and Termination for Program Approximations

NASA Formal Methods Symposium (NFM '16) | June 2016

NASA Formal Methods Symposium (NFM '16)

Publication

Automatic Rootcausing for Program Equivalence Failures in Binaries

Shuvendu Lahiri, Rohit Sinha, Chris Hawblitzel

Computer Aided Verification (CAV'15) | July 2015

Computer Aided Verification (CAV'15)

Publication Publication

Automated Differential Program Verification for Approximate Computing

Arvind Haran, Shaobo He, Zvonimir, Shuvendu Lahiri

May 2015

Publication

Ironclad Apps: End-to-End Security via Automated Full-System Verification

Chris Hawblitzel, Jon Howell, Jay Lorch, Arjun Narayan, Bryan Parno, Danfeng Zhang, Brian Zill

USENIX Symposium on Operating Systems Design and Implementation (OSDI) | October 2014

Publication Github Project

Verification Modulo Versions: Towards Usable Verification

Francesco Logozzo, Shuvendu Lahiri

Proceedings of the 35th conference on Programming Languages, Design, and Implementation (PLDI 2014) | June 2014

Publication Publication Project

Differential Assertion Checking

Shuvendu Lahiri, Ken McMillan, Chris Hawblitzel, Kenneth McMillan

Foundations of Software Engineering (FSE'13) | August 2013

Publication Publication

Will You Still Compile Me Tomorrow? Static Cross-Version Compiler Validation

Chris Hawblitzel, Shuvendu Lahiri, Kshama Pawar, Hammad Hashmi, Sedar Gokbulut, Lakshan Fernando, Dave Detlefs, Scott Wadsworth

Foundations of Software Engineering (FSE'13) | August 2013

Publication Publication

Towards Modularly Comparing Programs using Automated Theorem Provers

Chris Hawblitzel, Shuvendu Lahiri, Ming Kawaguchi, Henrique Rebelo

International Conference on Automated Deduction (CADE '13) | June 2013

International Conference on Automated Deduction (CADE '13)

Publication Publication

SymDiff: A language-agnostic semantic diff tool for imperative programs

Shuvendu Lahiri, Chris Hawblitzel, Ming Kawaguchi, Henrique Rebelo

Computer Aided Verification (CAV '12) (Tool description) | July 2012

Publication

Underspecified Harnesses and Interleaved Bugs

Saurabh Joshi, Shuvendu Lahiri, Akash Lal

Principles of Programming Languages (POPL) 2012 | January 2012

Publication Project Project

Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation

Patrice Godefroid, Shuvendu Lahiri, Cindy Rubio-González

Static Analysis Symposium (SAS '11) | August 2011

Publication

Differential Static Analysis: Opportunities, Applications, and Challenges

Shuvendu Lahiri, Kapil Vaswani, Tony Hoare

2010 FSE/SDP Workshop on the Future of Software Engineering Research (Position paper) | November 2010

Publication

Automatic Rootcausing for Program Equivalence Failures in Binaries

Shuvendu Lahiri, Rohit Sinha, Chris Hawblitzel

MSR-TR-2014-11 | February 2014

Publication

Differential Assertion Checking

Shuvendu Lahiri, Kenneth McMillan, Chris Hawblitzel

MSR-TR-2013-34 | March 2013

Publication

Mutual Summaries: Unifying Program Comparison Techniques

Chris Hawblitzel, Ming Kawaguchi, Shuvendu Lahiri, Henrique Rebelo

MSR-TR-2011-78 | August 2011

Informal proceedings of BOOGIE 2011 workshop

Publication

Conditional equivalence

Ming Kawaguchi, Shuvendu Lahiri, Henrique Rebelo

MSR-TR-2010-119 | October 2010

Publication