Shuvendu K. Lahiri

Available identifiers

zbMath Open lahiri.shuvendu-kumarMaRDI QIDQ682352

List of research outcomes

Publication	Date of Publication	Type
Automated synthesis of asynchronizations	2023-07-28	Paper
Abstract Semantic Diffing of Evolving Concurrent Programs	2019-09-16	Paper
Abstract semantic diffing of evolving concurrent programs	2019-09-04	Paper
Wireless protocol validation under uncertainty	2018-08-30	Paper
Verifying relative safety, accuracy, and termination for program approximations	2018-02-02	Paper
Verifying properties of well-founded linked lists	2017-08-21	Paper
Predicate abstraction with indexed predicates	2017-07-12	Paper
Modular Verification of Procedure Equivalence in the Presence of Memory Allocation	2017-05-19	Paper
Underspecified harnesses and interleaved bugs	2015-09-11	Paper
Unifying type checking and property checking for low-level code	2015-07-03	Paper
Back to the future	2014-09-12	Paper
An efficient Nelson-Oppen decision procedure for difference constraints over rationals	2013-09-26	Paper
Towards Modularly Comparing Programs Using Automated Theorem Provers	2013-06-14	Paper
ExplainHoudini: Making Houdini Inference Transparent	2011-02-15	Paper
Computer Aided Verification	2010-04-20	Paper
Computer Aided Verification	2010-04-20	Paper
Correct Hardware Design and Verification Methods	2010-02-05	Paper
Abstract Threads	2010-01-14	Paper
Complexity and Algorithms for Monomial and Clausal Predicate Abstraction	2009-07-28	Paper
Verification, Model Checking, and Abstract Interpretation	2009-05-15	Paper
Solving Sparse Linear Constraints	2009-03-12	Paper
Zap: Automated Theorem Proving for Software Analysis	2008-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q5457276	2008-04-14	Paper
Predicate Abstraction via Symbolic Decision Procedures	2007-10-11	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-09-28	Paper
A Reachability Predicate for Analyzing Low-Level Software	2007-09-03	Paper
Frontiers of Combining Systems	2006-10-10	Paper
Computer Aided Verification	2006-01-10	Paper
Computer Aided Verification	2005-08-25	Paper
Computer Aided Verification	2005-08-25	Paper
Computer Aided Verification	2005-08-25	Paper
https://portal.mardi4nfdi.de/entity/Q4427901	2003-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q4804887	2003-05-01	Paper

Research outcomes over time

This page was built for person: Shuvendu K. Lahiri