Akash Lal
Akash Lal
Microsoft Research, India
Verified email at microsoft.com
TitleCited byYear
A solver for reachability modulo theories
A Lal, S Qadeer, SK Lahiri
International Conference on Computer Aided Verification, 427-443, 2012
1282012
Reducing concurrent analysis under a context bound to sequential analysis
A Lal, T Reps
Formal Methods in System Design 35 (1), 73-97, 2009
1272009
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
1012008
Reducing concurrent analysis under a context bound to sequential analysis
A Lal, T Reps
International Conference on Computer Aided Verification, 37-51, 2008
862008
Extended weighted pushdown systems
A Lal, T Reps, G Balakrishnan
International Conference on Computer Aided Verification, 434-448, 2005
802005
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
672010
Alternation for termination
WR Harris, A Lal, AV Nori, SK Rajamani
International Static Analysis Symposium, 304-319, 2010
572010
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
572005
Improving pushdown system model checking
A Lal, T Reps
International Conference on Computer Aided Verification, 343-357, 2006
482006
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
392016
Program analysis using weighted pushdown systems
T Reps, A Lal, N Kidd
International Conference on Foundations of Software Technology and …, 2007
362007
Asynchronous programming, analysis and testing with state machines
P Deligiannis, AF Donaldson, J Ketema, A Lal, P Thomson
ACM SIGPLAN Notices 50 (6), 154-164, 2015
352015
Underspecified harnesses and interleaved bugs
S Joshi, SK Lahiri, A Lal
ACM SIGPLAN Notices 47 (1), 19-30, 2012
332012
Detecting fair non-termination in multithreaded programs
MF Atig, A Bouajjani, M Emmi, A Lal
International Conference on Computer Aided Verification, 210-226, 2012
302012
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
302010
WALi: The Weighted Automaton Library, 2007
N Kidd, A Lal, T Reps
272007
Path optimization in programs and its application to debugging
A Lal, J Lim, M Polishchuk, B Liblit
European Symposium on Programming, 246-263, 2006
262006
Powering the static driver verifier using corral
A Lal, S Qadeer
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014
252014
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
242015
Asynchronous programs with prioritized task-buffers
M Emmi, A Lal, S Qadeer
Proceedings of the ACM SIGSOFT 20th International Symposium on the …, 2012
242012
The system can't perform the operation now. Try again later.
Articles 1–20