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

Title Page

Welcome from the Chairs

GPCE 2025 Organization

Sponsors

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

Article Search

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

Article Search

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)

Article Search

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

Article Search

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; Universiteit Twente, Netherlands)

Article Search Info

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)

Article Search Artifacts Available Artifacts Functional Results Reproduced

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

Article Search

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

Article Search Artifacts Available Artifacts Functional Results Reproduced