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 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 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 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 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 doi:10.1145/3814885.3816409

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 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 doi:10.1145/3814885.3816408

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 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 doi:10.1145/3814885.3816412

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

Publisher's Version Article: gpce26main-p13-p 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 doi:10.1145/3814885.3816414

proc time: 0.03