| 2018 | PPDP | Automatic Reordering for Dataflow Safety of Datalog. | Mistral Contrastin, Dominic A. Orchard, Andrew C. Rice |
| 2016 | ICFP | Combining effects and coeffects via grading. | Marco Gaboardi, Shin-ya Katsumata, Dominic A. Orchard, Flavien Breuvart, Tarmo Uustalu |
| 2016 | POPL | Effects as sessions, sessions as effects. | Dominic A. Orchard, Nobuko Yoshida |
| 2014 | ECOOP | Programming language evolution workshop report. | Raoul-Gabriel Urma, Dominic A. Orchard, Alan Mycroft |
| 2014 | HASKELL | Embedding effect systems in Haskell. | Dominic A. Orchard, Tomas Petricek |
| 2014 | ICCS | A Computational Science Agenda for Programming Language Research. | Dominic A. Orchard, Andrew C. Rice |
| 2014 | ICFP | Temporal semantics for a live coding language. | Samuel Aaron, Dominic A. Orchard, Alan F. Blackwell |
| 2014 | ICFP | Coeffects: a calculus of context-dependent computation. | Tomas Petricek, Dominic A. Orchard, Alan Mycroft |
| 2013 | ICALP | Coeffects: Unified Static Analysis of Context-Dependence. | Tomas Petricek, Dominic A. Orchard, Alan Mycroft |
| 2013 | ICFP | Automatic SIMD vectorization for Haskell. | Leaf Petersen, Dominic A. Orchard, Neal Glew |
| 2013 | OOPSLA | Upgrading fortran source code using automatic refactoring. | Dominic A. Orchard, Andrew C. Rice |
| 2011 | OOPSLA | The four Rs of programming language design. | Dominic A. Orchard |
| 2010 | FLOPS | Haskell Type Constraints Unleashed. | Dominic A. Orchard, Tom Schrijvers |
| 2010 | POPL | Ypnos: declarative, parallel structured grid programming. | Dominic A. Orchard, Max Bolingbroke, Alan Mycroft |