Registered user since Tue 2 Feb 2016

Name: Eric Mullen

Affiliation: University of Washington

Personal website: http://homes.cs.washington.edu/~emullen

Research interests: Verification, Compiler Verification, Proof Assistants

PLDI 2016 Activities

• Author of Verified Peephole Optimizations for CompCert within the Research Papers-track in PLDI 2016
• Show activities from other conferences