John Kodumal

	2007
5		John Kodumal, Alex Aiken: Regularly annotated set constraints. PLDI 2007: 331-341
	2006
4		Jeffrey S. Foster, Robert Johnson, John Kodumal, Alex Aiken: Flow-insensitive type qualifiers. ACM Trans. Program. Lang. Syst. 28(6): 1035-1087 (2006)
	2005
3		John Kodumal, Alexander Aiken: Banshee: A Scalable Constraint-Based Analysis Toolkit. SAS 2005: 218-234
	2004
2		John Kodumal, Alexander Aiken: The set constraint/CFL reachability connection in practice. PLDI 2004: 207-218
	2003
1		Alexander Aiken, Jeffrey S. Foster, John Kodumal, Tachio Terauchi: Checking and inferring local non-aliasing. PLDI 2003: 129-140

Coauthor Index

1	Alexander Aiken (Alex Aiken)	[1] [2] [3] [4] [5]
2	Jeffrey S. Foster	[1] [4]
3	Robert Johnson	[4]
4	Tachio Terauchi	[1]