| 2024 | PEPM | The Genesis of Mix: Early Days of Self-Applicable Partial Evaluation (Invited Contribution). | Peter Sestoft, Harald Sndergaard |
| 2021 | MODELS | On Designing Applied DSLs for Non-Programming Experts in Evolving Domains. | Holger Stadel Borum, Henning Niss, Peter Sestoft |
| 2021 | OOPSLA | Co-designing DSL quality assurance measures for and with non-programming experts. | Holger Stadel Borum, Christoph Seidl, Peter Sestoft |
| 2018 | ISoLA | Programming Language Specification and Implementation. | Peter Sestoft |
| 2018 | PADL | Rewriting High-Level Spreadsheet Structures into Higher-Order Functional Programs. | Florian Biermann, Wensheng Dou, Peter Sestoft |
| 2017 | PLDI | Quad Ropes: immutable, declarative arrays with parallelizable operations. | Florian Biermann, Peter Sestoft |
| 2015 | ICSE | 2nd International Workshop on Software Engineering Methods in Spreadsheets (SEMS 2015). | Felienne Hermans, Richard F. Paige, Peter Sestoft |
| 2014 | ICFP | Pension reserve computations on GPUs. | Christian Harrington, Nicolai Dahl, Peter Sestoft, David Raymond Christiansen |
| 2010 | ECOOP | Modular verification of linked lists with views via separation logic. | Jonas Braband Jensen, Lars Birkedal, Peter Sestoft |
| 2008 | ECOOP | Flow Analysis of Code Customizations. | Anders Hessellund, Peter Sestoft |
| 2008 | ICSE | Implementing function spreadsheets. | Peter Sestoft |
| 1998 | PEPM | Partial Evaluation for the Lambda Calculus. | Neil D. Jones, Carsten K. Gomard, Peter Sestoft |
| 1993 | STACS | Decidability and Undecidability Results for Duration Calculus. | Zhou Chaochen, Michael R. Hansen, Peter Sestoft |
| 1991 | PEPM | Globalization and Live Variables. | Carsten K. Gomard, Peter Sestoft |
| 1987 | MFPS | MIX: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation (Extended Abstract). | Neil D. Jones, Peter Sestoft, Harald Sndergaard |