GPCE 2024 - SPLASH 2024
SPLASH 2024
Sun 20 - Fri 25 October 2024
Pasadena, California, United States
Attending
Venue: Hilton Pasadena
Students
Registration
Visa Support Letters
Sponsoring
Code of conduct
Instructions for Presenters
Chair's Welcome
How to SPLASH (Quick Attendee Guide)
Mt. Baldy Bicycle Trip
Attractions Around Pasadena
Live Stream
Program
SPLASH Program
Your Program
Sun 20 Oct
Mon 21 Oct
Tue 22 Oct
Wed 23 Oct
Thu 24 Oct
Fri 25 Oct
Tracks
SPLASH 2024
DEI Activities
Doctoral Symposium
Keynotes
OOPSLA 2024
OOPSLA Artifacts
Onward! Essays
Onward! Papers
PLMW
Posters
REBASE
SPLASH-E
Student Research Competition
Volunteers
Workshops
Co-hosted Conferences
GPCE
SLE
Workshops
HATRA
IWACO
JENSFEST
LIVE
NSAD
PAINT
ProLaLa
UNSOUND
VIVEKFEST
VMIL
VMIL
- A tour of CPython's runtime
Co-hosted Symposia
SAS
SAS
SAS
Artifacts
Organization
SPLASH 2024 Committees
Organizing Committee
Steering Committee
Track Committees
Doctoral Symposium
OOPSLA 2024
OOPSLA Artifacts
Onward! Essays
Program Committee
Onward! Steering Committee
Onward! Papers
Program Committee
Steering Committee
PLMW
Organizing Committee
Speakers & Panelists
Mentors
Posters
REBASE
SPLASH-E
Program Commitee
Steering Committee
Student Research Competition
Organizers
Reviewers
Volunteers
Workshops
Contributors
People Index
Co-hosted Conferences
GPCE
Organizing Committee
Program Committee
Steering Committee
SLE
Organizing Committee
Program Committee
Artifact Evaluation Committee
Steering Committee
Workshops
HATRA
Organizing Committee
Program Committee
IWACO
Organizing Committee
Program Committee
JENSFEST
Organizing Committee
Program Committee
LIVE
Organizing Committee
Program Committee
NSAD
Organizing Committee
Program Committee
PAINT
Organizing Committee
Program Committee
ProLaLa
Organizing Committee
Program Committee
UNSOUND
Organizing Committee
VIVEKFEST
Organizing Committee
Program Committee
VMIL
Organizing Committee
Program Committee
Co-hosted Symposia
SAS
SAS 2024
Organizing Committee
SAS 2024
Program Committee
SAS Artifacts
Series
Series
SPLASH 2026
SPLASH 2025
SPLASH 2024
SPLASH 2023
SPLASH 2022
SPLASH 2021
SPLASH 2020
SPLASH 2019
SPLASH 2018
SPLASH 2017
SPLASH 2016
SPLASH 2015
SPLASH 2014
SPLASH 2013
SPLASH 2012
SPLASH 2011
SPLASH 2010
OOPSLA 2009
OOPSLA 2008
OOPSLA 2007
OOPSLA 2006
OOPSLA 2005
OOPSLA 2004
OOPSLA 2003
OOPSLA 2002
OOPSLA 2001
OOPSLA 2000
SPLASH 2024
series
) /
GPCE 2024 (
series
) /
GPCE 2024
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. The conference in Pasadena is the 23rd edition of the conference and since 2002 the conference
has been held in various cities
(mostly in Europe and North America).
More details on the next edition in 2025:
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
Tue 22 Oct
Displayed time zone:
Pacific Time (US & Canada)
change
09:00 - 10:30
Session 1 on Code Quality
GPCE
at
San Marino
Chair(s):
Paul Maximilian Bittner
Paderborn University
09:00
30m
Day opening
GPCE24 Opening
GPCE
Thomas Thüm
Paderborn University
Shigeru Chiba
University of Tokyo
09:30
30m
Talk
Automated Generation of Code Contracts - Generative AI to the Rescue?
GPCE
Sandra Greiner
University of Southern Denmark
Noah Bühlmann
University of Bern
Manuel Ohrndorf
University of Bern
Christos Tsigkanos
University of Athens, Greece
Oscar Nierstrasz
feenk.com
Timo Kehrer
University of Bern
Link to publication
DOI
Pre-print
10:00
30m
Talk
An Extensible Feature-Oriented Approach for Fine-Grained Code Quality Analysis
GPCE
Karim Ghallab
RedFabriQ
Tewfik Ziadi
LIP6, Sorbonne Université
Zaak Chalal
RedFabriQ/Mobioos
10:30 - 11:00
Coffee Break
Catering
at
Foyer
10:30
30m
Coffee break
Break
Catering
11:00 - 12:30
Session 2 on Domain-Specific Languages
GPCE
at
San Marino
Chair(s):
Oscar Nierstrasz
feenk.com
11:00
30m
Talk
Yin-Yang: Concealing the Deep Embedding of DSLs
Most Influential Paper Award
GPCE
Vojin Jovanovic
Oracle Labs
Amir Shaikhha
University of Edinburgh
Sandro Stucki
Amazon
Vladimir Nikolaev
Christoph E. Koch
EPFL
Martin Odersky
EPFL
11:30
30m
Talk
Applying Self-Extension Mechanism to DSLs for Establishing Model Libraries
GPCE
Arkadii Gerasimov
RWTH Aachen University
Nico Jansen
Software Engineering, RWTH Aachen University
Judith Michael
RWTH Aachen University
Bernhard Rumpe
RWTH Aachen University
12:00
30m
Talk
Specializing Data Access in a Distributed File System (Generative Pearl)
GPCE
Pratyush Das
Purdue University
Anxhelo Xhebraj
NVIDIA
Tiark Rompf
Purdue University
12:30 - 14:00
Lunch
Catering
at
California
12:30
90m
Lunch
Lunch
Catering
14:00 - 15:30
Session 3 on Code Optimizations
GPCE
at
San Marino
Chair(s):
Lionel Parreaux
HKUST (The Hong Kong University of Science and Technology)
14:00
30m
Talk
Type-Safe Code Generation With Algebraic Effects and Handlers
Distinguished Research Paper Award
GPCE
Kanaru Isoda
University of Tsukuba
Ayato Yokoyama
University of Tsukuba
Yukiyoshi Kameyama
University of Tsukuba
14:30
30m
Talk
Hot Call-Chain Inlining for the Glasgow Haskell Compiler
GPCE
Celeste Hollenbeck
University of Edinburgh
Michael F. P. O'Boyle
University of Edinburgh
15:00
30m
Talk
Restaging Domain-Specific Languages: A Flexible Design Pattern for Rapid Development of Optimizing Compilers
GPCE
Amir Shaikhha
University of Edinburgh
15:30 - 16:00
Coffee Break
Catering
at
Foyer
15:30
30m
Coffee break
Break
Catering
16:00 - 17:30
Session 4 on Typing and Its Applications
GPCE
at
San Marino
Chair(s):
Jeff Smits
Delft University of Technology
16:00
30m
Talk
Separate Compilation and Partial Linking: Modules for Datalog IR
GPCE
David Klopp
JGU Mainz
André Pacak
JGU Mainz
Sebastian Erdweg
JGU Mainz
16:30
30m
Talk
On the Soundness of Auto-Completion Services for Dynamically Typed Languages
GPCE
D Frölich
University of Amsterdam
L. Thomas van Binsbergen
University of Amsterdam
DOI
Pre-print
17:00
20m
Talk
Seamless Scope-Safe Metaprogramming Through Polymorphic Subtype Inference (Short Paper)
GPCE
Cunyuan Gao
HKUST
Lionel Parreaux
HKUST (The Hong Kong University of Science and Technology)
Media Attached
17:20
10m
Day closing
GPCE24 Closing
GPCE
Thomas Thüm
Paderborn University
Shigeru Chiba
University of Tokyo
Accepted Papers
Title
An Extensible Feature-Oriented Approach for Fine-Grained Code Quality Analysis
GPCE
Karim Ghallab
Tewfik Ziadi
Zaak Chalal
Applying Self-Extension Mechanism to DSLs for Establishing Model Libraries
GPCE
Arkadii Gerasimov
Nico Jansen
Judith Michael
Bernhard Rumpe
Automated Generation of Code Contracts - Generative AI to the Rescue?
GPCE
Sandra Greiner
Noah Bühlmann
Manuel Ohrndorf
Christos Tsigkanos
Oscar Nierstrasz
Timo Kehrer
Link to publication
DOI
Pre-print
Hot Call-Chain Inlining for the Glasgow Haskell Compiler
GPCE
Celeste Hollenbeck
Michael F. P. O'Boyle
On the Soundness of Auto-Completion Services for Dynamically Typed Languages
GPCE
D Frölich
L. Thomas van Binsbergen
DOI
Pre-print
Restaging Domain-Specific Languages: A Flexible Design Pattern for Rapid Development of Optimizing Compilers
GPCE
Amir Shaikhha
Seamless Scope-Safe Metaprogramming Through Polymorphic Subtype Inference (Short Paper)
GPCE
Cunyuan Gao
Lionel Parreaux
Media Attached
Separate Compilation and Partial Linking: Modules for Datalog IR
GPCE
David Klopp
André Pacak
Sebastian Erdweg
Specializing Data Access in a Distributed File System (Generative Pearl)
GPCE
Pratyush Das
Anxhelo Xhebraj
Tiark Rompf
Type-Safe Code Generation With Algebraic Effects and Handlers
Distinguished Research Paper Award
GPCE
Kanaru Isoda
Ayato Yokoyama
Yukiyoshi Kameyama
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.
More details on the next edition in 2025:
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, and
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.
(NEW!) 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
Papers must be submitted using HotCRP:
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 this year with 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:
Questions? Use the
GPCE contact form
Important Dates
AoE (UTC-12h)
Tue 22 Oct 2024
GPCE24 Conference
Tue 3 Sep 2024
Camera Ready Version
Thu 15 Aug 2024
Acceptance Notification
Thu 18 Jul 12:00 - Thu 1 Aug 12:00 2024
Review Response Period
Tue 18 Jun 2024
Paper Submission (extended)
Tue 11 Jun 2024
Abstract Submission (extended)
Submission Link
Organizing Committee
Shigeru Chiba
General Chair
University of Tokyo
Japan
Thomas Thüm
Program Chair
Paderborn University
Germany
Program Committee
Artur Andrzejak
Heidelberg University
Germany
Daniele Bonetta
VU Amsterdam
Netherlands
David Broman
KTH Royal Institute of Technology
Sweden
Coen
De Roover
Vrije Universiteit Brussel
Belgium
Oscar Diaz
University of the Basque Country, Spain
Christophe Dubach
McGill University
Canada
Sebastian Erdweg
JGU Mainz
Germany
Martin Erwig
Oregon State University
United States
Matthew Flatt
University of Utah
United States
Alcides Fonseca
LASIGE; University of Lisbon
Portugal
Sandra Greiner
University of Southern Denmark
Denmark
Fredrik Kjolstad
Stanford University
United States
Julia Lawall
Inria
France
Judith Michael
RWTH Aachen University
Germany
Kristopher Micinski
Syracuse University
United States
Lionel Parreaux
HKUST (The Hong Kong University of Science and Technology)
Hong Kong SAR China
Elizabeth Polgreen
University of Edinburgh
United Kingdom
Márcio Ribeiro
Federal University of Alagoas, Brazil
Brazil
Andrea Rosà
USI Lugano
Switzerland
Aleksandar
S. Dimovski
Mother Teresa University, Skopje
North Macedonia
Ulrik Pagh
Schultz
University of Southern Denmark
Denmark
Philipp Schuster
University of Tübingen
Germany
Amir Shaikhha
University of Edinburgh
United Kingdom
Michel Steuwer
Technische Universität Berlin
Germany
Daniel Strüber
Chalmers | University of Gothenburg / Radboud University
Sweden
Leopoldo Teixeira
Federal University of Pernambuco
Brazil
Eli Tilevich
Virginia Tech
United States
Vadim Zaytsev
University of Twente, Netherlands
Netherlands
Steering Committee
Coen
De Roover
Steering Committee Chair
Vrije Universiteit Brussel
Belgium
Sebastian Erdweg
JGU Mainz
Germany
Jeff Gray
University of Alabama
Yukiyoshi Kameyama
University of Tsukuba
Japan
Tiark Rompf
Purdue University
United States
Amir Shaikhha
University of Edinburgh
United Kingdom
Eric
Van Wyk
Department of Computer Science and Engineering, University of Minnesota
United States
Fri 24 Apr 14:06