| 2024 | ECOOP | Defining Name Accessibility Using Scope Graphs. | Aron Zwaan, Casper Bach Poulsen |
| 2024 | SLE | Concrete Syntax Metapatterns. | Luka Miljak, Casper Bach Poulsen, Rosilde Corvino |
| 2023 | APLAS | Types and Semantics for Extensible Data Types. | Cas van der Rest, Casper Bach Poulsen |
| 2023 | FTfJP | Verifying Well-Typedness Preservation of Refactorings using Scope Graphs. | Luka Miljak, Casper Bach Poulsen, Flip van Spaendonck |
| 2023 | GPCE | A Monadic Framework for Name Resolution in Multi-phased Type Checkers. | Casper Bach Poulsen, Aron Zwaan, Paul Hbner |
| 2021 | APLAS | Latent Effects for Reusable Language Components. | Birthe van den Berg, Tom Schrijvers, Casper Bach Poulsen, Nicolas Wu |
| 2020 | CPP | Intrinsically-typed definitional interpreters for linear, session-typed languages. | Arjen Rouvoet, Casper Bach Poulsen, Robbert Krebbers, Eelco Visser |
| 2019 | OOPSLA | From definitional interpreter to symbolic executor. | Adrian D. Mensing, Hendrik van Antwerpen, Casper Bach Poulsen, Eelco Visser |
| 2016 | ECOOP | Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics. | Casper Bach Poulsen, Pierre Nron, Andrew P. Tolmach, Eelco Visser |
| 2015 | PEPM | Imperative Polymorphism by Store-Based Types as Abstract Interpretations. | Casper Bach Poulsen, Peter D. Mosses, Paolo Torrini |
| 2014 | ESOP | Deriving Pretty-Big-Step Semantics from Small-Step Semantics. | Casper Bach Poulsen, Peter D. Mosses |
| 2013 | LOPSTR | Generating Specialized Interpreters for Modular Structural Operational Semantics. | Casper Bach Poulsen, Peter D. Mosses |