Shuvendu Lahiri

Cited by

	All	Since 2017
Citations	5182	1872
h-index	36	22
i10-index	66	41

380

190

285

2003200420052006200720082009201020112012201320142015201620172018201920202021202234 132 171 196 187 203 267 286 246 247 291 309 310 305 349 357 356 332 372 105

Public access

View all

11 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Shaz QadeerResearch Scientist, FacebookVerified email at fb.com
Randal BryantCarnegie Mellon UniversityVerified email at cs.cmu.edu
Thomas BallMicrosoft ResearchVerified email at microsoft.com
Sanjit A. SeshiaUniversity of California, BerkeleyVerified email at eecs.berkeley.edu
Akash LalMicrosoft Research, IndiaVerified email at microsoft.com
Isil DilligUT AustinVerified email at cs.utexas.edu
Zvonimir RakamaricAssociate Professor, School of Computing, University of UtahVerified email at cs.utah.edu
Henrique RebêloProfessor of Computer Science, Universidade Federal de PernambucoVerified email at cin.ufpe.br
Byron CookProfessor of Computer Science, UCL, AmazonVerified email at cs.ucl.ac.uk
Christian BirdMicrosoft ResearchVerified email at microsoft.com
Madanlal MusuvathiMicrosoft ResearchVerified email at microsoft.com
Michael D. ErnstProfessor of Computer Science & Engineering, University of WashingtonVerified email at cs.washington.edu
Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair, Comp. Sci. Dept., Univ. of WisconsinVerified email at cs.wisc.edu
Yuepeng WangSimon Fraser UniversityVerified email at sfu.ca
Jordan HenkelGraduate Student, University of Wisconsin--MadisonVerified email at cs.wisc.edu
Sam BlackshearMysten LabsVerified email at mystenlabs.com
Manuel FahndrichSoftware Engineer, Google, previously Researcher, Microsoft ResearchVerified email at fahndrich.com
Julien VanegueCornell UniversityVerified email at cornell.edu
Shaunak ChatterjeeDirector of Engineering, AI at LinkedinVerified email at cs.berkeley.edu
Ben LiblitAmazon Web ServicesVerified email at amazon.com

Shuvendu Lahiri

Senior Principal Researcher, Microsoft Research

Verified email at microsoft.com - Homepage

Formal methods Formal verification Software Testing Program Analysis Automated Reasoning


Title Sort by citations Sort by year Sort by 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	961	2007
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	324	2002
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	206	2012
Back to the future: revisiting precise program verification using SMT solvers S Lahiri, S Qadeer ACM SIGPLAN Notices 43 (1), 171-182, 2008	191	2008
A solver for reachability modulo theories A Lal, S Qadeer, SK Lahiri International Conference on Computer Aided Verification, 427-443, 2012	171	2012
SMT techniques for fast predicate abstraction SK Lahiri, R Nieuwenhuis, A Oliveras International Conference on Computer Aided Verification, 424-437, 2006	138	2006
A symbolic approach to predicate abstraction SK Lahiri, RE Bryant, B Cook International Conference on Computer Aided Verification, 141-153, 2003	135	2003
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	129	2015
Verifying properties of well-founded linked lists SK Lahiri, S Qadeer Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of …, 2006	125	2006
Differential assertion checking SK Lahiri, KL McMillan, R Sharma, C Hawblitzel Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013	122	2013
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	117	2002
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	113	2008
A hybrid SAT-based decision procedure for separation logic with uninterpreted functions SA Seshia, SK Lahiri, RE Bryant Proceedings 2003. Design Automation Conference (IEEE Cat. No. 03CH37451 …, 2003	112	2003
The UCLID Decision Procedure SK Lahiri, SA Seshia International Conference on Computer Aided Verification, 475-478, 2004	111	2004
Constructing quantified invariants via predicate abstraction SK Lahiri, RE Bryant International Workshop on Verification, Model Checking, and Abstract …, 2004	109	2004
Indexed predicate discovery for unbounded system verification SK Lahiri, RE Bryant International Conference on Computer Aided Verification, 135-147, 2004	107	2004
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	97	2007
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	97	2004
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	91	2009
An efficient decision procedure for UTVPI constraints SK Lahiri, M Musuvathi International Workshop on Frontiers of Combining Systems, 168-183, 2005	86	2005

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors