Quicklinks
Decorative photo of one of the top-corners of the CISPA building
Portrait of Person: Derek Dreyer

Derek Dreyer (Other)
 
 Campus E1 5 | 66123 Saarbrücken | 405

Publications:

Title Date Date Meta
A promising semantics for relaxed-memory concurrency 2017  2017   Jeehoon Kang, Chung-Kil Hur, Ori Lahav, Viktor Vafeiadis, Derek Dreyer  Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL'17)
Robust and compositional verification of object capability patterns 2017  2017   David Swasey, Deepak Garg, Derek Dreyer
Lightweight verification of separate compilation 2016  2016   Jeehoon Kang, Yoonseung Kim, Chung-Kil Hur, Derek Dreyer, Viktor Vafeiadis  Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'16)
Compositional Verification Methods for Next-Generation Concurrency (Dagstuhl Seminar 15191) 2015  2015   Lars Birkedal, Derek Dreyer, Philippa Gardner, Zhong Shao
Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning 2015  2015   Ralf Jung, David Swasey, Filip Sieczkowski, Kasper Svendsen, Aaron Turon, Lars Birkedal, Derek Dreyer  Proceedings of the 43nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'15)
Pilsner: a compositionally verified compiler for a higher-order imperative language 2015  2015   Georg Neis, Chung-Kil Hur, Jan-Oliver Kaiser, Craig McLaughlin, Derek Dreyer, Viktor Vafeiadis  Proceedings of the 20st ACM SIGPLAN International Conference on Functional Programming (ICFP '15)
Verifying read-copy-update in a logic for weak memory 2015  2015   Joseph Tassarotti, Derek Dreyer, Viktor Vafeiadis  Proc. of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2015)
Mtac: A monad for typed tactic programming in Coq 2015  2015   Beta Ziliani, Derek Dreyer, Neelakantan R. Krishnaswami, Aleksandar Nanevski, Viktor Vafeiadis
F-ing modules 2014  2014   Andreas Rossberg, Claudio V Russo, Derek Dreyer
GPS: navigating weak memory with ghosts, protocols, and separation 2014  2014   Aaron Turon, Viktor Vafeiadis, Derek Dreyer  Proc. of the 2014 ACM SIGPLAN International Conference on Object Oriented Programming Systems, Languages, and Applications (OOPSLA 2014)
How to make ad hoc proof automation less ad hoc 2013  2013   Georges Gonthier, Beta Ziliani, Aleksandar Nanevski, Derek Dreyer
Mtac: a monad for typed tactic programming in Coq 2013  2013   Beta Ziliani, Derek Dreyer, Neelakantan R. Krishnaswami, Aleksandar Nanevski, Viktor Vafeiadis  Proc of the 18th ACM SIGPLAN International Conference on Functional Programming (ICFP '13)
Superficially substructural types 2012  2012   Neelakantan R. Krishnaswami, Aaron Turon, Derek Dreyer, Deepak Garg  ACM SIGPLAN International Conference on Functional Programming (ICFP 2012)