Concepedia

Derek Dreyer

DD

84

Publications

4.7K

Citations

39

H-Index

1998

Active since

Affiliations

Max Planck Institute for Software Systems(Current)

Aarhus University

Carnegie Mellon University

Radboud University Nijmegen

IT University of Copenhagen

Derek Dreyer is an author at Max Planck Institute for Software Systems specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationAutomated ReasoningProgram AnalysisSoftware AnalysisVerificationSystem SoftwareSoftware Engineering

Publications per year

1998–2024

84

Publications

84

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 · 353 citations · Full text

Engineering, Verification, Automated Proof +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 · 331 citations · Full text

Engineering, Information Security, Verification +21

Iris

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

Engineering, Automated Reasoning, Program Analysis +13

State-dependent representation independence

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

Engineering, Representation Theory, Automated Reasoning +15

Repairing sequential consistency in C/C++11

Ori Lahav, Viktor Vafeiadis, Jeehoon Kang et al. · 2017 · 154 citations

Engineering, Verification, Computer Architecture +20

Rows per page

1–5 of 84