MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "John Kodumal" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

Program Analysis with Regularly Annotated Constraints
by John Kodumal, John Kodumal — 2006
…Program Analysis with Regularly Annotated Constraints by John Kodumal B.S. (Harvey Mudd College…
Cited by 1 (0 self) – Add To MetaCart

The set constraint/CFL reachability connection in practice
by John Kodumal — 2004 — In Proc. ACM PLDI
…The Set Constraint/CFL Reachability Connection in Practice ABSTRACT John Kodumal EECS Department…
Cited by 10 (1 self) – Add To MetaCart

Banshee: A scalable constraint-based analysis toolkit
by John Kodumal, Alex Aiken — 2005 — In SAS ’05: Proceedings of the 12th International Static Analysis Symposium. London, United Kingdom
…Banshee: A Scalable Constraint-Based Analysis Toolkit ⋆ John Kodumal 1 and Alex Aiken 2 1 EECS…
Cited by 19 (0 self) – Add To MetaCart

Checking and Inferring Local Non-Aliasing
by Alex Aiken, John Kodumal, Jeffrey S. Foster, Tachio Terauchi — 2003
… aiken@(email omitted); John Kodumal University of California, Berkeley jkodumal@(email omitted); In prior…
Cited by 32 (9 self) – Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB