| 2026 | SIGCOMM | Toward Unified Network Traffic Monitoring Using SIR. | Anthony Dario, Chris Misa, Zena M. Ariola |
| 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 | FMICS | Verification by Way of Refinement: A Case Study in the Use of Coq and TLA in the Design of a Safety Critical System. | Philip Johnson-Freyd, Geoffrey C. Hulette, Zena M. Ariola |
| 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 |
| 2004 | ICFP | A type-theoretic foundation of continuations and prompts. | Zena M. Ariola, Hugo Herbelin, Amr Sabry |
| 2003 | ICALP | Minimal Classical Logic and Control Operators. | Zena M. Ariola, Hugo Herbelin |
| 1998 | POPL | Correctness of Monadic State: An Imperative Call-by-Need Calculus. | Zena M. Ariola, Amr Sabry |
| 1995 | POPL | The Call-by-Need Lambda Calculus. | Zena M. Ariola, Matthias Felleisen, John Maraist, Martin Odersky, Philip Wadler |
| 1994 | ICLP | Compilation of Concurrent Declarative Languages. | Zena M. Ariola, Barton C. Massey, M. Sami, Evan Tick |
| 1994 | LICS | Cyclic Lambda Graph Rewriting | Zena M. Ariola, Jan Willem Klop |
| 1991 | PEPM | A Syntactic Approach to Program Transformations. | Zena M. Ariola, Arvind |