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
International Conference on Computer Aided Verification, 427-443, 2012
1472012
Reducing concurrent analysis under a context bound to sequential analysis
A Lal, T Reps
Formal Methods in System Design 35 (1), 73-97, 2009
1362009
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
1032008
Reducing concurrent analysis under a context bound to sequential analysis
A Lal, T Reps
International Conference on Computer Aided Verification, 37-51, 2008
912008
Extended weighted pushdown systems
A Lal, T Reps, G Balakrishnan
International Conference on Computer Aided Verification, 434-448, 2005
832005
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
702010
Alternation for termination
WR Harris, A Lal, AV Nori, SK Rajamani
International Static Analysis Symposium, 304-319, 2010
582010
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
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
522016
Improving pushdown system model checking
A Lal, T Reps
International Conference on Computer Aided Verification, 343-357, 2006
482006
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
422015
Program analysis using weighted pushdown systems
T Reps, A Lal, N Kidd
International Conference on Foundations of Software Technology and …, 2007
422007
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
362010
Underspecified harnesses and interleaved bugs
S Joshi, SK Lahiri, A Lal
ACM SIGPLAN Notices 47 (1), 19-30, 2012
342012
Powering the static driver verifier using corral
A Lal, S Qadeer
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014
312014
Detecting fair non-termination in multithreaded programs
MF Atig, A Bouajjani, M Emmi, A Lal
International Conference on Computer Aided Verification, 210-226, 2012
312012
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
292016
WALi: The Weighted Automaton Library, 2007
N Kidd, A Lal, T Reps
272007
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
262015
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
The system can't perform the operation now. Try again later.
Articles 1–20