☰

John Kodumal, Ph.D.

Affiliations: 
2006 University of California, Berkeley, Berkeley, CA, United States 
Area:
Programming Systems (PS); Security (SEC); software engineering, security, program analysis
Google:
"John Kodumal"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
George Necula grad student 2006 UC Berkeley
 (Program analysis with regularly annotated constraints.)

Children

Sign in to add trainee

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Kodumal J, Aiken A. (2007) Regularly annotated set constraints Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 331-341
Foster JS, Johnson R, Kodumal J, et al. (2006) Flow-insensitive type qualifiers Acm Transactions On Programming Languages and Systems. 28: 1035-1087
Kodumal J, Aiken A. (2005) Banshee: A scalable constraint-based analysis toolkit Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3672: 218-234
Kodumal J, Aiken A. (2004) The set constraint/CFL reachability connection in practice Acm Sigplan Notices. 39: 207-218
See more...