| A solver for reachability modulo theories A Lal, S Qadeer, SK Lahiri International Conference on Computer Aided Verification, 427-443, 2012 | 152 | 2012 |
| Reducing concurrent analysis under a context bound to sequential analysis A Lal, T Reps Formal Methods in System Design 35 (1), 73-97, 2009 | 139 | 2009 |
| Interprocedural analysis of concurrent programs under a context bound A Lal, T Touili, N Kidd, T Reps International conference on Tools and algorithms for the construction and …, 2008 | 104 | 2008 |
| Reducing concurrent analysis under a context bound to sequential analysis A Lal, T Reps International Conference on Computer Aided Verification, 37-51, 2008 | 92 | 2008 |
| Extended weighted pushdown systems A Lal, T Reps, G Balakrishnan International Conference on Computer Aided Verification, 434-448, 2005 | 84 | 2005 |
| Directed proof generation for machine code A Thakur, J Lim, A Lal, A Burton, E Driscoll, M Elder, T Andersen, T Reps International Conference on Computer Aided Verification, 288-305, 2010 | 76 | 2010 |
| Alternation for termination WR Harris, A Lal, AV Nori, SK Rajamani International Static Analysis Symposium, 304-319, 2010 | 60 | 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, ... International Conference on Computer Aided Verification, 158-163, 2005 | 58 | 2005 |
| 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 | 56 | 2016 |
| Improving pushdown system model checking A Lal, T Reps International Conference on Computer Aided Verification, 343-357, 2006 | 49 | 2006 |
| 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 | 44 | 2015 |
| Program analysis using weighted pushdown systems T Reps, A Lal, N Kidd International Conference on Foundations of Software Technology and …, 2007 | 42 | 2007 |
| There’s plenty of room at the bottom: Analyzing and verifying machine code T Reps, J Lim, A Thakur, G Balakrishnan, A Lal International Conference on Computer Aided Verification, 41-56, 2010 | 38 | 2010 |
| Underspecified harnesses and interleaved bugs S Joshi, SK Lahiri, A Lal ACM SIGPLAN Notices 47 (1), 19-30, 2012 | 34 | 2012 |
| Detecting fair non-termination in multithreaded programs MF Atig, A Bouajjani, M Emmi, A Lal International Conference on Computer Aided Verification, 210-226, 2012 | 33 | 2012 |
| 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 | 31 | 2016 |
| Powering the static driver verifier using corral A Lal, S Qadeer Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014 | 31 | 2014 |
| Angelic verification: Precise verification modulo unknowns A Das, SK Lahiri, A Lal, Y Li International Conference on Computer Aided Verification, 324-342, 2015 | 28 | 2015 |
| WALi: The Weighted Automaton Library, 2007 N Kidd, A Lal, T Reps | 27 | 2007 |
| SMACK+ Corral: a modular verifier A Haran, M Carter, M Emmi, A Lal, S Qadeer, Z Rakamarić International Conference on Tools and Algorithms for the Construction and …, 2015 | 26 | 2015 |
