Eric Mullen

According to our database, Eric Mullen authored at least 7 papers between 2011 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2021

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, Kendal Smith, MariEllen Cottman, Walfredo Cirne

CoRR, 2021

2018

Pushing the Limits of Compiler Verification.

Eric Mullen

PhD thesis, 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

Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

Œuf: minimizing the Coq extraction TCB.

Eric Mullen, Stuart Pernsteiner, James R. Wilcox, Zachary Tatlock, Dan Grossman

Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018

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

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2016

Verified peephole optimizations for CompCert.

Eric Mullen, Daryl Zuniga, Zachary Tatlock, Dan Grossman

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

2011

Muddy hill games.

Jessica Blevins, Andy Kearney, Eric Mullen, Emily Myers-Stanhope, Elizabeth Sweedyk

Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2011