← Back to directory
Derek Dreyer
Researcher Next ID · RN-000910
Professor · Computer Science
Max Planck Institute for Software Systems
Saarbrücken, Germany
Not currently recruitingFunding unknown
- Works count
- 149
- Citation count
- 5,289
- H-index
- 40
- i10-index
- 91
About
150 publications and 5,289 citations recorded on OpenAlex.
Research interests
Computer Science
Logic, programming, and type systems
Formal Methods in Verification
Distributed systems and fault tolerance
Security and Verification in Computing
Parallel Computing and Optimization Techniques
Publications
Iris from the ground up: A modular foundation for higher-order concurrent separation logic
Journal of Functional Programming · 2018 · 10.1017/s0956796818000151
RustBelt: securing the foundations of the Rust programming language
Proceedings of the ACM on Programming Languages · 2017 · 10.1145/3158154
Repairing sequential consistency in C/C++11
Journal · 2017 · 10.1145/3062341.3062352
Iris
Journal · 2014 · 10.1145/2676726.2676980
State-dependent representation independence
Journal · 2009 · 10.1145/1480881.1480925
Current projects
No projects listed.