![Eric Mullen](https://pldi16.sigplan.org/getProfileImage/ericmullen/139bd544-2c89-43d6-8e9b-5cd37a1edde7/small.jpg?1718181831000)
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
Contributions
PLDI 2016-profile
View general profile
View general profile