GPCE 2026 – Proceedings

Frontmatter

Keynotes

Bringing Mixed-Stage Programming to OCaml (Keynote)
Jeremy Yallop
(University of Cambridge, UK)

Publisher's Version Article: gpce26main-key1-p (type: Keynote) doi:10.1145/3814885.3827599

Executable Counterfactuals: A Causal Calculus for Concurrent Systems (Keynote)
Georgiana Caltais
(University of Twente, Netherlands)

Publisher's Version Article: gpce26main-key2-p (type: Keynote) doi:10.1145/3814885.3827600

Specification and Analysis

Comparing Solver Representations for Analyzing Cardinality-Based Feature Models
Fabian Eger, Lukas Güthing, Kevin Feichtinger, and Ina Schaefer
(KIT, Germany)

Publisher's Version Article: gpce26main-p4-p (type: Full Paper) doi:10.1145/3814885.3816410

ATLAS: From Access conTrol Language to ACSL Specifications
Julien Signoles, Khaoula Boukir, and Amine Nasri
(Université Paris-Saclay - CEA - List, France; Ibn Tofail University, Morocco)

Publisher's Version Article: gpce26main-p19-p (type: Full Paper) doi:10.1145/3814885.3816415

Less Is More: Measuring How LLM Involvement Affects Chatbot Accuracy in Static Analysis
Krishna Narasimhan
(F1RE, Netherlands)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: gpce26main-p3-p (type: Full Paper) doi:10.1145/3814885.3816409

Reproduction package for "Less Is More: Measuring How LLM Involvement Affects Chatbot Accuracy in Static Analysis" (doi:10.5281/zenodo.18888136): Artifact: Less Is More (GPCE 2026) Setup 1. Python environment python -m venv venv source venv/bin/activate pip install -r requirements.txt 2. HuggingFace API key cp .env.example .env # Edit .env and set HF_TOKEN to your HuggingFace Pro token 3. Target Java projects mkdir targets && cd targets git clone ...

TurtleTalk: A DSL for Constraint-Based Turtle Graphics in Programmatic CAD
Jef Jacobs, Wolfgang De Meuter, and Jens Nicolay
(Vrije Universiteit Brussel, Belgium)

Publisher's Version Article: gpce26main-p21-p (type: Full Paper) doi:10.1145/3814885.3816416

Programming Abstractions

Programmable Record Types in Haskell
Arthur Jamet and Michael Vollmer
(University of Kent, UK)

Publisher's Version Published Artifact Artifacts Available Article: gpce26main-p2-p (type: Full Paper) doi:10.1145/3814885.3816408

Source code and benchmark code for article 'Programmable Record Types in Haskell' (doi:10.1145/3747417): Contains the source code for the library presented in the paper, as well as the code to run the benchmarks, whose results are also presented in the paper.

Modular Substructural Constraints for Embedded DSLs
Anna Herlihy, Amir Shaikhha, Anastasia Ailamaki, and Martin Odersky
(EPFL, Switzerland; University of Edinburgh, UK)

Publisher's Version Article: gpce26main-p5-p (type: Full Paper) doi:10.1145/3814885.3816411

Metis: A Compositional DSL for Board Games and Game Tree Search
Thomas Kottenhahn and Prashant Kumar
(University of Mainz, Germany)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: gpce26main-p7-p (type: Full Paper) doi:10.1145/3814885.3816412

Metis source code and demo server for article "Metis: A Compositional DSL for Board Games and Game Tree Search" (doi:10.5281/zenodo.20186962): The artifact contains the source code of Metis, a demo server showcasing different games and documentation for combinators in the language.

Synthesizing Recursive Functional Programs via Structure-Element Separation
Junyu Lin and Akimasa Morihata
(University of Tokyo, Japan)

Publisher's Version Article: gpce26main-p13-p (type: Full Paper) doi:10.1145/3814885.3816413

Stageleft: Multi-stage Programming in Standard Rust
Shadaj Laddad, Mingwei Samuel, and Joseph M. Hellerstein
(Amazon Web Services, USA; University of California at Berkeley, USA)

Publisher's Version Article: gpce26main-p18-p (type: Full Paper) doi:10.1145/3814885.3816414

proc time: 0.03