Automatic type inference via partial evaluation. - Aaron Tomb; Cormac Flanagan (PPDP, 2005)

Variably interprocedural program analysis for runtime error detection. - Aaron Tomb; Guillaume P. Brat; Willem Visser (ISSTA, 2007)

Space-efficient gradual typing. - David Herman; Aaron Tomb; Cormac Flanagan (High. Order Symb. Comput., 2010)

Detecting inconsistencies via universal reachability analysis. - Aaron Tomb; Cormac Flanagan (ISSTA, 2012)

SAW: the software analysis workbench. - Kyle Carter; Adam Foltzer; Joe Hendrix; Brian Huffman; Aaron Tomb (HILT, 2013)

Multi-App Security Analysis with FUSE: Statically Detecting Android App Collusion. - Tristan Ravitch; E. Rogan Creswick; Aaron Tomb; Adam Foltzer; Trevor Elliott; Ledah Casburn (PPREW@ACSAC, 2014)

Formal Verification of kLIBC with the WP Frama-C Plug-in. - Nuno Carvalho; Cristiano da Silva Sousa; Jorge Sousa Pinto; Aaron Tomb (NASA Formal Methods, 2014)

TrackOS: A Security-Aware Real-Time Operating System. - Lee Pike; Patrick C. Hickey; Trevor Elliott; Eric Mertens; Aaron Tomb (RV, 2016)

Constructing Semantic Models of Programs with the Software Analysis Workbench. - Robert Dockins; Adam Foltzer; Joe Hendrix; Brian Huffman; Dylan McNamee; Aaron Tomb (VSTTE, 2016)

Automated Verification of Real-World Cryptographic Implementations. - Aaron Tomb (IEEE Secur. Priv., 2016)

Continuous Formal Verification of Amazon s2n. - 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 (CAV (2), 2018)

Formal Verification of a Vehicle-to-Vehicle (V2V) Messaging System. - Mark Tullsen; Lee Pike; Nathan Collins; Aaron Tomb (CAV (2), 2018)

Tutorial: Continuous Verification of Critical Software. - Mike Dodds; Stephen Magill; Aaron Tomb (SecDev, 2018)

Symbolic Testing for C and Rust. - Aaron Tomb; Stuart Pernsteiner; Mike Dodds (SecDev, 2020)

A type system for extracting functional specifications from memory-safe imperative programs. - Paul He; Eddy Westbrook; Brent Carmer; Chris Phifer; Valentin Robert; Karl Smeltzer; Andrei Stefanescu; Aaron Tomb; Adam Wick; Matthew Yacavone; Steve Zdancewic (Proc. ACM Program. Lang., 2021)

Crux, a Precise Verifier for Rust and Other Languages. - Stuart Pernsteiner; Iavor S. Diatchki; Robert Dockins; Mike Dodds; Joe Hendrix; Tristan Ravitch; Patrick Redmond; Ryan G. Scott; Aaron Tomb (CoRR, 2024)

Formally Verified Cloud-Scale Authorization. - Aleks Chakarov; Jaco Geldenhuys; Matthew Heck; Michael Hicks 001; Sam Huang; Georges-Axel Jaloyan; Anjali Joshi; K. Rustan M. Leino; Mikael Mayer; Sean McLaughlin; Akhilesh Mritunjai; Clément Pit-Claudel; et al. (ICSE, 2025)