The following pages link to Shuvendu K. Lahiri (Q682352):
Displaying 32 items.
- Verifying relative safety, accuracy, and termination for program approximations (Q682353) (← links)
- Wireless protocol validation under uncertainty (Q1667647) (← links)
- Abstract semantic diffing of evolving concurrent programs (Q2322311) (← links)
- (Q2848687) (← links)
- Underspecified harnesses and interleaved bugs (Q2942854) (← links)
- Modular Verification of Procedure Equivalence in the Presence of Memory Allocation (Q2988675) (← links)
- ExplainHoudini: Making Houdini Inference Transparent (Q3075491) (← links)
- Back to the future (Q3189836) (← links)
- Solving Sparse Linear Constraints (Q3613428) (← links)
- Abstract Threads (Q3656886) (← links)
- (Q4427901) (← links)
- (Q4804887) (← links)
- Towards Modularly Comparing Programs Using Automated Theorem Provers (Q4928447) (← links)
- Complexity and Algorithms for Monomial and Clausal Predicate Abstraction (Q5191104) (← links)
- Abstract Semantic Diffing of Evolving Concurrent Programs (Q5233236) (← links)
- Unifying type checking and property checking for low-level code (Q5261528) (← links)
- Predicate abstraction with indexed predicates (Q5277793) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308385) (← links)
- Predicate Abstraction via Symbolic Decision Procedures (Q5310686) (← links)
- Computer Aided Verification (Q5312894) (← links)
- Computer Aided Verification (Q5312923) (← links)
- Computer Aided Verification (Q5312932) (← links)
- Verifying properties of well-founded linked lists (Q5348918) (← links)
- Zap: Automated Theorem Proving for Software Analysis (Q5387827) (← links)
- (Q5457276) (← links)
- Frontiers of Combining Systems (Q5491898) (← links)
- Computer Aided Verification (Q5716593) (← links)
- A Reachability Predicate for Analyzing Low-Level Software (Q5758100) (← links)
- Correct Hardware Design and Verification Methods (Q5897078) (← links)
- Computer Aided Verification (Q5900675) (← links)
- Computer Aided Verification (Q5900689) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5901914) (← links)
