GPCE 2023 - SPLASH 2023 (original) (raw)

ACM SIGPLAN International Conference on Generative Programming: Concepts & Experiences (GPCE) is a venue for researchers and practitioners interested in techniques that use program generation, domain-specific languages, and component deployment to increase programmer productivity, improve software quality, and shorten the time-to-market of software products. In addition to exploring cutting-edge techniques of generative software, our goal is to foster further cross-fertilization between the software engineering and the programming languages research communities.

Generative and component approaches and domain-specific abstractions are revolutionizing software development just as automation and componentization revolutionized manufacturing. Raising the level of abstraction in software specification has been a fundamental goal of the computing community for several decades. Key technologies for automating program development and lifting the abstraction level closer to the problem domain are Generative Programming for program synthesis, Domain-Specific Languages (DSLs) for compact problem-oriented programming notations, and corresponding Implementation Technologies aiming at modularity, correctness, reuse, and evolution. As the field matures Applications and Empirical Results are of increasing importance.

GPCE 2023 will be co-located with SPLASH, SAS, and SLE. The conference will be hosted in Lisbon, Portugal.

Conference website: https://conf.researchr.org/home/gpce-2023

Submission site: https://gpce23.hotcrp.com/

GPCE conference series: https://conf.researchr.org/series/gpce

twitter: https://twitter.com/gpceconf (@GPCECONF)

The program is currently displayed in (GMT+01:00) Lisbon.

Use conference time zone: (GMT+01:00) LisbonSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

You're viewing the program in a time zone which is different from your device's time zone change time zone

14:00 - 15:30	Session 3GPCE at Room XV Chair(s): Zilu Tian EPFL
14:0030mTalk	Crossover: Towards Compiler-enabled COBOL-C InteroperabilityGPCEMart van Assen University of Twente, Manzi Aimé Ntagengerwa University of Twente, Ömer Faruk Sayilir University of Twente, Vadim Zaytsev University of Twente, Netherlands
14:3030mTalk	Partial Evaluation of Automatic Differentiation for Differential-Algebraic Equations SolversGPCEOscar Eriksson KTH Royal Institute of Technology, Viktor Palmkvist KTH Royal Institute of Technology, David Broman KTH Royal Institute of Technology
15:0030mTalk	Generating Constraint Programs for Variability Model Reasoning: A DSL and Solver-Agnostic ApproachGPCECamilo Correa Restrepo University of Paris 1 Pantheon-Sorbonne, Paris, France, Jacques Robin ESIEA, Paris, France, Raúl Mazo ENSTA Bretagne

Accepted Papers

Title
A Monadic Framework for Name Resolution in Multi-Phased Type CheckersGPCECasper Bach, Aron Zwaan, Paul Hübner Link to publication DOI Pre-print
A pred-LL(*) Parsable Typed Higher-Order Macro System for Architecture Description LanguagesGPCEChristoph Hochrainer, Andreas Krall
Automatically Generated Supernodes for AST Interpreters Improve Virtual-machine PerformanceGPCEMatteo Basso, Daniele Bonetta, Walter Binder
C2TACO: Lifting Tensor Code to TACOGPCEJosé Wesley De Souza Magalhães, Jackson Woodruff, Elizabeth Polgreen, Michael F. P. O'Boyle
Crossover: Towards Compiler-enabled COBOL-C InteroperabilityGPCEMart van Assen, Manzi Aimé Ntagengerwa, Ömer Faruk Sayilir, Vadim Zaytsev
Generating Conforming Programs With XsmithGPCEWilliam G Hatch, Pierce Darragh, Sorawee Porncharoenwase, Guy Watson, Eric Eide
Generating Constraint Programs for Variability Model Reasoning: A DSL and Solver-Agnostic ApproachGPCECamilo Correa Restrepo, Jacques Robin, Raúl Mazo
Multi-Stage Vertex-Centric Programming for Agent-Based SimulationsGPCEZilu Tian
Partial Evaluation of Automatic Differentiation for Differential-Algebraic Equations SolversGPCEOscar Eriksson, Viktor Palmkvist, David Broman
Unleashing the Power of Implicit Feedback in Software Product Lines: Benefits aheadGPCERaul Medeiros, Oscar Diaz, David Benavides
Virtual Domain Specific Languages via Embedded Projectional EditingGPCENiklas Korz, Artur Andrzejak

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.

New in GPCE 2023

This year, GPCE considers the following additional topics of interest:

AI/ML techniques for generating code, and
low code / no code approaches.

Also, GPCE solicits an additional paper category:

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

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,
feature-oriented programming,
domain engineering,
feature interactions,
applications and properties of code generation,
language implementation,
product-line development,
(NEW!) AI/ML techniques for generating code, and
(NEW!) 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 topics. 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 topics. 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 for evaluating the submission.
(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 (but may be shorter), 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 2023 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://gpce23.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 2023 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.

For additional information, clarification, or answers to questions, contact the program chair: amir (dot) shaikhha (at) ed (dot) ac (dot) uk