- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c20 |      | Mohamed Faouzi Atig, Ahmed Bouajjani, Michael Emmi, Akash Lal: Detecting Fair Non-termination in Multithreaded Programs. CAV 2012: 210-226 |
| c19 | | Akash Lal, Shaz Qadeer, Shuvendu K. Lahiri: A Solver for Reachability Modulo Theories. CAV 2012: 427-443 |
| c18 | | Saurabh Joshi, Shuvendu K. Lahiri, Akash Lal: Underspecified harnesses and interleaved bugs. POPL 2012: 19-30 |
| c17 | | Michael Emmi, Akash Lal: Finding Non-terminating Executions in Distributed Asynchronous Programs. SAS 2012: 439-455 |
| c16 | | Michael Emmi, Akash Lal, Shaz Qadeer: Asynchronous programs with prioritized task-buffers. SIGSOFT FSE 2012: 48 |
| i1 | | Sandeep Bindal, Sorav Bansal, Akash Lal: Variable and Thread Bounding for Systematic Testing of Multithreaded Programs. CoRR abs/1207.2544 (2012) |
| 2011 | ||
| j4 | | Junghee Lim, Akash Lal, Thomas W. Reps: Symbolic analysis via semantic reinterpretation. STTT 13(1): 61-87 (2011) |
| 2010 | ||
| j3 | | Akash Lal, G. Ramalingam: Reference count analysis with shallow aliasing. Inf. Process. Lett. 111(2): 57-63 (2010) |
| c15 | | Thomas W. Reps, Junghee Lim, Aditya V. Thakur, Gogul Balakrishnan, Akash Lal: There's Plenty of Room at the Bottom: Analyzing and Verifying Machine Code. CAV 2010: 41-56 |
| c14 | | Aditya V. Thakur, Junghee Lim, Akash Lal, Amanda Burton, Evan Driscoll, Matt Elder, Tycho Andersen, Thomas W. Reps: Directed Proof Generation for Machine Code. CAV 2010: 288-305 |
| c13 | | William R. Harris, Akash Lal, Aditya V. Nori, Sriram K. Rajamani: Alternation for Termination. SAS 2010: 304-319 |
| 2009 | ||
| j2 | | Akash Lal, Thomas W. Reps: Reducing concurrent analysis under a context bound to sequential analysis. Formal Methods in System Design 35(1): 73-97 (2009) |
| c12 | | Junghee Lim, Akash Lal, Thomas W. Reps: Symbolic Analysis via Semantic Reinterpretation. SPIN 2009: 148-168 |
| 2008 | ||
| c11 | | Akash Lal, Thomas W. Reps: Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis. CAV 2008: 37-51 |
| c10 | | |
| c9 | | |
| c8 | | Akash Lal, Tayssir Touili, Nicholas Kidd, Thomas W. Reps: Interprocedural Analysis of Concurrent Programs Under a Context Bound. TACAS 2008: 282-298 |
| 2007 | ||
| c7 | | Thomas W. Reps, Akash Lal, Nicholas Kidd: Program Analysis Using Weighted Pushdown Systems. FSTTCS 2007: 23-51 |
| c6 | | Akash Lal, Nicholas Kidd, Thomas W. Reps, Tayssir Touili: Abstract Error Projection. SAS 2007: 200-217 |
| 2006 | ||
| j1 | | François Fages, Akash Lal: A constraint programming approach to cutset problems. Computers & OR 33(10): 2852-2865 (2006) |
| c5 | | |
| c4 | | Akash Lal, Junghee Lim, Marina Polishchuk, Ben Liblit: Path Optimization in Programs and Its Application to Debugging. ESOP 2006: 246-263 |
| 2005 | ||
| c3 | | Gogul Balakrishnan, Thomas W. Reps, Nicholas Kidd, Akash Lal, Junghee Lim, David Melski, Radu Gruian, Suan Hsi Yong, Chi-Hua Chen, Tim Teitelbaum: Model Checking x86 Executables with CodeSurfer/x86 and WPDS++. CAV 2005: 158-163 |
| c2 | | Akash Lal, Thomas W. Reps, Gogul Balakrishnan: Extended Weighted Pushdown Systems. CAV 2005: 434-448 |
| 2004 | ||
| c1 |  | Deepak Garg, Akash Lal, Sanjiva Prasad: Effective Chemistry for Synchrony and Asynchrony. IFIP TCS 2004: 479-492 |
Colors in the list of coauthors
Last update Sat May 18 16:14:42 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page