
Registered user since Sun 28 Sep 2014
Name: Derek Dreyer
Affiliation: MPI-SWS
Personal website: http://www.mpi-sws.org/~dreyer
POPL 2016 Activities
- Author of Lightweight Verification of Separate Compilation within the Research Papers-track in POPL 2016
- Author of How to Write Papers So People Can Read Them within the PLMW-track in PLMW
- ERC member in External Reviewing Committee for POPL 2016
- Committee Member in Organizing Committee for PLMW
- ERC member in External Reviewing Committee for POPL 2016 Research Papers
- Show activities from other conferences
POPL 2016-profile
View general profile
View general profile