SymDiff: Differential Program Verifier

설립: October 14, 2010

출판물

자료 보기:

- 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 프로젝트
- Verified Three-Way Program Merge
  
  Marcelo Sousa, Isil Dillig, Shuvendu Lahiri
  
  Object-Oriented Programming, Systems, Languages & Applications Conference (OOPSLA 2018) | November 2018
  
  Publication 프로젝트
- Datalog-Based Scalable Semantic Diffing of Concurrent Programs
  
  Chungha Sung, Shuvendu Lahiri, C. Enea, Chao Wang
  
  International Conference on Automated Software Engineering (ASE ’18) | July 2018
  
  DOI Publication Publication PDF
- Abstract Semantic Diffing of Evolving Concurrent Programs
  
  Ahmed Bouajjani, Constantin Enea, Shuvendu Lahiri
  
  Static Analysis Symposium 2017 (SAS'17) | August 2017
  
  출판
- 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
  
  출판
- Modular Verification 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)
  
  출판
- 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)
  
  출판 출판
- Automated Differential Program Verification for Approximate Computing
  
  Arvind Haran, Shaobo He, Zvonimir, Shuvendu Lahiri
  
  May 2015
  
  출판
- 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
  
  출판 Github 프로젝트
- 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
  
  출판 출판 프로젝트
- Automatic Rootcausing for Program Equivalence Failures in Binaries
  
  Shuvendu Lahiri, Rohit Sinha, Chris Hawblitzel
  
  MSR-TR-2014-11 | February 2014
  
  출판
- Differential Assertion Checking
  
  Shuvendu Lahiri, Ken McMillan, Chris Hawblitzel, Kenneth McMillan
  
  Foundations of Software Engineering (FSE'13) | August 2013
  
  출판 출판
- 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
  
  출판 출판
- 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)
  
  출판 출판
- Differential Assertion Checking
  
  Shuvendu Lahiri, Kenneth McMillan, Chris Hawblitzel
  
  MSR-TR-2013-34 | March 2013
  
  출판
- 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
  
  출판
- Underspecified Harnesses and Interleaved Bugs
  
  Saurabh Joshi, Shuvendu Lahiri, Akash Lal
  
  Principles of Programming Languages (POPL) 2012 | January 2012
  
  출판 프로젝트 프로젝트
- 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
  
  출판
- 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
  
  출판
- 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
  
  출판
- Conditional equivalence
  
  Ming Kawaguchi, Shuvendu Lahiri, Henrique Rebelo
  
  MSR-TR-2010-119 | October 2010
  
  출판

- 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 프로젝트
- Verified Three-Way Program Merge
  
  Marcelo Sousa, Isil Dillig, Shuvendu Lahiri
  
  Object-Oriented Programming, Systems, Languages & Applications Conference (OOPSLA 2018) | November 2018
  
  Publication 프로젝트
- Datalog-Based Scalable Semantic Diffing of Concurrent Programs
  
  Chungha Sung, Shuvendu Lahiri, C. Enea, Chao Wang
  
  International Conference on Automated Software Engineering (ASE ’18) | July 2018
  
  DOI Publication Publication PDF
- Abstract Semantic Diffing of Evolving Concurrent Programs
  
  Ahmed Bouajjani, Constantin Enea, Shuvendu Lahiri
  
  Static Analysis Symposium 2017 (SAS'17) | August 2017
  
  출판
- 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
  
  출판
- Modular Verification 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)
  
  출판
- 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)
  
  출판 출판
- Automated Differential Program Verification for Approximate Computing
  
  Arvind Haran, Shaobo He, Zvonimir, Shuvendu Lahiri
  
  May 2015
  
  출판
- 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
  
  출판 Github 프로젝트
- 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
  
  출판 출판 프로젝트
- Automatic Rootcausing for Program Equivalence Failures in Binaries
  
  Shuvendu Lahiri, Rohit Sinha, Chris Hawblitzel
  
  MSR-TR-2014-11 | February 2014
  
  출판
- 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
  
  출판 출판
- Differential Assertion Checking
  
  Shuvendu Lahiri, Ken McMillan, Chris Hawblitzel, Kenneth McMillan
  
  Foundations of Software Engineering (FSE'13) | August 2013
  
  출판 출판
- 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)
  
  출판 출판
- Differential Assertion Checking
  
  Shuvendu Lahiri, Kenneth McMillan, Chris Hawblitzel
  
  MSR-TR-2013-34 | March 2013
  
  출판
- 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
  
  출판
- Underspecified Harnesses and Interleaved Bugs
  
  Saurabh Joshi, Shuvendu Lahiri, Akash Lal
  
  Principles of Programming Languages (POPL) 2012 | January 2012
  
  출판 프로젝트 프로젝트
- 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
  
  출판
- 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
  
  출판
- 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
  
  출판
- Conditional equivalence
  
  Ming Kawaguchi, Shuvendu Lahiri, Henrique Rebelo
  
  MSR-TR-2010-119 | October 2010
  
  출판
- 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
  
  출판 Github 프로젝트
- 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
  
  출판 Github 프로젝트
- Automatic Rootcausing for Program Equivalence Failures in Binaries
  
  Shuvendu Lahiri, Rohit Sinha, Chris Hawblitzel
  
  MSR-TR-2014-11 | February 2014
  
  출판

- 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 프로젝트
- Verified Three-Way Program Merge
  
  Marcelo Sousa, Isil Dillig, Shuvendu Lahiri
  
  Object-Oriented Programming, Systems, Languages & Applications Conference (OOPSLA 2018) | November 2018
  
  Publication 프로젝트
- Datalog-Based Scalable Semantic Diffing of Concurrent Programs
  
  Chungha Sung, Shuvendu Lahiri, C. Enea, Chao Wang
  
  International Conference on Automated Software Engineering (ASE ’18) | July 2018
  
  DOI Publication Publication PDF
- Abstract Semantic Diffing of Evolving Concurrent Programs
  
  Ahmed Bouajjani, Constantin Enea, Shuvendu Lahiri
  
  Static Analysis Symposium 2017 (SAS'17) | August 2017
  
  출판
- 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
  
  출판
- Modular Verification 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)
  
  출판
- 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)
  
  출판 출판
- Automated Differential Program Verification for Approximate Computing
  
  Arvind Haran, Shaobo He, Zvonimir, Shuvendu Lahiri
  
  May 2015
  
  출판
- 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
  
  출판 Github 프로젝트
- 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
  
  출판 출판 프로젝트
- 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
  
  출판 출판
- Differential Assertion Checking
  
  Shuvendu Lahiri, Ken McMillan, Chris Hawblitzel, Kenneth McMillan
  
  Foundations of Software Engineering (FSE'13) | August 2013
  
  출판 출판
- 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)
  
  출판 출판
- 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
  
  출판
- Underspecified Harnesses and Interleaved Bugs
  
  Saurabh Joshi, Shuvendu Lahiri, Akash Lal
  
  Principles of Programming Languages (POPL) 2012 | January 2012
  
  출판 프로젝트 프로젝트
- 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
  
  출판
- 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
  
  출판
- Automatic Rootcausing for Program Equivalence Failures in Binaries
  
  Shuvendu Lahiri, Rohit Sinha, Chris Hawblitzel
  
  MSR-TR-2014-11 | February 2014
  
  출판
- Differential Assertion Checking
  
  Shuvendu Lahiri, Kenneth McMillan, Chris Hawblitzel
  
  MSR-TR-2013-34 | March 2013
  
  출판
- 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
  
  출판
- Conditional equivalence
  
  Ming Kawaguchi, Shuvendu Lahiri, Henrique Rebelo
  
  MSR-TR-2010-119 | October 2010
  
  출판

인원

Shuvendu Lahiri

Senior Principal Researcher

Chris Hawblitzel

Senior Principal Researcher