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	How to Write Papers So People Can Read Them Committee Member in Organizing Committee
POPL 2016	Lightweight Verification of Separate Compilation ERC member in External Reviewing Committee ERC member in External Reviewing Committee within the Research Papers-track
Show activities from other conferences