Akash Lal
Microsoft Research (India)(IN)
Publications by Year
Research Areas
Software Testing and Debugging Techniques, Formal Methods in Verification, Logic, programming, and type systems, Parallel Computing and Optimization Techniques, Distributed systems and fault tolerance
Most-Cited Works
- → Reducing concurrent analysis under a context bound to sequential analysis(2009)190 cited
- → A Solver for Reachability Modulo Theories(2012)138 cited
- → Interprocedural Analysis of Concurrent Programs Under a Context Bound(2008)86 cited
- → Extended Weighted Pushdown Systems(2005)69 cited
- → Directed Proof Generation for Machine Code(2010)61 cited
- → Alternation for Termination(2010)59 cited
- Computer Sciences Department(2007)
- → Model Checking x86 Executables with CodeSurfer/x86 and WPDS++(2005)54 cited
- → A design and verification methodology for secure isolated regions(2016)47 cited