Concepedia

Derek Dreyer

DD

Statistics

Publications

86

Citations

4.9K

H-Index

40

Active since

1998

Affiliations

Max Planck Institute for Software Systems(Current)

Aarhus University

Carnegie Mellon University

Radboud University Nijmegen

Seoul National University

Derek Dreyer is an author at Max Planck Institute for Software Systems specializing in computer science, computing, and programming languages.

Publications per year

1998–2024

86

Publications

86

Iris from the ground up: A modular foundation for higher-order concurrent separation logic

Ralf Jung, Robbert Krebbers, Jacques-Henri Jourdan et al. · Journal of Functional Programming · 2018 · 368 citations · Full text

Computing, Computer Science, Formal Methods +16

RustBelt: securing the foundations of the Rust programming language

Ralf Jung, Jacques-Henri Jourdan, Robbert Krebbers et al. · Proceedings of the ACM on Programming Languages · 2017 · 350 citations · Full text

Computing, Computer Science, Computer Systems +8

Iris

Ralf Jung, David Swasey, Filip Sieczkowski et al. · 2014 · 273 citations

Computing, Computer Science, Data Science +17

State-dependent representation independence

Amal Ahmed, Derek Dreyer, Andreas Rossberg · 2009 · 181 citations

Computing, Computer Science, Formal Methods +13

Repairing sequential consistency in C/C++11

Ori Lahav, Viktor Vafeiadis, Jeehoon Kang et al. · 2017 · 158 citations · Full text

Engineering, Computer Engineering, Computer Science +14

1–5 of 86