GPCE 2025
24th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE 2025)

Title Page

Article: gpce25foreword-fm000-p (type: Frontmatter) doi:

Welcome from the Chairs

Article: gpce25foreword-fm001-p (type: Frontmatter) doi:

GPCE 2025 Organization

Article: gpce25foreword-fm002-p (type: Frontmatter) doi:

CoCoCoLa: Code Completion Control Language
Nhat and Vadim Zaytsev
(University of Twente, Netherlands)

Publisher's Version Published Artifact Info Artifacts Available Article: gpce25main-p17-p (type: Full Paper) doi:10.1145/3742876.3742883

Data underlying the publication: "CoCoCoLa: Code Completion Control Language" (doi:10.4121/24c94759-9f9a-4423-9dcb-893816e470af.v1): Data referred from the paper "CoCoCoLa: Code Completion Control Language" published at GPCE 2025. On page 7, the paper contains a large coloured visualisation illustrating the prevalence of different code elements’ properties among completions along with their computed ranks. On that visualisation, the size of each ...

Comparative Analysis of Pre-trained Code Language Models for Automated Program Repair via Code Infill Generation
Iman Hemati Moghadam, Oebele Lijzenga, and Vadim Zaytsev
(Eindhoven University of Technology, Netherlands; University of Twente, Netherlands)

Publisher's Version Info Article: gpce25main-p15-p (type: Full Paper) doi:10.1145/3742876.3742881

Imperative Program Synthesis by Abstract Static Analysis and SMT Mutations
Aleksandar S. Dimovski
(Mother Teresa University, Skopje, North Macedonia)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced Article: gpce25main-p23-p (type: Full Paper) doi:10.1145/3742876.3742884

Tool Artifact for "Imperative Program Synthesis by Abstract Static Analysis and SMT Mutations" (doi:10.5281/zenodo.15587140): In this work, we describe the installation, usage, and evaluation results of the tool, denoted IMPSynth, introduced by the paper ``Imperative Program Synthesis by Abstract Static Analysis and SMT Mutations''. We provide step-by-step instructions on how to download, run, and compare the tool's outputs to outputs ...

Integrating Static Optimization and Dynamic Nature in JavaScript
Tadashi Saito and Hideya Iwasaki
(University of Electro-Communications, Japan; Meiji University, Japan)

Publisher's Version Article: gpce25main-p2-p (type: Full Paper) doi:10.1145/3742876.3742877

P4DDG: Data-Dependent Grammars for Packet Specification and Parsing in P4
Tommaso Pacciani, Damian Frolich, L. Thomas van Binsbergen, and Chrysa Papagianni
(University of Amsterdam, Netherlands)

Publisher's Version Article: gpce25main-p8-p (type: Full Paper) doi:10.1145/3742876.3742879

Retrofitting a Virtual Instrument DSL with Programming Abstractions
Mathias Vatter and Sebastian Erdweg
(JGU Mainz, Germany)

Publisher's Version Article: gpce25main-p3-p (type: Full Paper) doi:10.1145/3742876.3742878

A Stable Model Semantics for eFLINT Norm Specifications and Model Checking Scenarios
Christopher A. Esterhuyse, Tim Müller, and L. Thomas van Binsbergen
(University of Amsterdam, Netherlands)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced Article: gpce25main-p16-p (type: Full Paper) doi:10.1145/3742876.3742882

Source Code and Experimental Data for a Translation from eFLINT Normative Specifications to Clingo Answer-Set Programs (doi:10.5281/zenodo.15188960): This repository includes a snapshot of a fork of the eFLINT Haskell interpreter (https://gitlab.com/eflint/haskell-implementation), extended with a custom back-end, which translates its internal representation of an eFLINT specification into a Clingo program, suitable for evaluation with the Clingo answer-set solver ...

Staged Gradual Typing
Hiroto Yaguchi and Yukiyoshi Kameyama
(University of Tsukuba, Japan)

Publisher's Version Article: gpce25main-p10-p (type: Full Paper) doi:10.1145/3742876.3742880