| 2023 | PPDP | Closure Conversion in Little Pieces. | Zachary J. Sullivan, Paul Downen, Zena M. Ariola |
| 2021 | FSCD | Duality in Action (Invited Talk). | Paul Downen, Zena M. Ariola |
| 2021 | PEPM | Strictly capturing non-strict closures. | Zachary J. Sullivan, Paul Downen, Zena M. Ariola |
| 2020 | PPDP | A Computational Understanding of Classical (Co)Recursion. | Paul Downen, Zena M. Ariola |
| 2019 | ESOP | Codata in Action. | Paul Downen, Zachary Sullivan, Zena M. Ariola, Simon Peyton Jones |
| 2019 | HASKELL | Making a faster Curry with extensional types. | Paul Downen, Zachary Sullivan, Zena M. Ariola, Simon Peyton Jones |
| 2018 | CSL | Beyond Polarity: Towards a Multi-Discipline Intermediate Language with Sharing. | Paul Downen, Zena M. Ariola |
| 2017 | PLDI | Compiling without continuations. | Luke Maurer, Paul Downen, Zena M. Ariola, Simon L. Peyton Jones |
| 2016 | ICFP | Sequent calculus as a compiler intermediate language. | Paul Downen, Luke Maurer, Zena M. Ariola, Simon Peyton Jones |
| 2015 | ICFP | Structures for structural recursion. | Paul Downen, Philip Johnson-Freyd, Zena M. Ariola |
| 2014 | ESOP | The Duality of Construction. | Paul Downen, Zena M. Ariola |
| 2014 | ICFP | Compositional semantics for composable continuations: from abortive to delimited control. | Paul Downen, Zena M. Ariola |
| 2014 | PPDP | Continuations, Processes, and Sharing. | Paul Downen, Luke Maurer, Zena M. Ariola, Daniele Varacca |
| 2012 | ESOP | A Systematic Approach to Delimited Control with Multiple Prompts. | Paul Downen, Zena M. Ariola |
| 2012 | FLOPS | Classical Call-by-Need Sequent Calculi: The Unity of Semantic Artifacts. | Zena M. Ariola, Paul Downen, Hugo Herbelin, Keiko Nakata, Alexis Saurin |