| Feedback-directed random test generation C Pacheco, SK Lahiri, MD Ernst, T Ball 29th International Conference on Software Engineering (ICSE'07), 75-84, 2007 | 1268 | 2007 |
| 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 | 425 | 2023 |
| 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 | 348 | 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 | 267 | 2012 |
| Back to the future: revisiting precise program verification using SMT solvers S Lahiri, S Qadeer ACM SIGPLAN Notices 43 (1), 171-182, 2008 | 216 | 2008 |
| 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 | 206 | 2015 |
| A solver for reachability modulo theories A Lal, S Qadeer, SK Lahiri International Conference on Computer Aided Verification, 427-443, 2012 | 200 | 2012 |
| Toga: A neural method for test oracle generation E Dinella, G Ryan, T Mytkowicz, SK Lahiri Proceedings of the 44th International Conference on Software Engineering …, 2022 | 179 | 2022 |
| SMT techniques for fast predicate abstraction SK Lahiri, R Nieuwenhuis, A Oliveras International Conference on Computer Aided Verification, 424-437, 2006 | 172 | 2006 |
| Differential assertion checking SK Lahiri, KL McMillan, R Sharma, C Hawblitzel Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013 | 154 | 2013 |
| Llm-based test-driven interactive code generation: User study and empirical evaluation S Fakhoury, A Naik, G Sakkas, S Chakraborty, SK Lahiri IEEE Transactions on Software Engineering, 2024 | 152 | 2024 |
| A symbolic approach to predicate abstraction SK Lahiri, RE Bryant, B Cook International Conference on Computer Aided Verification, 141-153, 2003 | 148 | 2003 |
| 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 | 131 | 2008 |
| Verifying properties of well-founded linked lists SK Lahiri, S Qadeer Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of …, 2006 | 126 | 2006 |
| Constructing quantified invariants via predicate abstraction SK Lahiri, RE Bryant International Workshop on Verification, Model Checking, and Abstract …, 2004 | 121 | 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 | 121 | 2003 |
| 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 | 120 | 2002 |
| The UCLID Decision Procedure SK Lahiri, SA Seshia International Conference on Computer Aided Verification, 475-478, 2004 | 118 | 2004 |
| Indexed predicate discovery for unbounded system verification SK Lahiri, RE Bryant International Conference on Computer Aided Verification, 135-147, 2004 | 115 | 2004 |
| Code vectors: Understanding programs through embedded abstracted symbolic traces J Henkel, SK Lahiri, B Liblit, T Reps Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018 | 111 | 2018 |
Shaz QadeerMicrosoftVerified email at microsoft.com
