The following pages link to Shuvendu K. Lahiri (Q682352):
Displaying 8 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)
