| Feedback-directed random test generation C Pacheco, SK Lahiri, MD Ernst, T Ball 29th International Conference on Software Engineering (ICSE'07), 75-84, 2007 | 1138 | 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 | 340 | 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 | 243 | 2012 |
| Back to the future: revisiting precise program verification using SMT solvers S Lahiri, S Qadeer ACM SIGPLAN Notices 43 (1), 171-182, 2008 | 206 | 2008 |
| A solver for reachability modulo theories A Lal, S Qadeer, SK Lahiri Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012 | 186 | 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 | 181 | 2015 |
| SMT techniques for fast predicate abstraction SK Lahiri, R Nieuwenhuis, A Oliveras Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006 | 158 | 2006 |
| A symbolic approach to predicate abstraction SK Lahiri, RE Bryant, B Cook International Conference on Computer Aided Verification, 141-153, 2003 | 149 | 2003 |
| Differential assertion checking SK Lahiri, KL McMillan, R Sharma, C Hawblitzel Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013 | 145 | 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 | 127 | 2008 |
| Codamosa: Escaping coverage plateaus in test generation with pre-trained large language models C Lemieux, JP Inala, SK Lahiri, S Sen 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023 | 123 | 2023 |
| Verifying properties of well-founded linked lists SK Lahiri, S Qadeer Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of …, 2006 | 123 | 2006 |
| 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 | 122 | 2002 |
| 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 | 119 | 2003 |
| Constructing quantified invariants via predicate abstraction SK Lahiri, RE Bryant International Workshop on Verification, Model Checking, and Abstract …, 2004 | 117 | 2004 |
| The UCLID Decision Procedure SK Lahiri, SA Seshia Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004 | 113 | 2004 |
| Indexed predicate discovery for unbounded system verification SK Lahiri, RE Bryant Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004 | 111 | 2004 |
| An efficient decision procedure for UTVPI constraints SK Lahiri, M Musuvathi Frontiers of Combining Systems: 5th International Workshop, FroCoS 2005 …, 2005 | 103 | 2005 |
| 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 | 102 | 2007 |
| 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 |
Shaz QadeerSoftware Engineer, Meta在 meta.com 的电子邮件经过验证
