Derek Dreyer

Registered user since Sun 28 Sep 2014

Name: Derek Dreyer

Affiliation: MPI-SWS

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

Contributions

PLMW 2018	Committee Member in Speakers within the PLMW-track Author of How to Give Talks That People Can Follow within the PLMW-track
SPLASH 2018	Committee Member in Review Committee within the OOPSLA-track
ICFP 2018	ICFP'19 General Chair in Steering Committee Author of MoSeL: A General, Extensible Modal Framework for Interactive Proofs in Separation Logic within the Research Papers-track Author of Mtac2: Typed Tactics for Backward Reasoning in Coq within the Research Papers-track
PLMW 2017	Author of How to Write Papers and Give Talks That People Can Follow within the PLMW 2017-track
HOPE 2017	Author of RustBelt: Securing the Foundations of the Rust Programming Language within the HOPE 2017-track
FTfJP 2017	Author of Iris: A Modular Foundation for Higher-Order Concurrent Separation Logic (KEYNOTE) within the FTfJP 2017-track
ICFP 2017	ICFP'19 General Chair in Steering Committee
POPL 2018	Author of RustBelt: Securing the Foundations of the Rust Programming Language within the Artifact Evaluation-track Author of Milner Award Lecture: The Type Soundness Theorem That You Really Want to Prove (and Now You Can) within the Research Papers-track Author of RustBelt: Securing the Foundations of the Rust Programming Language within the Research Papers-track
PLMW	Committee Member in Speaker within the PLMW-track Author of How to Give Talks That People Can Follow within the PLMW-track
PLMW 2016	Committee Member in Speakers within the PLMW-track Author of How to Write Papers So People Can Read Them within the PLMW-track
POPL 2017	Session Chair of Type Systems 3 (part of POPL) Committee Member in Program Committee within the POPL-track Author of A Promising Semantics for Relaxed-Memory Concurrency within the POPL-track
SPLASH 2017	Author of Robust and Compositional Verification of Object Capability Patterns within the OOPSLA-track
PLDI 2017	Author of Repairing Sequential Consistency in C/C++11 within the PLDI Research Papers-track
ECOOP 2017	Author of Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris within the ECOOP Research Papers-track
ICFP 2016	Author of Higher-Order Ghost State within the Research Papers-track Committee Member in External Review Committee within the Research Papers-track
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
ESOP 2015	Committee Member in Program Committee within the ESOP-track
PLDI 2015	Author of Verifying Read-Copy-Update in a Logic for Weak Memory within the Research Papers-track Committee Member in External Review Committee within the Research Papers-track
SPLASH 2014	Author of GPS: Navigating Weak Memory with Ghosts, Protocols, and Separation within the OOPSLA-track Presenter of GPS: Navigating Weak Memory with Ghosts, Protocols, and Separation within the OOPSLA Artifacts-track