Shuvendu Lahiri

Cited by

	All	Since 2016
Citations	4890	1863
h-index	35	21
i10-index	65	43

380

190

285

200320042005200620072008200920102011201220132014201520162017201820192020202135 134 172 197 186 205 266 280 255 253 296 316 309 307 338 363 335 330 187

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
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
Yuepeng WangUniversity of PennsylvaniaVerified email at seas.upenn.edu
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	917	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	315	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	190	2012
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
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	132	2003
SMT techniques for fast predicate abstraction SK Lahiri, R Nieuwenhuis, A Oliveras International Conference on Computer Aided Verification, 424-437, 2006	128	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	115	2002
Differential assertion checking SK Lahiri, KL McMillan, R Sharma, C Hawblitzel Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013	114	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	111	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	109	2003
Constructing quantified invariants via predicate abstraction SK Lahiri, RE Bryant International Workshop on Verification, Model Checking, and Abstract …, 2004	108	2004
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	106	2015
The UCLID Decision Procedure SK Lahiri, SA Seshia International Conference on Computer Aided Verification, 475-478, 2004	105	2004
Indexed predicate discovery for unbounded system verification SK Lahiri, RE Bryant International Conference on Computer Aided Verification, 135-147, 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	95	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	93	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	88	2009
An efficient decision procedure for UTVPI constraints SK Lahiri, M Musuvathi International Workshop on Frontiers of Combining Systems, 168-183, 2005	82	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