| |
| 2007 | ||
|---|---|---|
| 5 | EE | John Kodumal, Alex Aiken: Regularly annotated set constraints. PLDI 2007: 331-341 |
| 2006 | ||
| 4 | EE | 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 | EE | John Kodumal, Alexander Aiken: Banshee: A Scalable Constraint-Based Analysis Toolkit. SAS 2005: 218-234 |
| 2004 | ||
| 2 | EE | John Kodumal, Alexander Aiken: The set constraint/CFL reachability connection in practice. PLDI 2004: 207-218 |
| 2003 | ||
| 1 | EE | Alexander Aiken, Jeffrey S. Foster, John Kodumal, Tachio Terauchi: Checking and inferring local non-aliasing. PLDI 2003: 129-140 |
| 1 | Alexander Aiken (Alex Aiken) | [1] [2] [3] [4] [5] |
| 2 | Jeffrey S. Foster | [1] [4] |
| 3 | Robert Johnson | [4] |
| 4 | Tachio Terauchi | [1] |