Derek Dreyer - POPL 2016

Registered user since Sun 28 Sep 2014

Name: Derek Dreyer

Affiliation: MPI-SWS

Personal website: http://www.mpi-sws.org/~dreyer

Contributions

PLMW	Author of How to Write Papers So People Can Read Them within the PLMW-track Committee Member in Organizing Committee
POPL 2016	Author of Lightweight Verification of Separate Compilation within the Research Papers-track ERC member in External Reviewing Committee ERC member in External Reviewing Committee within the Research Papers-track
Show activities from other conferences