 | 2009 |
|---|
| 14 |       | Junghee Lim,
Akash Lal,
Thomas W. Reps:
Symbolic Analysis via Semantic Reinterpretation.
SPIN 2009: 148-168 |
| 13 | | 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) |
| 2008 |
|---|
| 12 | | Akash Lal,
Thomas W. Reps:
Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis.
CAV 2008: 37-51 |
| 11 | | Nicholas Kidd,
Akash Lal,
Thomas W. Reps:
Language Strength Reduction.
SAS 2008: 283-298 |
| 10 | | Akash Lal,
Thomas W. Reps:
Solving Multiple Dataflow Queries Using WPDSs.
SAS 2008: 93-109 |
| 9 | | Akash Lal,
Tayssir Touili,
Nicholas Kidd,
Thomas W. Reps:
Interprocedural Analysis of Concurrent Programs Under a Context Bound.
TACAS 2008: 282-298 |
| 2007 |
|---|
| 8 | | Thomas W. Reps,
Akash Lal,
Nicholas Kidd:
Program Analysis Using Weighted Pushdown Systems.
FSTTCS 2007: 23-51 |
| 7 | | Akash Lal,
Nicholas Kidd,
Thomas W. Reps,
Tayssir Touili:
Abstract Error Projection.
SAS 2007: 200-217 |
| 2006 |
|---|
| 6 | | Akash Lal,
Thomas W. Reps:
Improving Pushdown System Model Checking.
CAV 2006: 343-357 |
| 5 | | Akash Lal,
Junghee Lim,
Marina Polishchuk,
Ben Liblit:
Path Optimization in Programs and Its Application to Debugging.
ESOP 2006: 246-263 |
| 4 | | François Fages,
Akash Lal:
A constraint programming approach to cutset problems.
Computers & OR 33(10): 2852-2865 (2006) |
| 2005 |
|---|
| 3 | | 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 |
| 2 | | Akash Lal,
Thomas W. Reps,
Gogul Balakrishnan:
Extended Weighted Pushdown Systems.
CAV 2005: 434-448 |
| 2004 |
|---|
| 1 |  | Deepak Garg,
Akash Lal,
Sanjiva Prasad:
Effective Chemistry for Synchrony and Asynchrony.
IFIP TCS 2004: 479-492 |
