| Feedback-directed random test generation C Pacheco, SK Lahiri, MD Ernst, T Ball 29th International Conference on Software Engineering (ICSE'07), 75-84, 2007 | 901 | 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 | 311 | 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 | 180 | 2012 |
| A solver for reachability modulo theories A Lal, S Qadeer, SK Lahiri International Conference on Computer Aided Verification, 427-443, 2012 | 163 | 2012 |
| A symbolic approach to predicate abstraction SK Lahiri, RE Bryant, B Cook International Conference on Computer Aided Verification, 141-153, 2003 | 129 | 2003 |
| 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 |
| SMT techniques for fast predicate abstraction SK Lahiri, R Nieuwenhuis, A Oliveras International Conference on Computer Aided Verification, 424-437, 2006 | 124 | 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 | 110 | 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 | 109 | 2008 |
| Constructing quantified invariants via predicate abstraction SK Lahiri, RE Bryant International Workshop on Verification, Model Checking, and Abstract …, 2004 | 107 | 2004 |
| Indexed predicate discovery for unbounded system verification SK Lahiri, RE Bryant International Conference on Computer Aided Verification, 135-147, 2004 | 105 | 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 | 105 | 2003 |
| The UCLID Decision Procedure SK Lahiri, SA Seshia International Conference on Computer Aided Verification, 475-478, 2004 | 104 | 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 | 103 | 2015 |
| 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 | 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 | 78 | 2005 |
Shaz QadeerResearch Scientist, FacebookVerified email at fb.com
