Concepedia

Aaron Tomb

AT

9

Publications

384

Citations

9

H-Index

2006

Active since

Affiliations

Galois (United States)(Current)

University of California, Santa Cruz

Aaron Tomb is an author at Galois (United States) specializing in computer science, engineering, and formal methods.

Top concepts

Publications per year

2006–2016

9

Publications

9

Space-efficient gradual typing

David Herman, Aaron Tomb, Cormac Flanagan · LISP and Symbolic Computation · 2010 · 81 citations

, , +7

Sage: Hybrid Checking for Flexible Specifications

Jessica Gronski, Kenneth Knowles, Aaron Tomb et al. · 2006 · 65 citations

Variably interprocedural program analysis for runtime error detection

Aaron Tomb, Guillaume Brat, Willem Visser · 2007 · 58 citations

, , +19

Space-Efficient Gradual Typing.

David Herman, Aaron Tomb, Cormac Flanagan · 2007 · 54 citations

Multi-App Security Analysis with FUSE

Tristan Ravitch, E. Rogan Creswick, Aaron Tomb et al. · 2014 · 50 citations

, , +20

Rows per page

1–5 of 9