Derek Dreyer
From MaRDI portal
Person:1265186
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Local reasoning about the presence of bugs: incorrectness separation logic | 2021-02-09 | Paper |
| Iris from the ground up: a modular foundation for higher-order concurrent separation logic Journal of Functional Programming | 2019-02-20 | Paper |
| Mtac: a monad for typed tactic programming in Coq Journal of Functional Programming | 2017-10-23 | Paper |
| A promising semantics for relaxed-memory concurrency Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages | 2017-10-20 | Paper |
| The essence of higher-order concurrent separation logic Programming Languages and Systems | 2017-05-19 | Paper |
| Higher-order ghost state Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming | 2017-05-10 | Paper |
| Pilsner: a compositionally verified compiler for a higher-order imperative language Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming | 2017-05-10 | Paper |
| Internalizing relational parametricity in the extensional calculus of constructions | 2017-02-02 | Paper |
| Lightweight verification of separate compilation Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-10-24 | Paper |
| Iris: monoids and invariants as an orthogonal basis for concurrent reasoning Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-09-29 | Paper |
| A type system for well-founded recursion Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-11-11 | Paper |
| The marriage of bisimulations and Kripke logical relations Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-09-11 | Paper |
| A type system for higher-order modules Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-09-11 | Paper |
| State-dependent representation independence Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-07-03 | Paper |
| A relational modal logic for higher-order stateful ADTs Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-06-11 | Paper |
| Mtac: a monad for typed tactic programming in Coq Proceedings of the 18th ACM SIGPLAN international conference on Functional programming | 2015-03-30 | Paper |
| Unifying refinement and Hoare-style reasoning in a logic for higher-order concurrency Proceedings of the 18th ACM SIGPLAN international conference on Functional programming | 2015-03-30 | Paper |
| F-ing modules Journal of Functional Programming | 2015-03-25 | Paper |
| Mixin' up the ML module system Proceedings of the 13th ACM SIGPLAN international conference on Functional programming | 2015-03-16 | Paper |
| The impact of higher-order state and control effects on local relational reasoning Proceedings of the 15th ACM SIGPLAN international conference on Functional programming | 2015-03-05 | Paper |
| How to make ad hoc proof automation less ad hoc Proceedings of the 16th ACM SIGPLAN international conference on Functional programming | 2015-03-05 | Paper |
| Recursive type generativity Proceedings of the tenth ACM SIGPLAN international conference on Functional programming | 2015-01-06 | Paper |
| Non-parametric parametricity Proceedings of the 14th ACM SIGPLAN international conference on Functional programming | 2015-01-06 | Paper |
| The power of parameterization in coinductive proof Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-11-27 | Paper |
| Logical relations for fine-grained concurrency Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-11-27 | Paper |
| Modular type classes Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-09-12 | Paper |
| A type system for recursive modules Proceedings of the 12th ACM SIGPLAN international conference on Functional programming | 2014-07-21 | Paper |
| Superficially substructural types Proceedings of the 17th ACM SIGPLAN international conference on Functional programming | 2014-07-21 | Paper |
| Backpack, retrofitting Haskell with interfaces Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2014-04-10 | Paper |
| A Kripke logical relation between ML and assembly Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-04-10 | Paper |
| How to make ad hoc proof automation less ad hoc Journal of Functional Programming | 2014-02-27 | Paper |
| Non-parametric parametricity Journal of Functional Programming | 2013-04-24 | Paper |
| The impact of higher-order state and control effects on local relational reasoning Journal of Functional Programming | 2012-10-29 | Paper |
| Recursive type generativity Journal of Functional Programming | 2007-09-26 | Paper |
| Principal Type Schemes for Modular Programs Programming Languages and Systems | 2007-09-04 | Paper |
| Two heuristics for the Euclidean Steiner tree problem Journal of Global Optimization | 1998-01-01 | Paper |
Research outcomes over time
This page was built for person: Derek Dreyer
