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
11322007
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
3392002
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
2422012
Back to the future: revisiting precise program verification using SMT solvers
S Lahiri, S Qadeer
ACM SIGPLAN Notices 43 (1), 171-182, 2008
2062008
A solver for reachability modulo theories
A Lal, S Qadeer, SK Lahiri
Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012
1852012
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
1802015
SMT techniques for fast predicate abstraction
SK Lahiri, R Nieuwenhuis, A Oliveras
Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006
1582006
A symbolic approach to predicate abstraction
SK Lahiri, RE Bryant, B Cook
International Conference on Computer Aided Verification, 141-153, 2003
1492003
Differential assertion checking
SK Lahiri, KL McMillan, R Sharma, C Hawblitzel
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
1442013
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
1272008
Verifying properties of well-founded linked lists
SK Lahiri, S Qadeer
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of …, 2006
1232006
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
1222002
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
1192003
Constructing quantified invariants via predicate abstraction
SK Lahiri, RE Bryant
International Workshop on Verification, Model Checking, and Abstract …, 2004
1172004
Codamosa: Escaping coverage plateaus in test generation with pre-trained large language models
C Lemieux, JP Inala, SK Lahiri, S Sen
2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023
1162023
The UCLID Decision Procedure
SK Lahiri, SA Seshia
Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004
1132004
Indexed predicate discovery for unbounded system verification
SK Lahiri, RE Bryant
Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004
1112004
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
1022007
An efficient decision procedure for UTVPI constraints
SK Lahiri, M Musuvathi
Frontiers of Combining Systems: 5th International Workshop, FroCoS 2005 …, 2005
1022005
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
1002004
The system can't perform the operation now. Try again later.
Articles 1–20