GPCE 2026

11 papers

1. ATLAS: From Access conTrol Language to ACSL Specifications · Julien Signoles, Khaoula Boukir, Amine Nasri
2. Bringing Mixed-Stage Programming to OCaml (Keynote) · Jeremy Yallop
3. Comparing Solver Representations for Analyzing Cardinality-Based Feature Models · Fabian Eger, Lukas Güthing, Kevin Feichtinger, Ina Schaefer
4. Executable Counterfactuals: A Causal Calculus for Concurrent Systems (Keynote) · Georgiana Caltais
5. Less Is More: Measuring How LLM Involvement Affects Chatbot Accuracy in Static Analysis · Krishna Narasimhan
6. Metis: A Compositional DSL for Board Games and Game Tree Search · Thomas Kottenhahn, Prashant Kumar
7. Modular Substructural Constraints for Embedded DSLs · Anna Herlihy, Amir Shaikhha, Anastasia Ailamaki, Martin Odersky
8. Programmable Record Types in Haskell · Arthur Jamet, Michael Vollmer
9. Stageleft: Multi-stage Programming in Standard Rust · Shadaj Laddad, Mingwei Samuel, Joseph M. Hellerstein
10. Synthesizing Recursive Functional Programs via Structure-Element Separation · Junyu Lin, Akimasa Morihata
11. TurtleTalk: A DSL for Constraint-Based Turtle Graphics in Programmatic CAD · Jef Jacobs, Wolfgang De Meuter, Jens Nicolay