Aaron Tomb

Publication Activity (10 Years)

Years Active: 2005-2021
Publications (10 Years): 8

Top Topics

Symbolic Reasoning

Formal Verification

Semantic Models

Imperative Programs

Top Venues

Publications

Paul He, Eddy Westbrook, Brent Carmer, Chris Phifer, Valentin Robert, Karl Smeltzer, Andrei Stefanescu, Aaron Tomb, Adam Wick, Matthew Yacavone, Steve Zdancewic
A type system for extracting functional specifications from memory-safe imperative programs. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Aaron Tomb, Stuart Pernsteiner, Mike Dodds
Symbolic Testing for C and Rust. SecDev (2020)
Andrey Chudnov, Nathan Collins, Byron Cook, Joey Dodds, Brian Huffman, Colm MacCárthaigh, Stephen Magill, Eric Mertens, Eric Mullen, Serdar Tasiran, Aaron Tomb, Eddy Westbrook
Continuous Formal Verification of Amazon s2n. CAV (2) (2018)
Mike Dodds, Stephen Magill, Aaron Tomb
Tutorial: Continuous Verification of Critical Software. SecDev (2018)
Mark Tullsen, Lee Pike, Nathan Collins, Aaron Tomb
Formal Verification of a Vehicle-to-Vehicle (V2V) Messaging System. CAV (2) (2018)
Robert Dockins, Adam Foltzer, Joe Hendrix, Brian Huffman, Dylan McNamee, Aaron Tomb
Constructing Semantic Models of Programs with the Software Analysis Workbench. VSTTE (2016)
Lee Pike, Patrick C. Hickey, Trevor Elliott, Eric Mertens, Aaron Tomb
TrackOS: A Security-Aware Real-Time Operating System. RV (2016)
Aaron Tomb
Automated Verification of Real-World Cryptographic Implementations. IEEE Secur. Priv. 14 (6) (2016)
Tristan Ravitch, E. Rogan Creswick, Aaron Tomb, Adam Foltzer, Trevor Elliott, Ledah Casburn
Multi-App Security Analysis with FUSE: Statically Detecting Android App Collusion. PPREW@ACSAC (2014)
Nuno Carvalho, Cristiano da Silva Sousa, Jorge Sousa Pinto, Aaron Tomb
Formal Verification of kLIBC with the WP Frama-C Plug-in. NASA Formal Methods (2014)
Kyle Carter, Adam Foltzer, Joe Hendrix, Brian Huffman, Aaron Tomb
SAW: the software analysis workbench. HILT (2013)
Aaron Tomb, Cormac Flanagan
Detecting inconsistencies via universal reachability analysis. ISSTA (2012)
David Herman, Aaron Tomb, Cormac Flanagan
Space-efficient gradual typing. High. Order Symb. Comput. 23 (2) (2010)
David Herman, Aaron Tomb, Cormac Flanagan
Space-Efficient Gradual Typing. Trends in Functional Programming (2007)
Aaron Tomb, Guillaume P. Brat, Willem Visser
Variably interprocedural program analysis for runtime error detection. ISSTA (2007)
Aaron Tomb, Cormac Flanagan
Automatic type inference via partial evaluation. PPDP (2005)