| 2024 | Seamless Scope-Safe Metaprogramming through Polymorphic Subtype Inference (Short Paper). | Cunyuan Gao, Lionel Parreaux |
| 2024 | On the Soundness of Auto-completion Services for Dynamically Typed Languages. | Damian Frlich, L. Thomas van Binsbergen |
| 2024 | Specializing Data Access in a Distributed File System (Generative Pearl). | Pratyush Das, Anxhelo Xhebraj, Tiark Rompf |
| 2024 | Automated Generation of Code Contracts: Generative AI to the Rescue? | Sandra Greiner, Noah Bhlmann, Manuel Ohrndorf, Christos Tsigkanos, Oscar Nierstrasz, Timo Kehrer |
| 2023 | Multi-Stage Vertex-Centric Programming for Agent-Based Simulations. | Zilu Tian |
| 2023 | A Monadic Framework for Name Resolution in Multi-phased Type Checkers. | Casper Bach Poulsen, Aron Zwaan, Paul Hbner |
| 2023 | Unleashing the Power of Implicit Feedback in Software Product Lines: Benefits Ahead. | Raul Medeiros, Oscar Daz, David Benavides |
| 2023 | C2TACO: Lifting Tensor Code to TACO. | Jos Wesley de Souza Magalhes, Jackson Woodruff, Elizabeth Polgreen, Michael F. P. O'Boyle |
| 2023 | Virtual Domain Specific Languages via Embedded Projectional Editing. | Niklas Korz, Artur Andrzejak |
| 2023 | A pred-LL(*) Parsable Typed Higher-Order Macro System for Architecture Description Languages. | Christoph Hochrainer, Andreas Krall |
| 2023 | Generating Conforming Programs with Xsmith. | William Gallard Hatch, Pierce Darragh, Sorawee Porncharoenwase, Guy Watson, Eric Eide |
| 2023 | Partial Evaluation of Automatic Differentiation for Differential-Algebraic Equations Solvers. | Oscar Eriksson, Viktor Palmkvist, David Broman |
| 2023 | Generating Constraint Programs for Variability Model Reasoning: A DSL and Solver-Agnostic Approach. | Camilo Correa-Restrepo, Jacques Robin, Ral Mazo |
| 2023 | Automatically Generated Supernodes for AST Interpreters Improve Virtual-Machine Performance. | Matteo Basso, Daniele Bonetta, Walter Binder |
| 2023 | Crossover: Towards Compiler-Enabled COBOL-C Interoperability. | Mart van Assen, Manzi Aim Ntagengerwa, mer Sayilir, Vadim Zaytsev |
| 2022 | Deep Fusion for Efficient Nested Recursive Computations. | Amir Shaikhha |
| 2022 | SQL to Stream with S2S: An Automatic Benchmark Generator for the Java Stream API. | Filippo Schiavio, Andrea Ros, Walter Binder |
| 2022 | A Modern C++ Point of View of Programming in Image Processing. | Michal Roynard, Edwin Carlinet, Thierry Graud |
| 2022 | Language Design Meets Verifying Compilers (Keynote). | David J. Pearce |
| 2022 | Incremental Processing of Structured Data in Datalog. | Andr Pacak, Tams Szab, Sebastian Erdweg |
| 2022 | A Model-Driven Generative Self Play-Based Toolchain for Developing Games and Players. | Evgeny Kusmenko, Maximilian Mnker, Matthias Nadenau, Bernhard Rumpe |
| 2022 | Type System for Four Delimited Control Operators. | Chiaki Ishio, Kenichi Asai |
| 2022 | Generic Solution-Space Sampling for Multi-domain Product Lines. | Marc Hentze, Tobias Pett, Chico Sundermann, Sebastian Krieter, Thomas Thm, Ina Schaefer |
| 2022 | Language Support for Refactorability Decay Prevention. | Dov Fraivert, David H. Lorenz |
| 2022 | The Cost of Dynamism in Static Languages for Image Processing. | Baptiste Esteban, Edwin Carlinet, Guillaume Tochon, Didier Verna |