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