
Registered user since Mon 17 Aug 2015
Name:Mike Dodds
Affiliation:Galois, Inc.
Contributions
PLDI 2020 | Session Chair of Language Design II (part of PLDI Research Papers) Committee Member in External Review Committee within the PLDI Research Papers-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
PLDI 2020-profile
View general profile
View general profile