Eric Mullen

Publication Activity (10 Years)

Years Active: 2011-2021
Publications (10 Years): 5

Top Topics

Formal Verification

Automatic Extraction

Hamming Distance

Top Venues

Publications

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
Carbon-Aware Computing for Datacenters. CoRR (2021)
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
Continuous Formal Verification of Amazon s2n. CAV (2) (2018)
Eric Mullen, Stuart Pernsteiner, James R. Wilcox, Zachary Tatlock, Dan Grossman
Œuf: minimizing the Coq extraction TCB. CPP (2018)
Ramana Kumar, Eric Mullen, Zachary Tatlock, Magnus O. Myreen
Software Verification with ITPs Should Use Binary Code Extraction to Reduce the TCB - (Short Paper). ITP (2018)
Eric Mullen, Daryl Zuniga, Zachary Tatlock, Dan Grossman
Verified peephole optimizations for CompCert. PLDI (2016)
Jessica Blevins, Andy Kearney, Eric Mullen, Emily Myers-Stanhope, Elizabeth Sweedyk
Muddy hill games. ITiCSE (2011)