BibTeX records: Eric Mullen

• > Home > Persons > Eric Mullen

@article{DBLP:journals/corr/abs-2106-11750,
  author       = {Ana Radovanovic and
                  Ross Koningstein and
                  Ian Schneider and
                  Bokan Chen and
                  Alexandre Duarte and
                  Binz Roy and
                  Diyue Xiao and
                  Maya Haridasan and
                  Patrick Hung and
                  Nick Care and
                  Saurav Talukdar and
                  Eric Mullen and
                  Kendal Smith and
                  MariEllen Cottman and
                  Walfredo Cirne},
  title        = {Carbon-Aware Computing for Datacenters},
  journal      = {CoRR},
  volume       = {abs/2106.11750},
  year         = {2021},
  url          = {https://arxiv.org/abs/2106.11750},
  eprinttype   = {arXiv},
  eprint       = {2106.11750},
  timestamp    = {Wed, 30 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2106-11750.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/us/Mullen18,
  author       = {Eric Mullen},
  title        = {Pushing the Limits of Compiler Verification},
  school       = {University of Washington, {USA}},
  year         = {2018},
  url          = {https://hdl.handle.net/1773/42269},
  timestamp    = {Wed, 04 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/us/Mullen18.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},
  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    = {Sat, 31 May 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/ChudnovCCDHMMMM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cpp/MullenPWTG18,
  author       = {Eric Mullen and
                  Stuart Pernsteiner and
                  James R. Wilcox and
                  Zachary Tatlock and
                  Dan Grossman},
  editor       = {June Andronick and
                  Amy P. Felty},
  title        = {{\OE}uf: minimizing the Coq extraction {TCB}},
  booktitle    = {Proceedings of the 7th {ACM} {SIGPLAN} International Conference on
                  Certified Programs and Proofs, {CPP} 2018, Los Angeles, CA, USA, January
                  8-9, 2018},
  pages        = {172--185},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3167089},
  doi          = {10.1145/3167089},
  timestamp    = {Sun, 12 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cpp/MullenPWTG18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/itp/KumarMTM18,
  author       = {Ramana Kumar and
                  Eric Mullen and
                  Zachary Tatlock and
                  Magnus O. Myreen},
  editor       = {Jeremy Avigad and
                  Assia Mahboubi},
  title        = {Software Verification with ITPs Should Use Binary Code Extraction
                  to Reduce the {TCB} - (Short Paper)},
  booktitle    = {Interactive Theorem Proving - 9th International Conference, {ITP}
                  2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
                  UK, July 9-12, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  pages        = {362--369},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94821-8\_21},
  doi          = {10.1007/978-3-319-94821-8\_21},
  timestamp    = {Sun, 12 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/itp/KumarMTM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/MullenZTG16,
  author       = {Eric Mullen and
                  Daryl Zuniga and
                  Zachary Tatlock and
                  Dan Grossman},
  editor       = {Chandra Krintz and
                  Emery D. Berger},
  title        = {Verified peephole optimizations for CompCert},
  booktitle    = {Proceedings of the 37th {ACM} {SIGPLAN} Conference on Programming
                  Language Design and Implementation, {PLDI} 2016, Santa Barbara, CA,
                  USA, June 13-17, 2016},
  pages        = {448--461},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2908080.2908109},
  doi          = {10.1145/2908080.2908109},
  timestamp    = {Sat, 30 Sep 2023 09:54:48 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/MullenZTG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iticse/BlevinsKMMS11,
  author       = {Jessica Blevins and
                  Andy Kearney and
                  Eric Mullen and
                  Emily Myers{-}Stanhope and
                  Elizabeth Sweedyk},
  editor       = {Guido R{\"{o}}{\ss}ling and
                  Thomas L. Naps and
                  Christian Spannagel},
  title        = {Muddy hill games},
  booktitle    = {Proceedings of the 16th Annual {SIGCSE} Conference on Innovation and
                  Technology in Computer Science Education, ITiCSE 2011, Darmstadt,
                  Germany, June 27-29, 2011},
  pages        = {395},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1999747.1999908},
  doi          = {10.1145/1999747.1999908},
  timestamp    = {Wed, 10 Mar 2021 13:17:16 +0100},
  biburl       = {https://dblp.org/rec/conf/iticse/BlevinsKMMS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}