Derek Dreyer - POPL 2016

Registered user since Sun 28 Sep 2014

Name:Derek Dreyer

Affiliation:MPI-SWS

Contributions

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