Derek Dreyer

Registered user since Sun 28 Sep 2014

Name: Derek Dreyer

Country: Germany

Affiliation: MPI-SWS

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

Contributions

ECOOP 2019Committee Member in Program Committee within the ECOOP 2019-track
ICFP 2019General Chair in Organizing Committee
ICFP'19 General Chair in Steering Committee
PLMW 2018Committee Member in Speakers within the PLMW-track
Author of How to Give Talks That People Can Follow within the PLMW-track
SPLASH 2018Committee Member in Review Committee within the OOPSLA-track
Mentor in Mentors within the Breakfasts-track
ICFP 2018ICFP'19 General Chair in Steering Committee
Author of ICFP 2019 Announcement within the Keynotes and Reports-track
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 2017Author of How to Write Papers and Give Talks That People Can Follow within the PLMW 2017-track
HOPE 2017Author of RustBelt: Securing the Foundations of the Rust Programming Language within the HOPE 2017-track
FTfJP 2017Author of Iris: A Modular Foundation for Higher-Order Concurrent Separation Logic (KEYNOTE) within the FTfJP 2017-track
ICFP 2017ICFP'19 General Chair in Steering Committee
POPL 2018Author 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
PLMWCommittee Member in Speaker within the PLMW-track
Author of How to Give Talks That People Can Follow within the PLMW-track
PLMW 2016Committee Member in Speakers within the PLMW-track
Author of How to Write Papers So People Can Read Them within the PLMW-track
POPL 2017Session 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 2017Author of Robust and Compositional Verification of Object Capability Patterns within the OOPSLA-track
PLDI 2017Author of Repairing Sequential Consistency in C/C++11 within the PLDI Research Papers-track
ECOOP 2017Author of Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris within the ECOOP Research Papers-track
ICFP 2016Author of Higher-Order Ghost State within the Research Papers-track
Committee Member in External Review Committee within the Research Papers-track
PLMWAuthor of How to Write Papers So People Can Read Them within the PLMW-track
Committee Member in Organizing Committee
POPL 2016Author 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 2015Committee Member in Program Committee within the ESOP-track
PLDI 2015Author 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 2014Author 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