GPCE 2025 - ECOOP 2025
ECOOP 2025
Mon 30 June - Fri 4 July 2025
Bergen, Norway
Attending
Venue: Western Norway University of Applied Sciences
Conference dinner (Wed, 2.7. 19:30): "Ostra": Ostra
Reception (Mon, 30.6. 18:30): Håkonshallen
Registration Information
Getting There (And Away)
Accommodation
Weather
Sponsorship
Program
ECOOP Program
Your Program
Program Overview
Accepted Papers
Mon 30 Jun
Tue 1 Jul
Wed 2 Jul
Thu 3 Jul
Fri 4 Jul
Tracks
ECOOP 2025
Awards
Technical Papers
Artifact Evaluation
Doctoral Symposium
Co-hosted Conferences
GPCE
Workshops
DEBT
FTfJP
ICOOOLPS
PLF+PLAID
PLSS
VORTEX
VORTEX
- Tell Me The Future, Correctly: On The Monitorability of Timed Logics Over Infinite Executions
Organization
ECOOP 2025 Committees
Organizing Committee
Track Committees
Technical Papers
Artifact Evaluation
Doctoral Symposium
Contributors
People Index
Co-hosted Conferences
GPCE
Organizing Committee
Program Committee
Steering Committee
Workshops
DEBT
Organizing Committee
Program Committee
Steering Committee
FTfJP
Program Committee
Steering Committee
ICOOOLPS
Program Committee
PLF+PLAID
Organizing Committee
Program Committee
PLSS
Organizers
VORTEX
Organizing Committee
Program Committee
Series
Series
ECOOP 2026
ECOOP 2025
ECOOP 2024
ECOOP 2023
ECOOP 2022
ECOOP 2021
ECOOP 2020
ECOOP 2019
ECOOP 2018
ECOOP 2017
ECOOP 2016
ECOOP 2015
2014: Uppsala
2013: Montpellier
2012: Beijing
2011: Lancaster
2010: Maribor
2009: Genova
2008: Cyprus
2007: Berlin
2006: Nice
2005: Glasgow
ECOOP 2025
series
) /
GPCE 2025 (
series
) /
GPCE
About
Program
Accepted Papers
Call for Papers
The ACM SIGPLAN International Conference on Generative Programming: Concepts & Experiences (GPCE) is a programming languages conference focusing on techniques and tools for code generation, language implementation, and product-line development. This is the 24th edition of the conference.
Dates
Plenary
Program Display Configuration
Close
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Thu 3 Jul
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:15
Intro & Keynote
GPCE
at
Auditorium M003
Chair(s):
Amir Shaikhha
University of Edinburgh
09:00
75m
Keynote
Metaprogramming and algebra
GPCE
Ohad Kammar
University of Edinburgh
10:15 - 10:45
Coffee Break
Catering
at
M130/131
10:15
30m
Coffee break
Break
Catering
10:45 - 12:30
Contributed Talks
GPCE
at
Auditorium M003
Chair(s):
Torsten Layda
SIX
10:45
35m
Talk
CoCoCoLa: Code Completion Control Language
GPCE
Nhat
University of Twente
Vadim Zaytsev
University of Twente
11:20
35m
Talk
Comparative Analysis of Pre-Trained Code Language Models for Automated Program Repair via Code Infill Generation
GPCE
Iman Hemati Moghadam
Eindhoven University of Technology
Oebele Lijzenga
Universiteit Twente
Vadim Zaytsev
University of Twente
11:55
35m
Talk
Imperative Program Synthesis by Abstract Static Analysis and SMT Mutations
GPCE
Aleksandar S. Dimovski
Mother Teresa University, Skopje
12:30 - 14:00
Lunch (cafeteria K1)
Catering
at
Cafeteria (K1)
12:30
90m
Lunch
Lunch
Catering
14:00 - 15:45
Contributed Talks
GPCE
at
Auditorium M003
Chair(s):
Yukiyoshi Kameyama
University of Tsukuba
14:00
35m
Talk
Integrating Static Optimization and Dynamic Nature in JavaScript
GPCE
Tadashi Saito
The University of Electro-Communications
Hideya Iwasaki
Meiji University
DOI
Media Attached
14:35
35m
Talk
P4DDG: data-dependent grammars for packet specification and parsing in P4
GPCE
Tommaso Pacciani
University of Amsterdam
D Frölich
University of Amsterdam
L. Thomas van Binsbergen
University of Amsterdam
Chrysa Papagianni
University of Amsterdam
Link to publication
DOI
Pre-print
15:10
35m
Talk
Retrofitting a Virtual Instrument DSL with Programming Abstractions
GPCE
Mathias Vatter
JGU Mainz
Sebastian Erdweg
JGU Mainz
15:45 - 16:15
Coffee Break
Catering
at
M130/131
15:45
30m
Coffee break
Break
Catering
16:15 - 18:00
Contributed Talks & Closing
GPCE
at
Auditorium M003
Chair(s):
David Klopp
JGU Mainz
16:15
35m
Talk
A Stable Model Semantics for eFLINT Norm Specifications and Model Checking Scenarios
GPCE
Christopher Esterhuyse
University of Amsterdam
Tim Müller
University of Amsterdam
L. Thomas van Binsbergen
University of Amsterdam
Link to publication
DOI
Pre-print
16:50
35m
Talk
Staged Gradual Typing
GPCE
Hiroto Yaguchi
University of Tsukuba
Yukiyoshi Kameyama
University of Tsukuba
Link to publication
DOI
Accepted Papers
Title
A Stable Model Semantics for eFLINT Norm Specifications and Model Checking Scenarios
GPCE
Christopher Esterhuyse
Tim Müller
L. Thomas van Binsbergen
Link to publication
DOI
Pre-print
CoCoCoLa: Code Completion Control Language
GPCE
Nhat
Vadim Zaytsev
Comparative Analysis of Pre-Trained Code Language Models for Automated Program Repair via Code Infill Generation
GPCE
Iman Hemati Moghadam
Oebele Lijzenga
Vadim Zaytsev
Imperative Program Synthesis by Abstract Static Analysis and SMT Mutations
GPCE
Aleksandar S. Dimovski
Integrating Static Optimization and Dynamic Nature in JavaScript
GPCE
Tadashi Saito
Hideya Iwasaki
DOI
Media Attached
P4DDG: data-dependent grammars for packet specification and parsing in P4
GPCE
Tommaso Pacciani
D Frölich
L. Thomas van Binsbergen
Chrysa Papagianni
Link to publication
DOI
Pre-print
Retrofitting a Virtual Instrument DSL with Programming Abstractions
GPCE
Mathias Vatter
Sebastian Erdweg
Staged Gradual Typing
GPCE
Hiroto Yaguchi
Yukiyoshi Kameyama
Link to publication
DOI
Call for Papers
The ACM SIGPLAN International Conference on Generative Programming: Concepts & Experiences (GPCE) is a programming languages conference focusing on techniques and tools for code generation, language implementation, and product-line development.
Topics of Interest:
GPCE seeks conceptual, theoretical, empirical, and technical contributions to its topics of interest, which include but are not limited to:
program transformation, staging,
macro systems, preprocessors,
program synthesis,
code-recommendation systems,
domain-specific languages,
generative language workbenches,
language embedding, language design,
domain engineering,
software product lines, configurable software,
feature interactions,
applications and properties of code generation,
language implementation,
AI/ML techniques for generative programming,
generative programming for AI/ML techniques,
low code / no code approaches.
GPCE promotes cross-fertilization between programming languages and software development and among different styles of generative programming in its broadest sense.
Authors are welcome to check with the PC chair whether their planned papers are in scope.
Paper Categories
GPCE solicits four kinds of submissions:
Full Papers: reporting original and unpublished results of research that contribute to scientific knowledge for any GPCE topic. Full paper submissions must not exceed 12 pages excluding the bibliography.
Short Papers: presenting unconventional ideas or new visions in any GPCE topics. Short papers do not always contain complete results as in the case of full papers, but can introduce new ideas to the community and get early feedback. Note that short papers are not intended to be position statements. Accepted short papers are included in the proceedings and will be presented at the conference. Short paper submissions must not exceed 6 pages excluding the bibliography, and must have the text “(Short Paper)” appended to their titles.
Tool Demonstrations: presenting tools for any GPCE topic. Tools must be available for use and must not be purely commercial. Submissions must provide a tool description not exceeding 6 pages excluding bibliography and a separate demonstration outline including screenshots also not exceeding 6 pages. Tool demonstration submissions must have the text “(Tool Demonstration)” appended to their titles. If they are accepted, tool descriptions will be included in the proceedings. The demonstration outline will only be used to evaluate the planned demonstration.
Generative Pearl: is an elegant essay about generative programming. Examples include but are not limited to an interesting application of generative programming and an elegant presentation of a (new or old) data structure using generative programming (similar to Functional Pearl in ICFP and Pearl in ECOOP). Accepted Generative Pearl papers are included in the proceedings and will be presented at the conference. Generative Pearl submissions must not exceed 12 pages excluding the bibliography, and must have the text “(Generative Pearl)” appended to their titles.
Paper Selection
The GPCE program committee will evaluate each submission according to the following selection criteria:
Novelty. Papers must present new ideas or evidence and place them appropriately within the context established by previous research in the field.
Significance. The results in the paper must have the potential to add to the state of the art or practice in significant ways.
Evidence. The paper must present evidence supporting its claims. Examples of evidence include formalizations and proofs, implemented systems, experimental results, statistical analyses, and case studies.
Clarity. The paper must present its contributions and results clearly.
Best Paper Award
Following the tradition, the GPCE program committee will select the best paper among accepted papers. The authors of the best paper will be given the best paper award at the conference.
Paper Submission
The submission page will be announced soon.
All submissions must use the
ACM SIGPLAN Conference Format “acmart”
. Be sure to use the
latest LaTeX templates and class files
, the SIGPLAN sub-format, and 10-point font. Consult the
sample-sigplan.tex
template and use the document-class
\documentclass[sigplan,anonymous,review]{acmart}
To increase fairness in reviewing, GPCE uses the
double-blind review process
which has become standard across SIGPLAN conferences:
Author names, institutions, and acknowledgments should be omitted from submitted papers, and
references to the authors’ own work should be in the third person.
No other changes are necessary, and authors will not be penalized if reviewers are able to infer authors’ identities in implicit ways.
By submitting your article to an ACM Publication, you are hereby acknowledging that you and your co-authors are subject to all ACM Publications Policies, including ACM’s new Publications Policy on Research Involving Human Participants and Subjects. Alleged violations of this policy or any ACM Publications Policy will be investigated by ACM and may result in a full retraction of your paper, in addition to other potential penalties, as per ACM Publications Policy.
Please ensure that you and your co-authors obtain an ORCID ID, so you can complete the publishing process for your accepted paper. ACM has been involved in ORCID from the start and we have recently made a commitment to collect ORCID IDs from all of our published authors. The collection process has started and will roll out as a requirement throughout 2022. We are committed to improve author discoverability, ensure proper attribution and contribute to ongoing community efforts around name normalization; your ORCID ID will help in these efforts.
AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of your conference. The official publication date affects the deadline for any patent filings related to published work.
For additional information, clarification, or answers to questions, contact the program chair.
ACM Artifact Badges (New!)
There as been quite some momentum in recent years to improve replication and reproducibility in software engineering. Starting the 2024 edition, we want to give authors the chance to apply for an ACM Artifact Badge. Even though the artifact submission is not mandatory, we recommend authors to submit their artifacts to reach a higher impact with their research.
Authors that want to apply for an ACM Artifact Badge are asked to add a brief paragraph in the ACKs section of their submission. The paragraph should indicate which ACM Badge is the submission aiming for (see ACM page linked below) and what is part of the artifact. The paragraph may be removed for the final version of the paper, if it is clear from the manuscript what constitutes the artifact.
The review of artifact badges will not be available during the author rebuttal period and received artifacts will be announced shortly before the camera ready version is due to by authors of accepted submissions only. Hence, artifacts for rejected submissions may not be reviewed at all.
More information on ACM Artifact Badges:
Important Dates
CEST
Thu 3 Jul 2025
Conference
Wed 28 May 2025
Early-registration deadline
Mon 19 May 2025
Final Notification
Mon 12 May 2025
Author Response
Fri 9 May 2025
Review Notification
Wed 9 Apr 2025
Paper Submission (Extended)
Wed 26 Mar 2025
Abstract Submission
Submission Link
Organizing Committee
Nada Amin
Program Chair
Harvard University
United States
Amir Shaikhha
General Co-Chair
University of Edinburgh
United Kingdom
Sebastian Erdweg
General Co-Chair
JGU Mainz
Germany
Jeremy Yallop
University of Cambridge
United Kingdom
Program Committee
Guillaume Allais
University of Strathclyde
United Kingdom
Zena M.
Ariola
University of Oregon
United States
Kenichi Asai
Ochanomizu University
Japan
Parisa Ataei
Oregon State University
Casper Bach
University of Southern Denmark
Denmark
Walter Binder
USI Lugano
Switzerland
Sheng Chen
University of Louisiana at Lafayette
Shigeru Chiba
University of Tokyo
Japan
Maryam Mehri
Dehnavi
University of Toronto
Canada
Simon Fowler
University of Glasgow
United Kingdom
Robert Glück
University of Copenhagen
Denmark
Elisa
Gonzalez Boix
Vrije Universiteit Brussel
Belgium
Vojin Jovanovic
Oracle Labs
Switzerland
Yukiyoshi Kameyama
University of Tsukuba
Japan
Shoaib Kamil
Adobe Research
Julia Lawall
Inria
France
Ondřej Lhoták
University of Waterloo
Canada
Malte Lochau
University of Siegen
Geoffrey Mainland
Drexel University
United States
Judith Michael
University of Regensburg
Germany
Cyrus Omar
University of Michigan
United States
Klaus Ostermann
University of Tübingen
Germany
Lionel Parreaux
HKUST (The Hong Kong University of Science and Technology)
Hong Kong SAR China
Bernhard Rumpe
RWTH Aachen University
Germany
Ulrik Pagh
Schultz
University of Southern Denmark
Denmark
Sandro Stucki
Chalmers University of Technology
Sweden
Ruby Tahboub
University of Illinois, Urbana-Champain
United States
Eli Tilevich
Virginia Tech
United States
L. Thomas
van Binsbergen
University of Amsterdam
Netherlands
Tijs
van der Storm
CWI & University of Groningen
Netherlands
Philip Wadler
University of Edinburgh
Jeremy Yallop
University of Cambridge
United Kingdom
Vadim Zaytsev
University of Twente
Netherlands
Steering Committee
Coen
De Roover
Steering Committee Chair
Vrije Universiteit Brussel
Belgium
Nada Amin
Harvard University
United States
Shigeru Chiba
University of Tokyo
Japan
Sebastian Erdweg
JGU Mainz
Germany
Yukiyoshi Kameyama
University of Tsukuba
Japan
Amir Shaikhha
University of Edinburgh
United Kingdom
Thomas Thüm
Paderborn University
Germany
Eric
Van Wyk
University of Minnesota, Twin Cities
United States
Fri 24 Apr 19:49