| Feedback-directed random test generation C Pacheco, SK Lahiri, MD Ernst, T Ball 29th International Conference on Software Engineering (ICSE'07), 75-84, 2007 | 1041 | 2007 |
| 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 | 329 | 2002 |
| 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 | 218 | 2012 |
| Back to the future: revisiting precise program verification using SMT solvers S Lahiri, S Qadeer ACM SIGPLAN Notices 43 (1), 171-182, 2008 | 196 | 2008 |
| A solver for reachability modulo theories A Lal, S Qadeer, SK Lahiri Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012 | 184 | 2012 |
| 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 | 152 | 2015 |
| SMT techniques for fast predicate abstraction SK Lahiri, R Nieuwenhuis, A Oliveras Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006 | 148 | 2006 |
| A symbolic approach to predicate abstraction SK Lahiri, RE Bryant, B Cook Computer Aided Verification: 15th International Conference, CAV 2003 …, 2003 | 143 | 2003 |
| Differential assertion checking SK Lahiri, KL McMillan, R Sharma, C Hawblitzel Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013 | 135 | 2013 |
| 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 |
| 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 | 121 | 2008 |
| 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 | 117 | 2002 |
| Constructing quantified invariants via predicate abstraction SK Lahiri, RE Bryant Verification, Model Checking, and Abstract Interpretation: 5th International …, 2004 | 114 | 2004 |
| The UCLID Decision Procedure SK Lahiri, SA Seshia Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004 | 114 | 2004 |
| 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 | 112 | 2003 |
| Indexed predicate discovery for unbounded system verification SK Lahiri, RE Bryant Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004 | 111 | 2004 |
| 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 | 100 | 2004 |
| 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 | 98 | 2007 |
| Static and precise detection of concurrency errors in systems code using SMT solvers SK Lahiri, S Qadeer, Z Rakamarić Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009 | 93 | 2009 |
| An efficient decision procedure for UTVPI constraints SK Lahiri, M Musuvathi Frontiers of Combining Systems: 5th International Workshop, FroCoS 2005 …, 2005 | 92 | 2005 |
Shaz QadeerResearch Scientist, FacebookVerified email at fb.com
