Ajay Chander

	2009
13		Musab AlTurki, Dinakar Dhurjati, Dachuan Yu, Ajay Chander, Hiroshi Inamura: Formal Specification and Analysis of Timing Properties in Software Systems. FASE 2009: 262-277
12		Dong Zhou, Ajay Chander, Hiroshi Inamura: Optimizing user interaction for mobile web browsing. Mobile HCI 2009
	2008
11		Haruka Kikuchi, Dachuan Yu, Ajay Chander, Hiroshi Inamura, Igor Serikov: JavaScript Instrumentation in Practice. APLAS 2008: 326-341
10		Gary Wassermann, Dachuan Yu, Ajay Chander, Dinakar Dhurjati, Hiroshi Inamura, Zhendong Su: Dynamic test input generation for web applications. ISSTA 2008: 249-260
9		Dachuan Yu, Ajay Chander, Hiroshi Inamura, Igor Serikov: Better abstractions for secure server-side scripting. WWW 2008: 507-516
	2007
8		Dachuan Yu, Ajay Chander, Nayeem Islam, Igor Serikov: JavaScript instrumentation for browser security. POPL 2007: 237-249
7		Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula: Enforcing resource bounds via static verification of dynamic checks. ACM Trans. Program. Lang. Syst. 29(5): (2007)
	2005
6		Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula: JVer: A Java Verifier. CAV 2005: 144-147
5		Ajay Chander, David Espinosa, Nayeem Islam, Peter Lee, George C. Necula: Enforcing Resource Bounds via Static Verification of Dynamic Checks. ESOP 2005: 311-325
	2004
4		Ajay Chander, Drew Dean, John C. Mitchell: A Distributed High Assurance Reference Monitor. ISC 2004: 231-244
3		Ajay Chander, Drew Dean, John C. Mitchell: Reconstructing Trust Management. Journal of Computer Security 12(1): 131-164 (2004)
	2002
2		Ajay Chander, Steven Dawson, Patrick Lincoln, David W. J. Stringer-Calvert: NEVRLATE: Scalable Resource Discovery. CCGRID 2002: 382-388
	2001
1		Ajay Chander, John C. Mitchell, Drew Dean: A State-Transition Model of Trust Management and Access Control. CSFW 2001: 27-43

Coauthor Index

1	Musab AlTurki	[13]
2	Steven Dawson	[2]
3	Drew Dean	[1] [3] [4]
4	Dinakar Dhurjati	[10] [13]
5	David Espinosa	[5] [6] [7]
6	Hiroshi Inamura	[9] [10] [11] [12] [13]
7	Nayeem Islam	[5] [6] [7] [8]
8	Haruka Kikuchi	[11]
9	Peter Lee	[5] [6] [7]
10	Patrick Lincoln	[2]
11	John C. Mitchell	[1] [3] [4]
12	George C. Necula	[5] [6] [7]
13	Igor Serikov	[8] [9] [11]
14	David W. J. Stringer-Calvert	[2]
15	Zhendong Su	[10]
16	Gary Wassermann	[10]
17	Dachuan Yu	[8] [9] [10] [11] [13]
18	Dong Zhou	[12]

Colors in the list of coauthors