BibTeX records: Aaron Tomb

download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics