Follow
Akash Lal
Akash Lal
Microsoft Research, India
Verified email at microsoft.com
Title
Cited by
Cited by
Year
A solver for reachability modulo theories
A Lal, S Qadeer, SK Lahiri
Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012
1802012
Reducing concurrent analysis under a context bound to sequential analysis
A Lal, T Reps
Formal Methods in System Design 35, 73-97, 2009
1532009
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
1062008
Reducing concurrent analysis under a context bound to sequential analysis
A Lal, T Reps
Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008
982008
Extended weighted pushdown systems
A Lal, T Reps, G Balakrishnan
Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005
822005
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
792010
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
742016
Alternation for termination
WR Harris, A Lal, AV Nori, SK Rajamani
Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France …, 2010
702010
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
632005
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
532015
Improving pushdown system model checking
A Lal, T Reps
Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006
472006
Program analysis using weighted pushdown systems
T Reps, A Lal, N Kidd
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer …, 2007
442007
Powering the static driver verifier using corral
A Lal, S Qadeer
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014
432014
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
402016
Angelic verification: Precise verification modulo unknowns
A Das, SK Lahiri, A Lal, Y Li
Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015
402015
Underspecified harnesses and interleaved bugs
S Joshi, SK Lahiri, A Lal
ACM SIGPLAN Notices 47 (1), 19-30, 2012
402012
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
392010
Detecting fair non-termination in multithreaded programs
MF Atig, A Bouajjani, M Emmi, A Lal
Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012
342012
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
332015
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
312014
The system can't perform the operation now. Try again later.
Articles 1–20