2008 |
12 | EE | Akash Lal,
Thomas W. Reps:
Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis.
CAV 2008: 37-51 |
11 | EE | Nicholas Kidd,
Akash Lal,
Thomas W. Reps:
Language Strength Reduction.
SAS 2008: 283-298 |
10 | EE | Akash Lal,
Thomas W. Reps:
Solving Multiple Dataflow Queries Using WPDSs.
SAS 2008: 93-109 |
9 | EE | Akash Lal,
Tayssir Touili,
Nicholas Kidd,
Thomas W. Reps:
Interprocedural Analysis of Concurrent Programs Under a Context Bound.
TACAS 2008: 282-298 |
2007 |
8 | EE | Thomas W. Reps,
Akash Lal,
Nicholas Kidd:
Program Analysis Using Weighted Pushdown Systems.
FSTTCS 2007: 23-51 |
7 | EE | Akash Lal,
Nicholas Kidd,
Thomas W. Reps,
Tayssir Touili:
Abstract Error Projection.
SAS 2007: 200-217 |
2006 |
6 | EE | Akash Lal,
Thomas W. Reps:
Improving Pushdown System Model Checking.
CAV 2006: 343-357 |
5 | EE | Akash Lal,
Junghee Lim,
Marina Polishchuk,
Ben Liblit:
Path Optimization in Programs and Its Application to Debugging.
ESOP 2006: 246-263 |
4 | EE | François Fages,
Akash Lal:
A constraint programming approach to cutset problems.
Computers & OR 33(10): 2852-2865 (2006) |
2005 |
3 | EE | 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 | EE | 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 |