Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Eric Mullen
conf.researchr.org general profile
PLDI 2016 profile
POPL 2018 profile
Registered user since Tue 2 Feb 2016
Name:
Eric Mullen
Affiliation:
University of Washington
Contributions
2018
CPP
Author of Œuf: Minimizing the Coq Extraction TCB within the CPP 2018-track
2016
PLDI
Author of Verified Peephole Optimizations for CompCert within the Research Papers-track
Share
x
Sat 23 Nov 14:45