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

Title Page

Article: gpce25foreword-fm000-p doi:

Welcome from the Chairs

Article: gpce25foreword-fm001-p doi:

GPCE 2025 Organization

Article: gpce25foreword-fm002-p 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 doi:10.1145/3742876.3742883

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

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

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

Publisher's Version Article: gpce25main-p10-p doi:10.1145/3742876.3742880