Eric Mullen

Publications

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