Statistics
Publications
6
Citations
317
H-Index
6
Active since
2003
John Kodumal is an author at University of California, Berkeley specializing in computer science, type systems, and type checking.
Publications per year
2003–2007
6
6
The set constraint/CFL reachability connection in practice
John Kodumal, Alex Aiken · 2004 · 91 citations · Full text
Flow-insensitive type qualifiers
Jeffrey S. Foster, Robert T. Johnson, John Kodumal et al. · ACM Transactions on Programming Languages and Systems · 2006 · 67 citations · Full text
Checking and inferring local non-aliasing
Alex Aiken, Jeffrey S. Foster, John Kodumal et al. · ACM SIGPLAN Notices · 2003 · 67 citations
Checking and inferring local non-aliasing
Alex Aiken, Jeffrey S. Foster, John Kodumal et al. · 2003 · 54 citations
Regularly annotated set constraints
John Kodumal, Alex Aiken · 2007 · 19 citations
1–5 of 6