Derek Dreyer
Max Planck Institute for Software Systems(DE)
Publications by Year
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Distributed systems and fault tolerance, Security and Verification in Computing, Parallel Computing and Optimization Techniques
Most-Cited Works
- → Iris from the ground up: A modular foundation for higher-order concurrent separation logic(2018)353 cited
- → RustBelt: securing the foundations of the Rust programming language(2017)333 cited
- → Iris(2014)261 cited
- → State-dependent representation independence(2009)179 cited
- → Repairing sequential consistency in C/C++11(2017)155 cited
- → A promising semantics for relaxed-memory concurrency(2016)136 cited
- → Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency(2013)133 cited