Aaron Tomb

20 papers A* 1A 2B 2C 1Journal 4Unranked 9
YearRankTypeTitle / Venue / Authors
2025 A* conf
Formally Verified Cloud-Scale Authorization.
ICSE
Aleks Chakarov, Jaco Geldenhuys, Matthew Heck, Michael Hicks, Sam Huang, Georges-Axel Jaloyan, Anjali Joshi, K. Rustan M. Leino, Mikael Mayer, Sean McLaughlin, Akhilesh Mritunjai, Clément Pit-Claudel, Sorawee Porncharoenwase, Florian Rabe, Marianna Rapoport, Giles Reger, Cody Roux, Neha Rungta, Robin Salkeld, Matthias Schlaipfer, Daniel Schoepe, Johanna Schwartzentruber, Serdar Tasiran, Aaron Tomb, Emina Torlak, Jean-Baptiste Tristan, Lucas G. Wagner, Michael W. Whalen, Remy Willems, Tongtong Xiang, Tae Joon Byun, Joshua M. Cohen, Ruijie Fang, Junyoung Jang, Jakob Rath, Hira Taqdees Syeda, Dominik Wagner, Yongwei Yuan
2025 B conf
Static Coverage in Deductive Software Verification.
FMCAD
Aaron Tomb, Anjali Joshi
2024 J jnl
Crux, a Precise Verifier for Rust and Other Languages.
CoRR
Stuart Pernsteiner, Iavor S. Diatchki, Robert Dockins, Mike Dodds, Joe Hendrix, Tristan Ravitch, Patrick Redmond, Ryan G. Scott, Aaron Tomb
2023 — ed.
Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2023, Seattle, WA, USA, 18 July 2023
FTfJP@ECOOP
Aaron Tomb
2021 J jnl
A type system for extracting functional specifications from memory-safe imperative programs.
Proc. ACM Program. Lang.
Paul He, Eddy Westbrook, Brent Carmer, Chris Phifer, Valentin Robert, Karl Smeltzer, Andrei Stefanescu, Aaron Tomb, Adam Wick, Matthew Yacavone, Steve Zdancewic
2020 — conf
Symbolic Testing for C and Rust.
SecDev
Aaron Tomb, Stuart Pernsteiner, Mike Dodds
2018 — conf
Continuous Formal Verification of Amazon s2n.
CAV (2)
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
2018 — conf
Formal Verification of a Vehicle-to-Vehicle (V2V) Messaging System.
CAV (2)
Mark Tullsen, Lee Pike, Nathan Collins, Aaron Tomb
2018 — conf
Tutorial: Continuous Verification of Critical Software.
SecDev
Mike Dodds, Stephen Magill, Aaron Tomb
2016 J jnl
Automated Verification of Real-World Cryptographic Implementations.
IEEE Secur. Priv.
Aaron Tomb
2016 — conf
Constructing Semantic Models of Programs with the Software Analysis Workbench.
VSTTE
Robert Dockins, Adam Foltzer, Joe Hendrix, Brian Huffman, Dylan McNamee, Aaron Tomb
2016 B conf
TrackOS: A Security-Aware Real-Time Operating System.
RV
Lee Pike, Patrick C. Hickey, Trevor Elliott, Eric Mertens, Aaron Tomb
2014 — conf
Formal Verification of kLIBC with the WP Frama-C Plug-in.
NASA Formal Methods
Nuno Carvalho, Cristiano da Silva Sousa, Jorge Sousa Pinto, Aaron Tomb
2014 — conf
Multi-App Security Analysis with FUSE: Statically Detecting Android App Collusion.
PPREW@ACSAC
Tristan Ravitch, E. Rogan Creswick, Aaron Tomb, Adam Foltzer, Trevor Elliott, Ledah Casburn
2013 — conf
SAW: the software analysis workbench.
HILT
Kyle Carter, Adam Foltzer, Joe Hendrix, Brian Huffman, Aaron Tomb
2012 A conf
Detecting inconsistencies via universal reachability analysis.
ISSTA
Aaron Tomb, Cormac Flanagan
2010 J jnl
Space-efficient gradual typing.
High. Order Symb. Comput.
David Herman, Aaron Tomb, Cormac Flanagan
2007 — conf
Space-Efficient Gradual Typing.
Trends in Functional Programming
David Herman, Aaron Tomb, Cormac Flanagan
2007 A conf
Variably interprocedural program analysis for runtime error detection.
ISSTA
Aaron Tomb, Guillaume P. Brat, Willem Visser
2005 C conf
Automatic type inference via partial evaluation.
PPDP
Aaron Tomb, Cormac Flanagan