| A solver for reachability modulo theories A Lal, S Qadeer, SK Lahiri Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012 | 182 | 2012 |
| Reducing concurrent analysis under a context bound to sequential analysis A Lal, T Reps Formal Methods in System Design 35, 73-97, 2009 | 153 | 2009 |
| Interprocedural analysis of concurrent programs under a context bound A Lal, T Touili, N Kidd, T Reps Tools and Algorithms for the Construction and Analysis of Systems: 14th …, 2008 | 107 | 2008 |
| Reducing concurrent analysis under a context bound to sequential analysis A Lal, T Reps Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008 | 98 | 2008 |
| Extended weighted pushdown systems A Lal, T Reps, G Balakrishnan Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005 | 82 | 2005 |
| Directed proof generation for machine code A Thakur, J Lim, A Lal, A Burton, E Driscoll, M Elder, T Andersen, T Reps Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010 | 79 | 2010 |
| A design and verification methodology for secure isolated regions R Sinha, M Costa, A Lal, NP Lopes, S Rajamani, SA Seshia, K Vaswani ACM SIGPLAN Notices 51 (6), 665-681, 2016 | 75 | 2016 |
| Alternation for termination WR Harris, A Lal, AV Nori, SK Rajamani Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France …, 2010 | 70 | 2010 |
| Model checking x86 executables with CodeSurfer/x86 and WPDS++ G Balakrishnan, T Reps, N Kidd, A Lal, J Lim, D Melski, R Gruian, S Yong, ... Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005 | 63 | 2005 |
| Asynchronous programming, analysis and testing with state machines P Deligiannis, AF Donaldson, J Ketema, A Lal, P Thomson Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015 | 56 | 2015 |
| Improving pushdown system model checking A Lal, T Reps Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006 | 47 | 2006 |
| Program analysis using weighted pushdown systems T Reps, A Lal, N Kidd FSTTCS 2007: Foundations of Software Technology and Theoretical Computer …, 2007 | 44 | 2007 |
| Powering the static driver verifier using corral A Lal, S Qadeer Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014 | 43 | 2014 |
| Uncovering bugs in distributed storage systems during testing (not in production!) P Deligiannis, M McCutchen, P Thomson, S Chen, AF Donaldson, ... 14th {USENIX} Conference on File and Storage Technologies ({FAST} 16), 249-262, 2016 | 41 | 2016 |
| Underspecified harnesses and interleaved bugs S Joshi, SK Lahiri, A Lal ACM SIGPLAN Notices 47 (1), 19-30, 2012 | 41 | 2012 |
| Angelic verification: Precise verification modulo unknowns A Das, SK Lahiri, A Lal, Y Li Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015 | 40 | 2015 |
| There’s Plenty of Room at the Bottom: Analyzing and Verifying Machine Code: (Invited Tutorial) T Reps, J Lim, A Thakur, G Balakrishnan, A Lal Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010 | 40 | 2010 |
| Detecting fair non-termination in multithreaded programs MF Atig, A Bouajjani, M Emmi, A Lal Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012 | 34 | 2012 |
| SMACK+ Corral: A Modular Verifier: (Competition Contribution) A Haran, M Carter, M Emmi, A Lal, S Qadeer, Z Rakamarić Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015 | 33 | 2015 |
| Mux: algorithm selection for software model checkers V Tulsian, A Kanade, R Kumar, A Lal, AV Nori Proceedings of the 11th Working Conference on Mining Software Repositories …, 2014 | 31 | 2014 |
