| 2026 | Bringing Mixed-Stage Programming to OCaml (Keynote). | Jeremy Yallop |
| 2026 | ATLAS: From Access conTrol Language to ACSL Specifications. | Julien Signoles, Khaoula Boukir, Amine Nasri |
| 2026 | Less Is More: Measuring How LLM Involvement Affects Chatbot Accuracy in Static Analysis. | Krishna Narasimhan |
| 2026 | Synthesizing Recursive Functional Programs via Structure-Element Separation. | Junyu Lin, Akimasa Morihata |
| 2026 | Stageleft: Multi-stage Programming in Standard Rust. | Shadaj Laddad, Mingwei Samuel, Joseph M. Hellerstein |
| 2026 | Metis: A Compositional DSL for Board Games and Game Tree Search. | Thomas Kottenhahn, Prashant Kumar |
| 2026 | Programmable Record Types in Haskell. | Arthur Jamet, Michael Vollmer |
| 2026 | TurtleTalk: A DSL for Constraint-Based Turtle Graphics in Programmatic CAD. | Jef Jacobs, Wolfgang De Meuter, Jens Nicolay |
| 2026 | Modular Substructural Constraints for Embedded DSLs. | Anna Herlihy, Amir Shaikhha, Anastasia Ailamaki, Martin Odersky |
| 2026 | Comparing Solver Representations for Analyzing Cardinality-Based Feature Models. | Fabian Eger, Lukas Gthing, Kevin Feichtinger, Ina Schaefer |
| 2026 | Executable Counterfactuals: A Causal Calculus for Concurrent Systems (Keynote). | Georgiana Caltais |
| 2025 | Staged Gradual Typing. | Hiroto Yaguchi, Yukiyoshi Kameyama |
| 2025 | Retrofitting a Virtual Instrument DSL with Programming Abstractions. | Mathias Vatter, Sebastian Erdweg |
| 2025 | Integrating Static Optimization and Dynamic Nature in JavaScript. | Tadashi Saito, Hideya Iwasaki |
| 2025 | P4DDG: Data-Dependent Grammars for Packet Specification and Parsing in P4. | Tommaso Pacciani, Damian Frlich, L. Thomas van Binsbergen, Chrysa Papagianni |
| 2025 | CoCoCoLa: Code Completion Control Language. | Nhat, Vadim Zaytsev |
| 2025 | Comparative Analysis of Pre-trained Code Language Models for Automated Program Repair via Code Infill Generation. | Iman Hemati Moghadam, Oebele Lijzenga, Vadim Zaytsev |
| 2025 | A Stable Model Semantics for eFLINT Norm Specifications and Model Checking Scenarios. | Christopher A. Esterhuyse, Tim Mller, L. Thomas van Binsbergen |
| 2025 | Imperative Program Synthesis by Abstract Static Analysis and SMT Mutations. | Aleksandar S. Dimovski |
| 2024 | Restaging Domain-Specific Languages: A Flexible Design Pattern for Rapid Development of Optimizing Compilers. | Amir Shaikhha |
| 2024 | Separate Compilation and Partial Linking: Modules for Datalog IR. | David Klopp, Andr Pacak, Sebastian Erdweg |
| 2024 | Type-Safe Code Generation with Algebraic Effects and Handlers. | Kanaru Isoda, Ayato Yokoyama, Yukiyoshi Kameyama |
| 2024 | Hot Call-Chain Inlining for the Glasgow Haskell Compiler. | Celeste Hollenbeck, Michael F. P. O'Boyle |
| 2024 | An Extensible Feature-Oriented Approach for Fine-Grained Code Quality Analysis. | Karim Ghallab, Tewfik Ziadi, Zaak Chalal |
| 2024 | Applying a Self-Extension Mechanism to DSLs for Establishing Model Libraries. | Arkadii Gerasimov, Nico Jansen, Judith Michael, Bernhard Rumpe |