| A solver for reachability modulo theories A Lal, S Qadeer, SK Lahiri Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012 | 187 | 2012 |
| Reducing concurrent analysis under a context bound to sequential analysis A Lal, T Reps Formal Methods in System Design 35, 73-97, 2009 | 163 | 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 | 110 | 2008 |
| Reducing concurrent analysis under a context bound to sequential analysis A Lal, T Reps International Conference on Computer Aided Verification, 37-51, 2008 | 100 | 2008 |
| 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 | 83 | 2016 |
| Extended weighted pushdown systems A Lal, T Reps, G Balakrishnan Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005 | 83 | 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 |
| Alternation for termination WR Harris, A Lal, AV Nori, SK Rajamani Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France …, 2010 | 77 | 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 | 66 | 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 | 62 | 2015 |
| 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 | 50 | 2016 |
| Powering the static driver verifier using corral A Lal, S Qadeer Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014 | 50 | 2014 |
| Angelic verification: Precise verification modulo unknowns A Das, SK Lahiri, A Lal, Y Li Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015 | 48 | 2015 |
| Program analysis using weighted pushdown systems T Reps, A Lal, N Kidd International Conference on Foundations of Software Technology and …, 2007 | 47 | 2007 |
| Improving pushdown system model checking A Lal, T Reps International Conference on Computer Aided Verification, 343-357, 2006 | 47 | 2006 |
| Underspecified harnesses and interleaved bugs S Joshi, SK Lahiri, A Lal ACM SIGPLAN Notices 47 (1), 19-30, 2012 | 46 | 2012 |
| 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 | 39 | 2014 |
| 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 | 39 | 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 | 38 | 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 |
