Follow
Shuvendu Lahiri
Shuvendu Lahiri
Senior Principal Researcher, Microsoft Research
Verified email at microsoft.com - Homepage
Title
Cited by
Cited by
Year
Feedback-directed random test generation
C Pacheco, SK Lahiri, MD Ernst, T Ball
29th International Conference on Software Engineering (ICSE'07), 75-84, 2007
10112007
Modeling and verifying systems using a logic of counter arithmetic with lambda expressions and uninterpreted functions
RE Bryant, SK Lahiri, SA Seshia
Computer Aided Verification: 14th International Conference, CAV 2002†…, 2002
3272002
Symdiff: A language-agnostic semantic diff tool for imperative programs
SK Lahiri, C Hawblitzel, M Kawaguchi, H RebÍlo
Computer Aided Verification: 24th International Conference, CAV 2012†…, 2012
2112012
Back to the future: revisiting precise program verification using SMT solvers
S Lahiri, S Qadeer
ACM SIGPLAN Notices 43 (1), 171-182, 2008
1952008
A solver for reachability modulo theories
A Lal, S Qadeer, SK Lahiri
Computer Aided Verification: 24th International Conference, CAV 2012†…, 2012
1802012
SMT techniques for fast predicate abstraction
SK Lahiri, R Nieuwenhuis, A Oliveras
Computer Aided Verification: 18th International Conference, CAV 2006†…, 2006
1462006
Helping developers help themselves: Automatic decomposition of code review changesets
M Barnett, C Bird, J Brunet, SK Lahiri
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1†…, 2015
1452015
A symbolic approach to predicate abstraction
SK Lahiri, RE Bryant, B Cook
Computer Aided Verification: 15th International Conference, CAV 2003†…, 2003
1432003
Differential assertion checking
SK Lahiri, KL McMillan, R Sharma, C Hawblitzel
Proceedings of the 2013 9th Joint Meeting on Foundations of Software†…, 2013
1282013
Verifying properties of well-founded linked lists
SK Lahiri, S Qadeer
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of†…, 2006
1252006
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
1182008
Modeling and verification of out-of-order microprocessors in UCLID
SK Lahiri, SA Seshia, RE Bryant
Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD†…, 2002
1162002
Constructing quantified invariants via predicate abstraction
SK Lahiri, RE Bryant
Verification, Model Checking, and Abstract Interpretation: 5th International†…, 2004
1142004
The UCLID Decision Procedure
SK Lahiri, SA Seshia
Computer Aided Verification: 16th International Conference, CAV 2004, Boston†…, 2004
1132004
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
1122003
Indexed predicate discovery for unbounded system verification
SK Lahiri, RE Bryant
Computer Aided Verification: 16th International Conference, CAV 2004, Boston†…, 2004
1112004
Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement
T Ball, B Cook, SK Lahiri, L Zhang
Computer Aided Verification: 16th International Conference, CAV 2004, Boston†…, 2004
992004
A reachability predicate for analyzing low-level software
S Chatterjee, SK Lahiri, S Qadeer, Z Rakamarić
Tools and Algorithms for the Construction and Analysis of Systems: 13th†…, 2007
972007
Static and precise detection of concurrency errors in systems code using SMT solvers
SK Lahiri, S Qadeer, Z Rakamarić
Computer Aided Verification: 21st International Conference, CAV 2009†…, 2009
932009
An efficient decision procedure for UTVPI constraints
SK Lahiri, M Musuvathi
Frontiers of Combining Systems: 5th International Workshop, FroCoS 2005†…, 2005
902005
The system can't perform the operation now. Try again later.
Articles 1–20