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

Title Page

Welcome from the Chairs

GPCE 2025 Organization

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

Publisher's Version Published Artifact Info Artifacts Available

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

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

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

Publisher's Version

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

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

Publisher's Version

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

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

Publisher's Version