GPCE 2022 - - 21st International Conference on Generative Programming: Concepts & Experiences - SPLASH 2022

GPCE 2022 - - 21st International Conference on Generative Programming: Concepts & Experiences - SPLASH 2022
SPLASH 2022
Mon 5 - Sat 10 December 2022
Auckland, New Zealand
Attending
Venue: University of Auckland
How To SPLASH
General Chair Welcome
Keynotes 4 Industry
Speaker Instructions
Session Chair Instructions
Virtual SPLASH 2022
Awards
Code of Conduct
COVID
Registration
Accommodation
Sponsoring
Tourism NZ
Visas for New Zealand
Program
SPLASH Program
Your Program
Mon 5 Dec
Tue 6 Dec
Wed 7 Dec
Thu 8 Dec
Fri 9 Dec
Sat 10 Dec
Tracks
SPLASH 2022
OOPSLA
Opening and Welcome
V-OOPSLA
OOPSLA Artifacts
COVID Time Papers In Person
Onward! Essays
Onward! Papers
Workshops
Posters
Student Research Competition
Doctoral Symposium
Panels
Keynotes
SPLASH-E
PLMW
W@SPLASH
Student Volunteers
PLTea
Awards
CARES
Co-hosted Conferences
APLAS
APLAS
APLAS
Research Artifacts
APLAS
DLS
GPCE
GPCE
GPCE
Keynote
SAS
SAS
SAS
SAS
Artifacts
SLE
SLE
SLE
Keynote
Workshops
FTSCS
Formal Techniques for Safety-Critical Systems
HATRA
Human Aspects of Types and Reasoning Assistants
LIVE
Live Programming
PAINT
Programming Abstractions and Interactive Notations, Tools, and Environments
REBLS
Reactive and Event-Based Languages and Systems
Unsound
Sources of Unsoundness in Verification
VMIL
Virtual Machines and Language Implementations
Organization
SPLASH 2022 Committees
Organizing Committee
Steering Committee
Track Committees
OOPSLA
Review Committee
External Review / Artifact Evaluation Committee
OOPSLA Artifacts
COVID Time Papers In Person
Onward! Essays
Program Committee
Onward! Steering Committee
Onward! Papers
Program Committee
Onward! Steering Committee
Workshops
Posters
Student Research Competition
Organizers
Judges
Reviewers
Doctoral Symposium
Panels
SPLASH-E
Program Committee
Steering Committee
PLMW
Organizing Committee
Speakers & Panelists
Mentors
Student Volunteers
PLTea
CARES
Contributors
People Index
Co-hosted Conferences
APLAS
Program Committee
Artifact Evaluation Committee
DLS
Program Committee
GPCE
Organizing Committee
Program Committee
Steering Committee
SAS
Invited Speakers
Organizing Committee
SAS
SAS 2022 Artifacts
SLE
Keynote Speaker
Organising Committee
Program Committee
Artifact Evaluation Committee
Workshops
FTSCS
Organizing Committee
Program Committee
HATRA
Organizing Committee
Program Committee
LIVE
Organizing Committee
Program Committee
PAINT
Organizing Committee
Program Committee
REBLS
Organizing Committee
Program Committee
Unsound
Organizing Committee
Program Committee
VMIL
Organizing Committee
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 2022
series
) /
GPCE 2022 (
series
) /
GPCE 2022 - 21st International Conference on Generative Programming: Concepts & Experiences
About
Program
Accepted Papers
Keynote Talk
Best Paper Award
Call for Papers
The two-day program of GPCE 2022 is over. Thank you very much to all attendees and contributors. The proceedings are available on ACM Digital Library. URL:
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 2022 will be co-located with SPLASH, APLAS, DLS, SAS, and SLE. The conference will be hosted in Auckland, New Zealand. Any author who cannot travel is allowed to “Zoom in” during the allocated slot.
Conference website:
Submission site:
(closed)
GPCE conference series:
twitter:
(@GPCECONF)
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
Tue 6 Dec
Displayed time zone:
Auckland, Wellington
change
12:00 - 13:30
Lunch
Catering and Social Events
at
Catering Area
13:30 - 14:35
GPCE Keynote
GPCE Keynote
at
Seminar Room G007
Chair(s):
Bernhard Scholz
The University of Sydney
Yukiyoshi Kameyama
University of Tsukuba
13:30
65m
Keynote
Language Design meets Verifying Compilers
In Person
Keynote
GPCE Keynote
David J. Pearce
ConsenSys
DOI
15:00 - 15:30
Coffee break
Catering and Social Events
at
Catering Area
15:00
30m
Coffee break
Coffee break
Catering and Social Events
15:30 - 17:00
GPCE Session 1
GPCE
at
Seminar Room G135
Chair(s):
Yukiyoshi Kameyama
University of Tsukuba
15:30
22m
Talk
Language-Integrated Query for Temporal Data
In Person
GPCE
Simon Fowler
University of Glasgow
Vashti Galpin
University of Edinburgh
James Cheney
University of Edinburgh
DOI
15:52
22m
Talk
Type System for Four Delimited Control Operators
In Person
Best Paper
GPCE
Chiaki Ishio
Ochanomizu University
Kenichi Asai
Ochanomizu University
DOI
16:15
22m
Talk
SQL to Stream with S2S: An Automatic Benchmark Generator for the Java Stream API
In Person
Tool Demo
GPCE
Filippo Schiavio
USI Lugano
Andrea Rosà
USI Lugano
Walter Binder
USI Lugano
DOI
16:37
8m
Other
PC Chair's Report
GPCE
Yukiyoshi Kameyama
University of Tsukuba
Wed 7 Dec
Displayed time zone:
Auckland, Wellington
change
09:00 - 10:00
SLE Keynote
SLE
SLE Keynote
at
Seminar Room G007
Chair(s):
Lola Burgueño
University of Malaga
Walter Cazzola
Università degli Studi di Milano
09:00
60m
Keynote
People do not want to learn a new language but a new library
In Person
Keynote
SLE Keynote
Shigeru Chiba
University of Tokyo
DOI
10:00 - 10:30
Coffee break
Catering and Social Events
at
Catering Area
10:00
30m
Coffee break
Coffee break
Catering and Social Events
10:30 - 12:00
GPCE Session 2
GPCE
at
Seminar Room G100
Chair(s):
Atsushi Igarashi
Kyoto University
10:30
22m
Talk
Incremental Processing of Structured Data in Datalog
Virtual
GPCE
André Pacak
JGU Mainz
Tamás Szabó
GitHub
Sebastian Erdweg
JGU Mainz
DOI
10:52
22m
Talk
Data Types as a More Ergonomic Frontend for Grammar-Guided Genetic Programming
Virtual
GPCE
Guilherme Espada
University of Lisbon
Leon Ingelse
University of Lisbon
Paulo Canelas
University of Lisbon; Carnegie Mellon University
Pedro Barbosa
University of Lisbon; Instituto de Medicina Molecular
Alcides Fonseca
University of Lisbon
DOI
11:15
22m
Talk
Deep Fusion for Efficient Nested Recursive Computations
Virtual
GPCE
Amir Shaikhha
University of Edinburgh
DOI
11:37
22m
Talk
Composable Sequence Macros for Fast Iteration
Virtual
GPCE
Anna Bolotina
Czech Technical University in Prague
Ryan Culpepper
Czech Technical University in Prague
DOI
12:00 - 13:30
Lunch
Catering and Social Events
at
Catering Area
12:00
90m
Lunch
Lunch
Catering and Social Events
13:30 - 15:00
GPCE Session 3
GPCE
at
Seminar Room G100
Chair(s):
Shigeru Chiba
University of Tokyo
13:30
22m
Talk
Model-Driven IoT App Stores: Deploying Customizable Software Products to Heterogeneous Devices
In Person
GPCE
Arvid Butting
Software Engineering, RWTH Aachen University
Jörg Christian Kirchhof
RWTH Aachen University
Anno Kleiss
RWTH Aachen University
Judith Michael
RWTH Aachen University
Radoslav Orlov
RWTH Aachen University
Bernhard Rumpe
RWTH Aachen University
DOI
Pre-print
13:52
22m
Talk
Language Support for Refactorability Decay Prevention
In Person
GPCE
Dov Fraivert
Open University of Israel
David H. Lorenz
Open University of Israel
DOI
14:15
22m
Talk
Preserving Consistency of Interrelated Models during View-Based Evolution of Variable Systems
Virtual
GPCE
Sofia Ananieva
FZI Research Center for Information Technology
Thomas Kühn
Karlsruhe Institute of Technology
Ralf Reussner
KIT
DOI
14:37
23m
Talk
Generic Solution-Space Sampling for Multi-domain Product Lines
Virtual
GPCE
Marc Hentze
Volkswagen
Tobias Pett
TU Braunschweig
Chico Sundermann
University of Ulm
Sebastian Krieter
University of Ulm
Thomas Thüm
University of Ulm
Ina Schaefer
KIT
DOI
15:00 - 15:30
Coffee break
Catering and Social Events
at
Catering Area
15:00
30m
Coffee break
Coffee break
Catering and Social Events
15:30 - 17:00
GPCE Session 4
GPCE
at
Seminar Room G100
Chair(s):
Bernhard Scholz
University of Sydney
15:30
22m
Talk
A Modern C++ Point of View of Programming in Image Processing
Virtual
GPCE
Michaël ROYNARD
EPITA Research Laboratory
Edwin Carlinet
EPITA Research Laboratory
Thierry Géraud
EPITA Research Laboratory
DOI
15:52
22m
Talk
The Cost of Dynamism in Static Languages for Image Processing
In Person
GPCE
Baptiste Esteban
EPITA Research Laboratory
Edwin Carlinet
EPITA Research Laboratory
Guillaume Tochon
EPITA Research Laboratory
Didier Verna
EPITA Research Laboratory
DOI
16:15
22m
Talk
A Model-Driven Generative Self Play-Based Toolchain for Developing Games and Players
In Person
GPCE
Evgeny Kusmenko
RWTH Aachen University
Maximilian Münker
RWTH Aachen University
Matthias Nadenau
RWTH Aachen University
Bernhard Rumpe
RWTH Aachen University
DOI
16:37
22m
Talk
Dynamic Replanning of Multi-drone Missions using Dynamic Forward Slicing
In Person
GPCE
Miguel Campusano
University of Southern Denmark
Ulrik Pagh Schultz
University of Southern Denmark
DOI
Accepted Papers
Title
A Model-Driven Generative Self Play-Based Toolchain for Developing Games and Players
In Person
GPCE
Evgeny Kusmenko
Maximilian Münker
Matthias Nadenau
Bernhard Rumpe
DOI
A Modern C++ Point of View of Programming in Image Processing
Virtual
GPCE
Michaël ROYNARD
Edwin Carlinet
Thierry Géraud
DOI
Composable Sequence Macros for Fast Iteration
Virtual
GPCE
Anna Bolotina
Ryan Culpepper
DOI
Data Types as a More Ergonomic Frontend for Grammar-Guided Genetic Programming
Virtual
GPCE
Guilherme Espada
Leon Ingelse
Paulo Canelas
Pedro Barbosa
Alcides Fonseca
DOI
Deep Fusion for Efficient Nested Recursive Computations
Virtual
GPCE
Amir Shaikhha
DOI
Dynamic Replanning of Multi-drone Missions using Dynamic Forward Slicing
In Person
GPCE
Miguel Campusano
Ulrik Pagh Schultz
DOI
Generic Solution-Space Sampling for Multi-domain Product Lines
Virtual
GPCE
Marc Hentze
Tobias Pett
Chico Sundermann
Sebastian Krieter
Thomas Thüm
Ina Schaefer
DOI
Incremental Processing of Structured Data in Datalog
Virtual
GPCE
André Pacak
Tamás Szabó
Sebastian Erdweg
DOI
Language-Integrated Query for Temporal Data
In Person
GPCE
Simon Fowler
Vashti Galpin
James Cheney
DOI
Language Support for Refactorability Decay Prevention
In Person
GPCE
Dov Fraivert
David H. Lorenz
DOI
Model-Driven IoT App Stores: Deploying Customizable Software Products to Heterogeneous Devices
In Person
GPCE
Arvid Butting
Jörg Christian Kirchhof
Anno Kleiss
Judith Michael
Radoslav Orlov
Bernhard Rumpe
DOI
Pre-print
Preserving Consistency of Interrelated Models during View-Based Evolution of Variable Systems
Virtual
GPCE
Sofia Ananieva
Thomas Kühn
Ralf Reussner
DOI
SQL to Stream with S2S: An Automatic Benchmark Generator for the Java Stream API
In Person
Tool Demo
GPCE
Filippo Schiavio
Andrea Rosà
Walter Binder
DOI
The Cost of Dynamism in Static Languages for Image Processing
In Person
GPCE
Baptiste Esteban
Edwin Carlinet
Guillaume Tochon
Didier Verna
DOI
Type System for Four Delimited Control Operators
In Person
Best Paper
GPCE
Chiaki Ishio
Kenichi Asai
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.
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, and code-recommendation systems,
domain-specific languages, language embedding, language design, and language workbenches,
feature-oriented programming, domain engineering, and feature interactions,
applications and properties of code generation, language implementation, and product-line development.
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 three 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.
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 2022 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 2022 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: kameyama (at) acm.org
Authors Take Note
The official publication date is the date the proceedings are made available in the ACM Digital Library. Papers must describe work not currently submitted for publication elsewhere as described by the
SIGPLAN Republication Policy
. Authors should be aware that ACM has a strict policy with regard to plagiarism and self-plagiarism as described by the
ACM Policy on Plagiarism, Misrepresentation, and Falsification
Keynote Talk
We are delighted to have the keynote talk by Dr. David Pearce. Details follow.
Keynote Speaker: David Pearce (ConsenSys)
profile
Title: Language Design meets Verifying Compilers
Date: December 6th, 2022
Abstract: The dream of developing compilers that automatically verify whether programs meet their specifications remains an ongoing challenge.
Such ``verifying compilers'' are (finally) on the verge of entering mainstream software development. This is partly due to advancements made over the last few decades but also the increasingly significant and complex role software plays in the modern world. As computer scientists, we should encourage this transition and help relegate many forms of software errors to the history books. One way of increasing adoption is to design languages around these tools, which look, on the surface, like regular programming languages. That is, to seamlessly integrate specification and verification and offer something that, for the everyday programmer, appears as nothing more than glorified type checking. This requires, amongst other things, careful consideration as to which language features mesh well with verification and which do not. The design space here is interesting and subtle but has been largely overlooked. In this talk, I will attempt to shed light on this murky area by contrasting the choices made in two existing languages: Dafny and Whiley.
Best Paper Award
The Program Committee of GPCE 2022 has decided to give the GPCE 2022 Best Paper Award to:
Type System for Four Delimited Control Operators by Chiaki Ishio and Kenichi Asai (Ochanomizu University).
Reviewers’ recommendation: “Type System for Four Delimited Control Operators” introduces a language that incorporates four well-known control operators (shift, control, shift0, control0) with a new unified type system derived from a double-CPS interpreter. The reviewers appreciated the technical depth of the work, the thorough comparison to previous systems, and the well-structured exposition. One particularly impressive aspect of the work is the mechanization of the main theorems in Agda, which lends significant credibility to the results. The system is likely to serve as a useful basis for type systems that support additional control features such as answer-type polymorphism and algebraic effects."
Congratulations!
Yukiyoshi Kameyama, on behalf of the GPCE2022 Program Committee
Questions? Use the
GPCE contact form
Important Dates
AoE (UTC-12h)
Tue 6 Dec - Wed 7 Dec 2022
Conference
Mon 24 Oct 2022
Camera Ready
Mon 10 Oct 2022
Final Notification (Done)
Wed 28 - Fri 30 Sep 2022
Author Response Period
Wed 28 Sep 2022
Review Notification
Fri 12 Aug 2022
Paper Submission
Mon 8 Aug 2022
Abstract Submission (Closed)
Submission Link
Organizing Committee
Bernhard Scholz
General Chair
University of Sydney
Australia
Yukiyoshi Kameyama
PC Chair
University of Tsukuba
Japan
Youyou Cong
Publicity Chair
Tokyo Institute of Technology
Japan
Program Committee
Baris Aktemur
Intel
Germany
Walter Binder
USI Lugano
Switzerland
Nicolas Biri
Input Output Global (IOG)
Sheng Chen
University of Louisiana at Lafayette
Shigeru Chiba
University of Tokyo
Japan
Youyou Cong
Tokyo Institute of Technology
Japan
Coen
De Roover
Vrije Universiteit Brussel
Belgium
Robert Glück
University of Copenhagen
Denmark
Elisa
Gonzalez Boix
Vrije Universiteit Brussel
Belgium
Jeff Gray
University of Alabama
Atsushi Igarashi
Kyoto University
Japan
Yukiyoshi Kameyama
PC Chair
University of Tsukuba
Japan
Raffi Khatchadourian
City University of New York (CUNY) Hunter College
United States
Julia Lawall
Inria
France
Geoffrey Mainland
Drexel University
United States
Bruno C. d. S.
Oliveira
University of Hong Kong
China
Klaus Ostermann
University of Tübingen
Max Schaefer
GitHub, Inc.
United Kingdom
Ulrik Pagh
Schultz
University of Southern Denmark
Denmark
Sibylle Schupp
Amir Shaikhha
University of Edinburgh
United Kingdom
Daniel Strüber
Chalmers | University of Gothenburg / Radboud University
Sweden
Nicolas Stucki
EPFL, Switzerland
Switzerland
Eli Tilevich
Virginia Tech
United States
Tijs
van der Storm
CWI; University of Groningen
Netherlands
Jeremy Yallop
University of Cambridge
United Kingdom
Artjoms Šinkarovs
Heriot-Watt University, UK
Steering Committee
Sebastian Erdweg
Steering Committee Chair
JGU Mainz
Germany
Coen
De Roover
Vrije Universiteit Brussel
Belgium
Jeff Gray
University of Alabama
Christoph Reichenbach
Lund University
Sweden
Tiark Rompf
Purdue University
United States
Eric
Van Wyk
University of Minnesota, USA
United States
Fri 24 Apr 20:51