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