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
https://portal.mardi4nfdi.de/entity/Q2848687	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Shuvendu K. Lahiri