Statistics
Publications
3
Citations
310
H-Index
3
Active since
2016
Affiliations
University of Washington(Current)
Eric Mullen is an author at University of Washington specializing in computer science, computing, and deductive verification.
Publications per year
2016–2022
3
3
Carbon-Aware Computing for Datacenters
Ana Radovanović, Ross Koningstein, Ian Schneider et al. · IEEE Transactions on Power Systems · 2022 · 238 citations · Full text
Verified peephole optimizations for CompCert
Eric Mullen, Daryl Zuniga, Zachary Tatlock et al. · 2016 · 38 citations
Œuf: minimizing the Coq extraction TCB
Eric Mullen, Stuart Pernsteiner, James R. Wilcox et al. · 2018 · 34 citations
1–3 of 3