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
1872012
Reducing concurrent analysis under a context bound to sequential analysis
A Lal, T Reps
Formal Methods in System Design 35, 73-97, 2009
1642009
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
1102008
Reducing concurrent analysis under a context bound to sequential analysis
A Lal, T Reps
International Conference on Computer Aided Verification, 37-51, 2008
1002008
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
832016
Extended weighted pushdown systems
A Lal, T Reps, G Balakrishnan
Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005
832005
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
802010
Alternation for termination
WR Harris, A Lal, AV Nori, SK Rajamani
Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France …, 2010
782010
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
662005
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
642015
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
512016
Powering the static driver verifier using corral
A Lal, S Qadeer
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014
512014
Angelic verification: Precise verification modulo unknowns
A Das, SK Lahiri, A Lal, Y Li
Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015
492015
Program analysis using weighted pushdown systems
T Reps, A Lal, N Kidd
International Conference on Foundations of Software Technology and …, 2007
472007
Improving pushdown system model checking
A Lal, T Reps
International Conference on Computer Aided Verification, 343-357, 2006
472006
Underspecified harnesses and interleaved bugs
S Joshi, SK Lahiri, A Lal
ACM SIGPLAN Notices 47 (1), 19-30, 2012
462012
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
402014
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
382012
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
The system can't perform the operation now. Try again later.
Articles 1–20