Aaron Tomb
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
7
Active years
2005–2025
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | FMCAD | Static Coverage in Deductive Software Verification. | Aaron Tomb, Anjali Joshi |
| 2025 | ICSE | Formally Verified Cloud-Scale Authorization. | 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, Clment 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, Taejoon Byun, Joshua M. Cohen, Ruijie Fang, Junyoung Jang, Jakob Rath, Hira Taqdees Syeda, Dominik Wagner, Yongwei Yuan |
| 2018 | CAV | Continuous Formal Verification of Amazon s2n. | Andrey Chudnov, Nathan Collins, Byron Cook, Joey Dodds, Brian Huffman, Colm MacCrthaigh, Stephen Magill, Eric Mertens, Eric Mullen, Serdar Tasiran, Aaron Tomb, Eddy Westbrook |
| 2018 | CAV | Formal Verification of a Vehicle-to-Vehicle (V2V) Messaging System. | Mark Tullsen, Lee Pike, Nathan Collins, Aaron Tomb |
| 2016 | RV | TrackOS: A Security-Aware Real-Time Operating System. | Lee Pike, Patrick C. Hickey, Trevor Elliott, Eric Mertens, Aaron Tomb |
| 2014 | ACSAC | Multi-App Security Analysis with FUSE: Statically Detecting Android App Collusion. | Tristan Ravitch, E. Rogan Creswick, Aaron Tomb, Adam Foltzer, Trevor Elliott, Ledah Casburn |
| 2012 | ISSTA | Detecting inconsistencies via universal reachability analysis. | Aaron Tomb, Cormac Flanagan |
| 2007 | ISSTA | Variably interprocedural program analysis for runtime error detection. | Aaron Tomb, Guillaume P. Brat, Willem Visser |
| 2005 | PPDP | Automatic type inference via partial evaluation. | Aaron Tomb, Cormac Flanagan |