Shuvendu Lahiri
Shuvendu Lahiri
Principal Researcher, Microsoft Research
Verified email at microsoft.com - Homepage
TitleCited byYear
Feedback-directed random test generation
C Pacheco, SK Lahiri, MD Ernst, T Ball
Proceedings of the 29th international conference on Software Engineering, 75-84, 2007
7412007
Modeling and verifying systems using a logic of counter arithmetic with lambda expressions and uninterpreted functions
RE Bryant, SK Lahiri, SA Seshia
International Conference on Computer Aided Verification, 78-92, 2002
2982002
Back to the future: revisiting precise program verification using SMT solvers
S Lahiri, S Qadeer
ACM SIGPLAN Notices 43 (1), 171-182, 2008
1772008
Symdiff: A language-agnostic semantic diff tool for imperative programs
SK Lahiri, C Hawblitzel, M Kawaguchi, H RebÍlo
International Conference on Computer Aided Verification, 712-717, 2012
1372012
A solver for reachability modulo theories
A Lal, S Qadeer, SK Lahiri
International Conference on Computer Aided Verification, 427-443, 2012
1302012
A symbolic approach to predicate abstraction
SK Lahiri, RE Bryant, B Cook
International Conference on Computer Aided Verification, 141-153, 2003
1262003
Verifying properties of well-founded linked lists
SK Lahiri, S Qadeer
ACM SIGPLAN Notices 41 (1), 115-126, 2006
1192006
SMT techniques for fast predicate abstraction
SK Lahiri, R Nieuwenhuis, A Oliveras
International Conference on Computer Aided Verification, 424-437, 2006
1092006
Modeling and verification of out-of-order microprocessors in UCLID
SK Lahiri, SA Seshia, RE Bryant
International Conference on Formal Methods in Computer-Aided Design, 142-159, 2002
1052002
Indexed predicate discovery for unbounded system verification
SK Lahiri, RE Bryant
International Conference on Computer Aided Verification, 135-147, 2004
1012004
Constructing quantified invariants via predicate abstraction
SK Lahiri, RE Bryant
International Workshop on Verification, Model Checking, and Abstract†…, 2004
1002004
A hybrid SAT-based decision procedure for separation logic with uninterpreted functions
SA Seshia, SK Lahiri, RE Bryant
Proceedings of the 40th annual Design Automation Conference, 425-430, 2003
1002003
The UCLID Decision Procedure
SK Lahiri, SA Seshia
International Conference on Computer Aided Verification, 475-478, 2004
952004
Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement
T Ball, B Cook, SK Lahiri, L Zhang
International Conference on Computer Aided Verification, 457-461, 2004
912004
Differential assertion checking
SK Lahiri, KL McMillan, R Sharma, C Hawblitzel
Proceedings of the 2013 9th Joint Meeting on Foundations of Software†…, 2013
882013
Finding errors in. net with feedback-directed random testing
C Pacheco, SK Lahiri, T Ball
Proceedings of the 2008 international symposium on Software testing and†…, 2008
872008
A reachability predicate for analyzing low-level software
S Chatterjee, SK Lahiri, S Qadeer, Z Rakamarić
International Conference on Tools and Algorithms for the Construction and†…, 2007
872007
Static and precise detection of concurrency errors in systems code using SMT solvers
SK Lahiri, S Qadeer, Z Rakamarić
International Conference on Computer Aided Verification, 509-524, 2009
842009
Unifying type checking and property checking for low-level code
J Condit, B Hackett, SK Lahiri, S Qadeer
ACM SIGPLAN Notices 44 (1), 302-314, 2009
722009
An efficient decision procedure for UTVPI constraints
SK Lahiri, M Musuvathi
International Workshop on Frontiers of Combining Systems, 168-183, 2005
692005
The system can't perform the operation now. Try again later.
Articles 1–20