John Kodumal
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2003–2007
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | PLDI | Regularly annotated set constraints. | John Kodumal, Alex Aiken |
| 2005 | SAS | Banshee: A Scalable Constraint-Based Analysis Toolkit. | John Kodumal, Alex Aiken |
| 2004 | PLDI | The set constraint/CFL reachability connection in practice. | John Kodumal, Alex Aiken |
| 2003 | PLDI | Checking and inferring local non-aliasing. | Alex Aiken, Jeffrey S. Foster, John Kodumal, Tachio Terauchi |