dblp.uni-trier.dewww.uni-trier.de

Akash Lal

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Gogul Balakrishnan [2] [3]
2Chi-Hua Chen [3]
3François Fages [4]
4Deepak Garg [1]
5Radu Gruian [3]
6Nicholas Kidd [3] [7] [8] [9] [11]
7Ben Liblit [5]
8Junghee Lim [3] [5]
9David Melski [3]
10Marina Polishchuk [5]
11Sanjiva Prasad [1]
12Thomas W. Reps [2] [3] [6] [7] [8] [9] [10] [11] [12]
13Tim Teitelbaum [3]
14Tayssir Touili [7] [9]
15Suan Hsi Yong [3]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)