Muddy hill games. - Jessica Blevins; Andy Kearney; Eric Mullen; Emily Myers-Stanhope; Elizabeth Sweedyk (ITiCSE, 2011)

Verified peephole optimizations for CompCert. - Eric Mullen; Daryl Zuniga; Zachary Tatlock; Dan Grossman (PLDI, 2016)

Continuous Formal Verification of Amazon s2n. - 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 (CAV (2), 2018)

Œuf: minimizing the Coq extraction TCB. - Eric Mullen; Stuart Pernsteiner; James R. Wilcox; Zachary Tatlock; Dan Grossman (CPP, 2018)

Software Verification with ITPs Should Use Binary Code Extraction to Reduce the TCB - (Short Paper). - Ramana Kumar; Eric Mullen; Zachary Tatlock; Magnus O. Myreen (ITP, 2018)

Pushing the Limits of Compiler Verification. - Eric Mullen (2018)

Carbon-Aware Computing for Datacenters. - Ana Radovanovic; Ross Koningstein; Ian Schneider; Bokan Chen; Alexandre Duarte; Binz Roy; Diyue Xiao; Maya Haridasan; Patrick Hung; Nick Care; Saurav Talukdar; Eric Mullen; et al. (CoRR, 2021)