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).

Plenary

This program is tentative and subject to change.

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 QualityGPCE at IBR West
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
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 BreakCatering at Foyer
10:30
30m
Coffee break
Break
Catering

11:00 - 12:30
Session 2 on Domain-Specific LanguagesGPCE at IBR West
Chair(s): Oscar Nierstrasz feenk.com
11:00
30m
Talk
Yin-Yang: Concealing the Deep Embedding of DSLs (Most Influential Paper)
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 Purdue University, Tiark Rompf Purdue University
12:30 - 14:00
12:30
90m
Lunch
Lunch
Catering

14:00 - 15:30
Session 3 on Code OptimizationsGPCE at IBR West
14:00
30m
Talk
Type-Safe Code Generation With Algebraic Effects and Handlers
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 BreakCatering at Foyer
15:30
30m
Coffee break
Break
Catering

16:00 - 17:30
Session 4 on Typing and Its ApplicationsGPCE at IBR West
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
Damian 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)Reusable ArtifactAvailable Artifact
GPCE
Cunyuan Gao HKUST, Lionel Parreaux HKUST (The Hong Kong University of Science and Technology)
17:20
10m
Day closing
GPCE24 Closing
GPCE
Thomas Thüm Paderborn University, Shigeru Chiba University of Tokyo

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, 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: https://gpce24.hotcrp.com

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: https://www.acm.org/publications/policies/artifact-review-and-badging-current

Questions? Use the GPCE contact form.