John Kodumal (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

5 John Kodumal, Alex Aiken: Regularly annotated set constraints. PLDI 2007: 331-341

4 Jeffrey S. Foster, Robert Johnson, John Kodumal, Alex Aiken: Flow-insensitive type qualifiers. ACM Trans. Program. Lang. Syst. 28(6): 1035-1087 (2006)

3 John Kodumal, Alexander Aiken: Banshee: A Scalable Constraint-Based Analysis Toolkit. SAS 2005: 218-234

2 John Kodumal, Alexander Aiken: The set constraint/CFL reachability connection in practice. PLDI 2004: 207-218

1 Alexander Aiken, Jeffrey S. Foster, John Kodumal, Tachio Terauchi: Checking and inferring local non-aliasing. PLDI 2003: 129-140

Selection of 5 from 5 records - John Kodumal has 4 coauthors

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