Items where Author is "Dreyer, Derek"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 34.

Article

Jung, Ralf and Jourdan, Jacques-Henri and Krebbers, Robbert and Dreyer, Derek
(2018) RustBelt: securing the foundations of the rust programming language.
PACMPL, 2 (POPL). 66:1–66:34.

Swasey, David and Garg, Deepak and Dreyer, Derek
(2017) Robust and compositional verification of object capability patterns.
OOPSLA, 1. 89:1–89:26.

Dreyer, Derek and Sheeran, Mary
(2016) Special issue dedicated to ICFP 2014: Editorial.
J. Funct. Program., 26. e20.

Birkedal, Lars and Dreyer, Derek and Gardner, Philippa and Shao, Zhong
(2015) Compositional Verification Methods for Next-Generation Concurrency (Dagstuhl Seminar 15191).
Dagstuhl Reports, 5 (5). pp. 1-23.

Ziliani, Beta and Dreyer, Derek and Krishnaswami, Neelakantan R. and Nanevski, Aleksandar and Vafeiadis, Viktor
(2015) Mtac: A monad for typed tactic programming in Coq.
J. Funct. Program., 25.

Birkedal, Lars and Dreyer, Derek and Gardner, Philippa and Shao, Zhong
(2015) Compositional Verification Methods for Next-Generation Concurrency (Dagstuhl Seminar 15191).
Dagstuhl Reports, 5 (5). 1–23.

Rossberg, Andreas and Russo, Claudio V and Dreyer, Derek
(2014) F-ing modules.
J. Funct. Program., 24 (5). pp. 529-607.

Gonthier, Georges and Ziliani, Beta and Nanevski, Aleksandar and Dreyer, Derek
(2013) How to make ad hoc proof automation less ad hoc.
J. Funct. Program., 23 (4). pp. 357-401.

Rossberg, Andreas and Dreyer, Derek
(2013) Mixin' Up the ML Module System.
ACM Trans. Program. Lang. Syst., 35 (1). 2:1–2:84.

Rossberg, Andreas and Dreyer, Derek
(2013) Mixin' Up the ML Module System.
ACM Trans. Program. Lang. Syst., 35 (1). 2:1–2:84.

Dreyer, Derek and Neis, Georg and Birkedal, Lars
(2012) The impact of higher-order state and control effects on local relational reasoning.
J. Funct. Program., 22 (4-5). 477–528.

Neis, Georg and Dreyer, Derek and Rossberg, Andreas
(2011) Non-parametric parametricity.
J. Funct. Program., 21 (4-5). 497–562.

Conference or Workshop Item

Kang, Jeehoon and Hur, Chung-Kil and Lahav, Ori and Vafeiadis, Viktor and Dreyer, Derek
(2017) A promising semantics for relaxed-memory concurrency.
In: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL'17).
Conference: POPL - ACM-SIGACT Symposium on Principles of Programming Languages

Krebbers, Robbert and Jung, Ralf and Bizjak, Ales and Jourdan, Jacques-Henri and Dreyer, Derek and Birkedal, Lars
(2017) The Essence of Higher-Order Concurrent Separation Logic.
In: Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings.
Conference: None | Not Set

Lahav, Ori and Vafeiadis, Viktor and Kang, Jeehoon and Hur, Chung-Kil and Dreyer, Derek
(2017) Repairing sequential consistency in C/C++11.
In: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017, Barcelona, Spain, June 18-23, 2017.
Conference: PLDI - ACM-SIGPLAN Conference on Programming Language Design and Implementation

Lahav, Ori and Vafeiadis, Viktor and Kang, Jeehoon and Hur, Chung-Kil and Dreyer, Derek
(2017) Repairing sequential consistency in C/C++11.
In: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017, Barcelona, Spain, June 18-23, 2017.
Conference: PLDI - ACM-SIGPLAN Conference on Programming Language Design and Implementation

Kaiser, Jan-Oliver and Dang, Hoang-Hai and Dreyer, Derek and Lahav, Ori and Vafeiadis, Viktor
(2017) Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris.
In: 31st European Conference on Object-Oriented Programming, ECOOP 2017, June 19-23, 2017, Barcelona, Spain.
Conference: ECOOP - European Conference on Object-Oriented Programming

Kang, Jeehoon and Kim, Yoonseung and Hur, Chung-Kil and Dreyer, Derek and Vafeiadis, Viktor
(2016) Lightweight verification of separate compilation.
In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'16).
Conference: POPL - ACM-SIGACT Symposium on Principles of Programming Languages

Jung, Ralf and Krebbers, Robbert and Birkedal, Lars and Dreyer, Derek
(2016) Higher-order ghost state.
In: Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016, Nara, Japan, September 18-22, 2016.
Conference: ICFP - International Conference on Functional Programming

Jung, Ralf and Swasey, David and Sieczkowski, Filip and Svendsen, Kasper and Turon, Aaron and Birkedal, Lars and Dreyer, Derek
(2015) Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning.
In: Proceedings of the 43nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'15).
Conference: POPL - ACM-SIGACT Symposium on Principles of Programming Languages

Neis, Georg and Hur, Chung-Kil and Kaiser, Jan-Oliver and McLaughlin, Craig and Dreyer, Derek and Vafeiadis, Viktor
(2015) Pilsner: a compositionally verified compiler for a higher-order imperative language.
In: Proceedings of the 20st ACM SIGPLAN International Conference on Functional Programming (ICFP '15).
Conference: ICFP - International Conference on Functional Programming

Tassarotti, Joseph and Dreyer, Derek and Vafeiadis, Viktor
(2015) Verifying read-copy-update in a logic for weak memory.
In: Proc. of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2015).
Conference: PLDI - ACM-SIGPLAN Conference on Programming Language Design and Implementation

Turon, Aaron and Vafeiadis, Viktor and Dreyer, Derek
(2014) GPS: navigating weak memory with ghosts, protocols, and separation.
In: Proc. of the 2014 ACM SIGPLAN International Conference on Object Oriented Programming Systems, Languages, and Applications (OOPSLA 2014).
Conference: OOPSLA - ACM Conference on Object Oriented Programming Systems Languages and Applications

Kilpatrick, Scott and Dreyer, Derek and Jones, Simon L. Peyton and Marlow, Simon
(2014) Backpack: retrofitting Haskell with interfaces.
In: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014.
Conference: POPL - ACM-SIGACT Symposium on Principles of Programming Languages

Ziliani, Beta and Dreyer, Derek and Krishnaswami, Neelakantan R. and Nanevski, Aleksandar and Vafeiadis, Viktor
(2013) Mtac: a monad for typed tactic programming in Coq.
In: Proc of the 18th ACM SIGPLAN International Conference on Functional Programming (ICFP '13).
Conference: ICFP - International Conference on Functional Programming

Krishnaswami, Neelakantan R. and Dreyer, Derek
(2013) Internalizing Relational Parametricity in the Extensional Calculus of Constructions.
In: Computer Science Logic 2013 (CSL 2013), CSL 2013, September 2-5, 2013, Torino, Italy.
Conference: None | Not Set

Turon, Aaron and Thamsborg, Jacob and Ahmed, Amal and Birkedal, Lars and Dreyer, Derek
(2013) Logical relations for fine-grained concurrency.
In: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013.
Conference: POPL - ACM-SIGACT Symposium on Principles of Programming Languages

Turon, Aaron and Dreyer, Derek and Birkedal, Lars
(2013) Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency.
In: ACM SIGPLAN International Conference on Functional Programming, ICFP'13, Boston, MA, USA - September 25 - 27, 2013.
Conference: ICFP - International Conference on Functional Programming

Hur, Chung-Kil and Neis, Georg and Dreyer, Derek and Vafeiadis, Viktor
(2013) The power of parameterization in coinductive proof.
In: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013.
Conference: POPL - ACM-SIGACT Symposium on Principles of Programming Languages

Krishnaswami, Neelakantan R. and Turon, Aaron and Dreyer, Derek and Garg, Deepak
(2012) Superficially substructural types.
In: ACM SIGPLAN International Conference on Functional Programming (ICFP 2012).
Conference: ICFP - International Conference on Functional Programming

Hur, Chung-Kil and Dreyer, Derek and Neis, Georg and Vafeiadis, Viktor
(2012) The marriage of bisimulations and Kripke logical relations.
In: Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012.
Conference: POPL - ACM-SIGACT Symposium on Principles of Programming Languages

Hur, Chung-Kil and Dreyer, Derek and Vafeiadis, Viktor
(2011) Separation Logic in the Presence of Garbage Collection.
In: Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, LICS 2011, June 21-24, 2011, Toronto, Ontario, Canada.
Conference: LICS - IEEE Symposium on Logic in Computer Science

Hur, Chung-Kil and Dreyer, Derek
(2011) A kripke logical relation between ML and assembly.
In: Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2011, Austin, TX, USA, January 26-28, 2011.
Conference: POPL - ACM-SIGACT Symposium on Principles of Programming Languages

Dreyer, Derek and Neis, Georg and Rossberg, Andreas and Birkedal, Lars
(2010) A relational modal logic for higher-order stateful ADTs.
In: Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010.
Conference: POPL - ACM-SIGACT Symposium on Principles of Programming Languages

This list was generated on Sat Mar 28 00:04:02 2020 CET.