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

PLMW 2020Committee Member in Confirmed speakers (so far) within the PLMW 2020-track
ICFP 2020Author in Steering Committee
PLMW @ ICFP 2019Committee Member in Speakers within the PLMW @ ICFP 2019-track
Author of How to give talks that people can follow within the PLMW @ ICFP 2019-track
POPL 2020Author of The High-Level Benefits of Low-Level Sandboxing within the Research Papers-track
Author of Stacked Borrows: An Aliasing Model for Rust within the Research Papers-track
Author of The Future is Ours: Prophecy Variables in Separation Logic within the Research Papers-track
Author of RustBelt Meets Relaxed Memory within the Research Papers-track
Author of [T4] Proving Semantic Type Soundness in Iris within the TutorialFest-track
SPLASH 2019Speaker in Speakers & Panelists within the PLMW-track
Speaker of How To Write Papers So People Can Read Them within the PLMW-track
ECOOP 2019Committee Member in Program Committee within the Research Papers-track
ICFP 2019General Chair in Organizing Committee
Session Chair of Monday Keynote (part of Keynotes and Reports)
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