Aaron Tomb

According to our database, Aaron Tomb authored at least 16 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

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

2021

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

2020

Symbolic Testing for C and Rust.

Aaron Tomb, Stuart Pernsteiner, Mike Dodds

Proceedings of the IEEE Secure Development, SecDev 2020, Atlanta, GA, USA, 2020

2018

Tutorial: Continuous Verification of Critical Software.

Mike Dodds, Stephen Magill, Aaron Tomb

Proceedings of the 2018 IEEE Cybersecurity Development, SecDev 2018, Cambridge, MA, USA, 2018

Formal Verification of a Vehicle-to-Vehicle (V2V) Messaging System.

Mark Tullsen, Lee Pike, Nathan Collins, Aaron Tomb

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

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

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2016

Automated Verification of Real-World Cryptographic Implementations.

Aaron Tomb

IEEE Secur. Priv., 2016

Constructing Semantic Models of Programs with the Software Analysis Workbench.

Robert Dockins, Adam Foltzer, Joe Hendrix, Brian Huffman, Dylan McNamee, Aaron Tomb

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2016

TrackOS: A Security-Aware Real-Time Operating System.

Lee Pike, Patrick C. Hickey, Trevor Elliott, Eric Mertens, Aaron Tomb

Proceedings of the Runtime Verification - 16th International Conference, 2016

2014

Formal Verification of kLIBC with the WP Frama-C Plug-in.

Nuno Carvalho, Cristiano da Silva Sousa, Jorge Sousa Pinto, Aaron Tomb

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

Multi-App Security Analysis with FUSE: Statically Detecting Android App Collusion.

Tristan Ravitch, E. Rogan Creswick, Aaron Tomb, Adam Foltzer, Trevor Elliott, Ledah Casburn

Proceedings of the 4th Program Protection and Reverse Engineering Workshop, 2014

2013

SAW: the software analysis workbench.

Kyle Carter, Adam Foltzer, Joe Hendrix, Brian Huffman, Aaron Tomb

Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, 2013

2012

Detecting inconsistencies via universal reachability analysis.

Aaron Tomb, Cormac Flanagan

Proceedings of the International Symposium on Software Testing and Analysis, 2012

2010

Space-efficient gradual typing.

David Herman, Aaron Tomb, Cormac Flanagan

High. Order Symb. Comput., 2010

2007

Variably interprocedural program analysis for runtime error detection.

Aaron Tomb, Guillaume P. Brat, Willem Visser

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2007

2005

Automatic type inference via partial evaluation.

Aaron Tomb, Cormac Flanagan

Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005