Checking and inferring local non-aliasing. - Alex Aiken; Jeffrey S. Foster; John Kodumal; Tachio Terauchi (PLDI, 2003)

The set constraint/CFL reachability connection in practice. - John Kodumal; Alex Aiken (PLDI, 2004)

Banshee: A Scalable Constraint-Based Analysis Toolkit. - John Kodumal; Alex Aiken (SAS, 2005)

Flow-insensitive type qualifiers. - Jeffrey S. Foster; Robert Johnson; John Kodumal; Alex Aiken (ACM Trans. Program. Lang. Syst., 2006)

Regularly annotated set constraints. - John Kodumal; Alex Aiken (PLDI, 2007)