Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Aaron Tomb
@proceedings{DBLP:conf/ftfjp/2023, editor = {Aaron Tomb}, title = {Proceedings of the 25th {ACM} International Workshop on Formal Techniques for Java-like Programs, FTfJP 2023, Seattle, WA, USA, 18 July 2023}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3605156}, doi = {10.1145/3605156}, timestamp = {Mon, 17 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ftfjp/2023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pacmpl/HeWCPRSSTWYZ21, author = {Paul He and Eddy Westbrook and Brent Carmer and Chris Phifer and Valentin Robert and Karl Smeltzer and Andrei Stefanescu and Aaron Tomb and Adam Wick and Matthew Yacavone and Steve Zdancewic}, title = {A type system for extracting functional specifications from memory-safe imperative programs}, journal = {Proc. {ACM} Program. Lang.}, volume = {5}, number = {{OOPSLA}}, pages = {1--29}, year = {2021}, url = {https://doi.org/10.1145/3485512}, doi = {10.1145/3485512}, timestamp = {Sat, 08 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/pacmpl/HeWCPRSSTWYZ21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/secdev/TombPD20, author = {Aaron Tomb and Stuart Pernsteiner and Mike Dodds}, title = {Symbolic Testing for {C} and Rust}, booktitle = {{IEEE} Secure Development, SecDev 2020, Atlanta, GA, USA, September 28-30, 2020}, pages = {33}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/SecDev45635.2020.00021}, doi = {10.1109/SECDEV45635.2020.00021}, timestamp = {Wed, 28 Oct 2020 10:41:43 +0100}, biburl = {https://dblp.org/rec/conf/secdev/TombPD20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/TullsenPCT18, author = {Mark Tullsen and Lee Pike and Nathan Collins and Aaron Tomb}, editor = {Hana Chockler and Georg Weissenbacher}, title = {Formal Verification of a Vehicle-to-Vehicle {(V2V)} Messaging System}, booktitle = {Computer Aided Verification - 30th International Conference, {CAV} 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {10982}, pages = {413--429}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-96142-2\_25}, doi = {10.1007/978-3-319-96142-2\_25}, timestamp = {Fri, 09 Apr 2021 18:35:26 +0200}, biburl = {https://dblp.org/rec/conf/cav/TullsenPCT18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/ChudnovCCDHMMMM18, author = {Andrey Chudnov and Nathan Collins and Byron Cook and Joey Dodds and Brian Huffman and Colm MacC{\'{a}}rthaigh and Stephen Magill and Eric Mertens and Eric Mullen and Serdar Tasiran and Aaron Tomb and Eddy Westbrook}, editor = {Hana Chockler and Georg Weissenbacher}, title = {Continuous Formal Verification of Amazon s2n}, booktitle = {Computer Aided Verification - 30th International Conference, {CAV} 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {10982}, pages = {430--446}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-96142-2\_26}, doi = {10.1007/978-3-319-96142-2\_26}, timestamp = {Wed, 03 Oct 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/ChudnovCCDHMMMM18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/secdev/DoddsMT18, author = {Mike Dodds and Stephen Magill and Aaron Tomb}, title = {Tutorial: Continuous Verification of Critical Software}, booktitle = {2018 {IEEE} Cybersecurity Development, SecDev 2018, Cambridge, MA, USA, September 30 - October 2, 2018}, pages = {128--129}, publisher = {{IEEE} Computer Society}, year = {2018}, url = {https://doi.org/10.1109/SecDev.2018.00027}, doi = {10.1109/SECDEV.2018.00027}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/secdev/DoddsMT18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ieeesp/Tomb16, author = {Aaron Tomb}, title = {Automated Verification of Real-World Cryptographic Implementations}, journal = {{IEEE} Secur. Priv.}, volume = {14}, number = {6}, pages = {26--33}, year = {2016}, url = {https://doi.org/10.1109/MSP.2016.125}, doi = {10.1109/MSP.2016.125}, timestamp = {Sun, 15 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ieeesp/Tomb16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/PikeHEMT16, author = {Lee Pike and Patrick C. Hickey and Trevor Elliott and Eric Mertens and Aaron Tomb}, editor = {Yli{\`{e}}s Falcone and C{\'{e}}sar S{\'{a}}nchez}, title = {TrackOS: {A} Security-Aware Real-Time Operating System}, booktitle = {Runtime Verification - 16th International Conference, {RV} 2016, Madrid, Spain, September 23-30, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10012}, pages = {302--317}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-46982-9\_19}, doi = {10.1007/978-3-319-46982-9\_19}, timestamp = {Wed, 28 Dec 2022 16:42:42 +0100}, biburl = {https://dblp.org/rec/conf/rv/PikeHEMT16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vstte/DockinsFHHMT16, author = {Robert Dockins and Adam Foltzer and Joe Hendrix and Brian Huffman and Dylan McNamee and Aaron Tomb}, editor = {Sandrine Blazy and Marsha Chechik}, title = {Constructing Semantic Models of Programs with the Software Analysis Workbench}, booktitle = {Verified Software. Theories, Tools, and Experiments - 8th International Conference, {VSTTE} 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {9971}, pages = {56--72}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-48869-1\_5}, doi = {10.1007/978-3-319-48869-1\_5}, timestamp = {Wed, 25 Sep 2019 18:03:08 +0200}, biburl = {https://dblp.org/rec/conf/vstte/DockinsFHHMT16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acsac/RavitchCTFEC14, author = {Tristan Ravitch and E. Rogan Creswick and Aaron Tomb and Adam Foltzer and Trevor Elliott and Ledah Casburn}, editor = {Mila Dalla Preda and Jeffrey Todd McDonald}, title = {Multi-App Security Analysis with {FUSE:} Statically Detecting Android App Collusion}, booktitle = {Proceedings of the 4th Program Protection and Reverse Engineering Workshop, PPREW@ACSAC 2014, New Orleans, LA, USA, December 9, 2014}, pages = {4:1--4:10}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2689702.2689705}, doi = {10.1145/2689702.2689705}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/acsac/RavitchCTFEC14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nfm/CarvalhoSPT14, author = {Nuno Carvalho and Cristiano da Silva Sousa and Jorge Sousa Pinto and Aaron Tomb}, editor = {Julia M. Badger and Kristin Yvonne Rozier}, title = {Formal Verification of kLIBC with the {WP} Frama-C Plug-in}, booktitle = {{NASA} Formal Methods - 6th International Symposium, {NFM} 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8430}, pages = {343--358}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-06200-6\_29}, doi = {10.1007/978-3-319-06200-6\_29}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/nfm/CarvalhoSPT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigada/CarterFHHT13, author = {Kyle Carter and Adam Foltzer and Joe Hendrix and Brian Huffman and Aaron Tomb}, editor = {Jeff Boleng and S. Tucker Taft}, title = {{SAW:} the software analysis workbench}, booktitle = {Proceedings of the 2013 {ACM} SIGAda annual conference on High integrity language technology, {HILT} 2013, Pittsburgh, Pennsylvania, USA, November 10-14, 2013}, pages = {15--18}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2527269.2527277}, doi = {10.1145/2527269.2527277}, timestamp = {Tue, 06 Nov 2018 16:57:53 +0100}, biburl = {https://dblp.org/rec/conf/sigada/CarterFHHT13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issta/TombF12, author = {Aaron Tomb and Cormac Flanagan}, editor = {Mats Per Erik Heimdahl and Zhendong Su}, title = {Detecting inconsistencies via universal reachability analysis}, booktitle = {International Symposium on Software Testing and Analysis, {ISSTA} 2012, Minneapolis, MN, USA, July 15-20, 2012}, pages = {287--297}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2338965.2336788}, doi = {10.1145/2338965.2336788}, timestamp = {Thu, 02 Dec 2021 11:46:17 +0100}, biburl = {https://dblp.org/rec/conf/issta/TombF12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lisp/HermanTF10, author = {David Herman and Aaron Tomb and Cormac Flanagan}, title = {Space-efficient gradual typing}, journal = {High. Order Symb. Comput.}, volume = {23}, number = {2}, pages = {167--189}, year = {2010}, url = {https://doi.org/10.1007/s10990-011-9066-z}, doi = {10.1007/S10990-011-9066-Z}, timestamp = {Thu, 05 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/lisp/HermanTF10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issta/TombBV07, author = {Aaron Tomb and Guillaume P. Brat and Willem Visser}, editor = {David S. Rosenblum and Sebastian G. Elbaum}, title = {Variably interprocedural program analysis for runtime error detection}, booktitle = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software Testing and Analysis, {ISSTA} 2007, London, UK, July 9-12, 2007}, pages = {97--107}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1273463.1273478}, doi = {10.1145/1273463.1273478}, timestamp = {Tue, 06 Nov 2018 16:57:30 +0100}, biburl = {https://dblp.org/rec/conf/issta/TombBV07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sfp/HermanTF07, author = {David Herman and Aaron Tomb and Cormac Flanagan}, editor = {Marco T. Moraz{\'{a}}n}, title = {Space-Efficient Gradual Typing}, booktitle = {Proceedings of the Eighth Symposium on Trends in Functional Programming, {TFP} 2007, New York City, New York, USA, April 2-4. 2007}, series = {Trends in Functional Programming}, volume = {8}, pages = {1--18}, publisher = {Intellect}, year = {2007}, timestamp = {Mon, 03 Jun 2013 08:02:44 +0200}, biburl = {https://dblp.org/rec/conf/sfp/HermanTF07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppdp/TombF05, author = {Aaron Tomb and Cormac Flanagan}, editor = {Pedro Barahona and Amy P. Felty}, title = {Automatic type inference via partial evaluation}, booktitle = {Proceedings of the 7th International {ACM} {SIGPLAN} Conference on Principles and Practice of Declarative Programming, July 11-13 2005, Lisbon, Portugal}, pages = {106--116}, publisher = {{ACM}}, year = {2005}, url = {https://doi.org/10.1145/1069774.1069784}, doi = {10.1145/1069774.1069784}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ppdp/TombF05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.