Derek Dreyer
From MaRDI portal
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
