Akash Lal

	2012
20		Saurabh Joshi, Shuvendu K. Lahiri, Akash Lal: Underspecified harnesses and interleaved bugs. POPL 2012: 19-30
	2011
19		Junghee Lim, Akash Lal, Thomas W. Reps: Symbolic analysis via semantic reinterpretation. STTT 13(1): 61-87 (2011)
	2010
18		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
17		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
16		William R. Harris, Akash Lal, Aditya V. Nori, Sriram K. Rajamani: Alternation for Termination. SAS 2010: 304-319
15		Akash Lal, G. Ramalingam: Reference count analysis with shallow aliasing. Inf. Process. Lett. 111(2): 57-63 (2010)
	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

Coauthor Index

1	Tycho Andersen	[18]
2	Gogul Balakrishnan	[2] [3] [17]
3	Amanda Burton	[18]
4	Chi-Hua Chen	[3]
5	Evan Driscoll	[18]
6	Matt Elder	[18]
7	François Fages	[4]
8	Deepak Garg	[1]
9	Radu Gruian	[3]
10	William R. Harris	[16]
11	Saurabh Joshi	[20]
12	Nicholas Kidd	[3] [7] [8] [9] [11]
13	Shuvendu K. Lahiri	[20]
14	Ben Liblit	[5]
15	Junghee Lim	[3] [5] [14] [17] [18] [19]
16	David Melski	[3]
17	Aditya V. Nori	[16]
18	Marina Polishchuk	[5]
19	Sanjiva Prasad	[1]
20	Sriram K. Rajamani	[16]
21	G. Ramalingam (Ganesan Ramalingam)	[15]
22	Thomas W. Reps	[2] [3] [6] [7] [8] [9] [10] [11] [12] [13] [14] [17] [18] [19]
23	Tim Teitelbaum	[3]
24	Aditya V. Thakur	[17] [18]
25	Tayssir Touili	[7] [9]
26	Suan Hsi Yong	[3]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page