Shuvendu Lahiri

Cited by

	All	Since 2016
Citations	4847	1811
h-index	35	20
i10-index	64	41

360

180

270

200320042005200620072008200920102011201220132014201520162017201820192020202137 135 171 199 186 206 269 280 255 253 294 314 313 309 339 357 341 317 147

Public access

View all

9 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
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
Isil DilligUT AustinVerified email at cs.utexas.edu
Madanlal MusuvathiMicrosoft ResearchVerified email at microsoft.com
Michael D. ErnstProfessor of Computer Science & Engineering, University of WashingtonVerified email at cs.washington.edu
Christian BirdMicrosoft ResearchVerified email at microsoft.com
Thomas RepsJ. Barkley Rosser Professor & Rajiv and Ritu Batra Chair, Comp. Sci. Dept., Univ. of WisconsinVerified email at cs.wisc.edu
Yuepeng WangUniversity of PennsylvaniaVerified email at seas.upenn.edu
Jordan HenkelGraduate Student, University of Wisconsin--MadisonVerified email at cs.wisc.edu
Sam BlackshearNoviVerified email at fb.com
Patrice GodefroidMicrosoft ResearchVerified email at microsoft.com
Cindy Rubio-GonzálezUniversity of California, DavisVerified email at ucdavis.edu
Manuel FahndrichSoftware Engineer, Google, previously Researcher, Microsoft ResearchVerified email at fahndrich.com
Shaunak ChatterjeePrincipal Staff Applied Researcher, LinkedinVerified email at cs.berkeley.edu

Shuvendu Lahiri

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	914	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	314	2002
Back to the future: revisiting precise program verification using SMT solvers S Lahiri, S Qadeer ACM SIGPLAN Notices 43 (1), 171-182, 2008	190	2008
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	186	2012
A solver for reachability modulo theories A Lal, S Qadeer, SK Lahiri International Conference on Computer Aided Verification, 427-443, 2012	164	2012
A symbolic approach to predicate abstraction SK Lahiri, RE Bryant, B Cook International Conference on Computer Aided Verification, 141-153, 2003	131	2003
SMT techniques for fast predicate abstraction SK Lahiri, R Nieuwenhuis, A Oliveras International Conference on Computer Aided Verification, 424-437, 2006	127	2006
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
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	113	2002
Differential assertion checking SK Lahiri, KL McMillan, R Sharma, C Hawblitzel Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013	112	2013
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	110	2008
Constructing quantified invariants via predicate abstraction SK Lahiri, RE Bryant International Workshop on Verification, Model Checking, and Abstract …, 2004	107	2004
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	106	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	105	2015
Indexed predicate discovery for unbounded system verification SK Lahiri, RE Bryant International Conference on Computer Aided Verification, 135-147, 2004	105	2004
The UCLID Decision Procedure SK Lahiri, SA Seshia International Conference on Computer Aided Verification, 475-478, 2004	104	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	96	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	94	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	87	2009
An efficient decision procedure for UTVPI constraints SK Lahiri, M Musuvathi International Workshop on Frontiers of Combining Systems, 168-183, 2005	79	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

Upload PDF

Follow this author

Cited by

Co-authors