Journal Publications

• Reference Count Analysis with Shallow Aliasing. Akash Lal and G. Ramalingam. To appear in Information Processing Letters. [Tech. Report]
• Symbolic Analysis via Semantic Reinterpretation. Junghee Lim, Akash Lal and Thomas Reps. To appear in Int. Journal on Software Tools for Technology Transfer.
• Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis. Akash Lal and Thomas Reps. Formal Methods in System Design (FMSD) 35, 1 (2009).
• A Constraint Programming Approach to Cutset Problems. François Fages and Akash Lal. Computers and Operations Research Journal 33, 10 (Oct. 2006), 2852-2865.

Conference Publications (DB&LP)

• Alternation for termination. William Harris, Akash Lal, Aditya Nori, and Sriram Rajamani. To appear in Proc. Static Analysis Symposium (SAS), 2010.
• There's plenty of room at the bottom: Analyzing and verifying machine code (Invited tutorial). Thomas Reps, Junghee Lim, Aditya Thakur, Gogul Balakrishnan, and Akash Lal. In Proc. Computer Aided Verification (CAV), 2010.
• Directed Proof Generation for Machine Code. Aditya Thakur, Junghee Lim, Akash Lal, Amanda Burton, Evan Driscoll, Matt Elder, Tycho Andersen, and Thomas Reps. To appear in Proc. Computer Aided Verification (CAV), 2010.
• Symbolic Analysis via Semantic Reinterpretation. Junghee Lim, Akash Lal and Thomas Reps. In Proc. SPIN Workshop, 2009.
• Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis. Akash Lal and Thomas Reps. In Proc. Computer Aided Verification (CAV), 2008. (Invited for special submission to the Int. Journal on Formal Methods in System Design.)
• Solving Multiple Dataflow Queries Using WPDSs. Akash Lal and Thomas Reps. In Proc. Static Analysis Symposium (SAS), 2008.
• Language Strength Reduction. Nicholas Kidd, Akash Lal, and Thomas Reps. In Proc. Static Analysis Symposium (SAS), 2008.
• Interprocedural Analysis of Concurrent Programs Under a Context Bound. Akash Lal, Tayssir Touili, Nicholas Kidd, and Thomas Reps. In Proc. 14th Intl. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2008.
• Program Analysis Using Weighted Pushdown Systems (Invited paper). Thomas Reps, Akash Lal, and Nicholas Kidd. In Proc. 27th Conf. on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), 2007.
• Abstract Error Projection. Akash Lal, Nicholas Kidd, Thomas Reps, and Tayssir Touili. In Proc. Static Analysis Symposium (SAS), 2007.
• Improving Pushdown System Model Checking. Akash Lal and Thomas Reps. In Proc. Computer Aided Verification (CAV), 2006.
• Path Optimization in Programs and its Application to Debugging. Akash Lal, Junghee Lim, Marina Polishchuk and Ben Liblit. In Proc. European Symposium on Programming (ESOP), 2006. (Nominated for the best paper award.)
• Extended Weighted Pushdown Systems. Akash Lal, Gogul Balakrishnan and Thomas Reps. In Proc. Computer Aided Verification (CAV), 2005.
• Modelchecking x86 executables with CodeSurfer/x86 and WPDS++ (tool-demonstration paper). Balakrishnan, G., Reps, T., Kidd, N., Lal, A., Lim, J., Melski, D., Gruian, R., Yong, S., Chen, C.-H., and Teitelbaum, T. In Proc. Computer Aided Verification (CAV), 2005.
• Effective Chemistry for Synchrony and Asynchrony. Deepak Garg, Akash Lal and Sanjiva Prasad. IFIP WCC-TCS 2004, Toulouse, France.
• A Global Constraint for Cutset Problems. François Fages and Akash Lal. CPAIOR'03, Montreal, Canada. April 2003.

Other Publications and Technical Reports

• Reference Count Analysis with Shallow Aliasing. Akash Lal, G. Ramalingam. Tech. Report MSR-TR-2009-61, Microsoft Research. May 2009.
• McDASH: Refinement-based property verification for machine code. Akash Lal, Junghee Lim and Thomas Reps. Tech. Report TR-1659, Computer Sciences Department, University of Wisconsin, Madison. January 2008.
• Interprocedural Analysis of Concurrent Programs under a Context Bound. Akash Lal, Tayssir Touili, Nicholas Kidd, and Thomas Reps. Tech. Report TR-1598, Computer Sciences Department, University of Wisconsin, Madison. July 2007.
• Weighted Pushdown Systems and Weighted Transducers. Akash Lal, Tayssir Touili, Nicholas Kidd, and Thomas Reps. Tech. Report TR-1581, Computer Sciences Department, University of Wisconsin, Madison. October 2006. 
• Abstract Error Projection. Akash Lal, Nicholas Kidd, Thomas Reps, and Tayssir Touili. Tech. Report TR-1579, Computer Sciences Department, University of Wisconsin, Madison. September 2006.
• Improving Pushdown System Model Checking. Akash Lal and Thomas Reps. Tech. Report TR-1552, Computer Sciences Department, University of Wisconsin, Madison. January 2006. 
• BTrace: Path Optimization for Debugging. Akash Lal, Junghee Lim, Marina Polishchuk, Ben Liblit. Tech. Report TR-1535, Computer Sciences Department, University of Wisconsin, Madison. October 2005.
• Model checking x86 executables with CodeSurfer/x86 and WPDS++. Balakrishnan, G., Reps, T., Kidd, N., Lal, A., Lim, J., Melski, D., Gruian, R., Yong, S., Chen, C.-H., and Teitelbaum, T., In Proc. Workshop on the Evaluation of Software Defect Detection Tools, June 2005. [Co-located with PLDI05.]
• Graph Isomorphism for Colored Graphs with Color Multiplicity Bounded by 3. Akash Lal and Dieter van Melkebeek. Tech. Report TR-1523, Computer Sciences Department, University of Wisconsin, Madison. February 2005.