| 2025 | IFM | When Separation Arithmetic is Enough. | Jean-Christophe Fillitre, Andrei Paskevich, Olivier Danvy |
| 2025 | SAS | On a Simple Problem Due to Yves Bertot. | Olivier Danvy |
| 2013 | LOPSTR | From Outermost Reduction Semantics to Abstract Machine. | Olivier Danvy, Jacob Johannsen |
| 2013 | PPDP | A synthetic operational account of call-by-need evaluation. | Olivier Danvy, Ian Zerny |
| 2011 | GPCE | Pragmatics for formal semantics. | Olivier Danvy |
| 2011 | PEPM | A walk in the semantic park. | Olivier Danvy, Jacob Johannsen, Ian Zerny |
| 2010 | FLOPS | Defunctionalized Interpreters for Call-by-Need Evaluation. | Olivier Danvy, Kevin Millikin, Johan Munk, Ian Zerny |
| 2010 | LOPSTR | Three Syntactic Theories for Combinatory Graph Reduction. | Olivier Danvy, Ian Zerny |
| 2008 | ICFP | Defunctionalized interpreters for programming languages. | Olivier Danvy |
| 2008 | WoLLIC | Inter-deriving Semantic Artifacts for Object-Oriented Programming. | Olivier Danvy, Jacob Johannsen |
| 2007 | ICFP | On Barron and Strachey's cartesian product function. | Olivier Danvy, J. Michael Spivey |
| 2006 | MPC | Refunctionalization at Work. | Olivier Danvy |
| 2003 | CC | A New One-Pass Transformation into Monadic Normal Form. | Olivier Danvy |
| 2003 | ESOP | Tagging, Encoding, and Jones Optimality. | Olivier Danvy, Pablo E. Martnez Lpez |
| 2003 | GPCE | A Journey from Interpreters to Compilers and Virtual Machines. | Olivier Danvy |
| 2003 | LOPSTR | From Interpreter to Logic Engine by Defunctionalization. | Dariusz Biernacki, Olivier Danvy |
| 2003 | PEPM | Fast partial evaluation of pattern matching in strings. | Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde |
| 2003 | PPDP | A functional correspondence between evaluators and abstract machines. | Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard |
| 2002 | FLOPS | Lambda-Lifting in Quadratic Time. | Olivier Danvy, Ulrik Pagh Schultz |
| 2002 | FOSSACS | A First-Order One-Pass CPS Transformation. | Olivier Danvy, Lasse R. Nielsen |
| 2002 | GPCE | Memoization in Type-Directed Partial Evaluation. | Vincent Balat, Olivier Danvy |
| 2002 | ICFP | There and back again. | Olivier Danvy, Mayer Goldberg |
| 2002 | PEPM | On obtaining Knuth, Morris, and Pratt's string matcher by partial evaluation. | Mads Sig Ager, Olivier Danvy, Henning Korsholm Rohde |
| 2001 | FLOPS | A Higher-Order Colon Translation. | Olivier Danvy, Lasse R. Nielsen |
| 2001 | FLOPS | A Simple Take on Typed Abstract Syntax in Haskell-like Languages. | Olivier Danvy, Morten Rhiger |
| 2001 | PPDP | Defunctionalization at Work. | Olivier Danvy, Lasse R. Nielsen |
| 2000 | ESOP | Formalizing Implementation Strategies for First-Class Continuations. | Olivier Danvy |
| 2000 | ICFP | Syntactic accidents in program analysis: on the impact of the CPS transformation. | Daniel Damian, Olivier Danvy |
| 1999 | ESOP | An Operational Investigation of the CPS Hierarchy. | Olivier Danvy, Zhe Yang |
| 1999 | FLOPS | An Extensional Characterization of Lambda-Lifting and Lambda-Dropping. | Olivier Danvy |
| 1998 | FLOPS | Online Type-Directed Partial Evaluation. | Olivier Danvy |
| 1998 | ICALP | A Simple Solution to Type Specialization. | Olivier Danvy |
| 1998 | PEPM | Type-Directed Partial Evaluation. | Olivier Danvy |
| 1997 | PEPM | Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure. | Olivier Danvy, Ulrik Pagh Schultz |
| 1996 | POPL | Type-Directed Partial Evaluation. | Olivier Danvy |
| 1994 | PEPM | The Essence of Eta-Expansion in Partial Evaluation. | Olivier Danvy, Karoline Malmkjr, Jens Palsberg |
| 1994 | POPL | A Generic Account of Continuation-Passing Styles. | John Hatcliff, Olivier Danvy |
| 1993 | MFPS | On the Transformation between Direct and Continuation Semantics. | Olivier Danvy, John Hatcliff |
| 1993 | POPL | Tutorial Notes on Partial Evaluation. | Charles Consel, Olivier Danvy |
| 1993 | POPL | Separating Stages in the Continuation-Passing Style Transformation. | Julia L. Lawall, Olivier Danvy |
| 1992 | ESOP | Back to Direct Style. | Olivier Danvy |
| 1992 | SAS | Thunks (Continued). | Olivier Danvy, John Hatcliff |
| 1991 | POPL | Static and Dynamic Semantics Processing. | Charles Consel, Olivier Danvy |
| 1990 | ESOP | From Interpreting to Compiling Binding Times. | Charles Consel, Olivier Danvy |
| 1987 | PLDI | Memory allocation and higher-order functions. | Olivier Danvy |