Eric Mullen


E. Mullen, D. Zuniga, Z. Tatlock, and D. Grossman. Verified Peephole Optimizations for CompCert. Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, June 2016.

E. Mullen, S. Pernsteiner, J. R. Wilcox, Z. Tatlock, and D. Grossman. Oeuf: Minimizing the Coq Extraction TCB. CPP’18, January 8–9, 2018, Los Angeles, CA, USA.