☰

Aaron Tomb, Ph.D.

Affiliations: 
2011 University of California, Santa Cruz, Santa Cruz, CA, United States 
Area:
Computer Science
Google:
"Aaron Tomb"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
Cormac Flanagan grad student 2011 UC Santa Cruz
 (Program inconsistency detection: Universal reachability analysis and conditional slicing.)

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.

Carter K, Foltzer A, Hendrix J, et al. (2013) SAW: The software analysis workbench Hilt 2013 - Proceedings of the Acm Conference On High Integrity Language Technology. 15-17
Herman D, Tomb A, Flanagan C. (2010) Space-efficient gradual typing Higher-Order and Symbolic Computation. 23: 167-189
See more...