John Kodumal

According to our database, John Kodumal authored at least 5 papers between 2003 and 2007.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2007

Regularly annotated set constraints.

John Kodumal, Alex Aiken

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

2006

Flow-insensitive type qualifiers.

Jeffrey S. Foster, Robert Johnson, John Kodumal, Alex Aiken

ACM Trans. Program. Lang. Syst., 2006

2005

Banshee: A Scalable Constraint-Based Analysis Toolkit.

John Kodumal, Alexander Aiken

Proceedings of the Static Analysis, 12th International Symposium, 2005

2004

The set constraint/CFL reachability connection in practice.

John Kodumal, Alexander Aiken

Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, 2004

2003

Checking and inferring local non-aliasing.

Alexander Aiken, Jeffrey S. Foster, John Kodumal, Tachio Terauchi

Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, 2003