SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand

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: https://dl.acm.org/doi/proceedings/10.1145/3564719

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: https://conf.researchr.org/home/gpce-2022

Submission site: https://gpce2022.hotcrp.com/ (closed)

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

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

Dates
Plenary
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

13:30 - 14:35
GPCE KeynoteGPCE 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 CompilersIn PersonKeynote
GPCE Keynote
David J. Pearce ConsenSys
DOI
15:00 - 15:30
15:00
30m
Coffee break
Coffee break
Catering and Social Events

15:30 - 17:00
GPCE Session 1GPCE at Seminar Room G135
Chair(s): Yukiyoshi Kameyama University of Tsukuba
15:30
22m
Talk
Language-Integrated Query for Temporal DataIn 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 OperatorsIn PersonBest 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 APIIn PersonTool 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 KeynoteSLE Keynote / SLE 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 libraryIn PersonKeynote
SLE Keynote
Shigeru Chiba University of Tokyo
DOI
10:00 - 10:30
10:00
30m
Coffee break
Coffee break
Catering and Social Events

10:30 - 12:00
GPCE Session 2GPCE at Seminar Room G100
Chair(s): Atsushi Igarashi Kyoto University
10:30
22m
Talk
Incremental Processing of Structured Data in DatalogVirtual
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 ProgrammingVirtual
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 ComputationsVirtual
GPCE
Amir Shaikhha University of Edinburgh
DOI
11:37
22m
Talk
Composable Sequence Macros for Fast IterationVirtual
GPCE
Anna Bolotina Czech Technical University in Prague, Ryan Culpepper Czech Technical University in Prague
DOI
12:00 - 13:30
12:00
90m
Lunch
Lunch
Catering and Social Events

13:30 - 15:00
GPCE Session 3GPCE 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 DevicesIn 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 PreventionIn 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 SystemsVirtual
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 LinesVirtual
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
15:00
30m
Coffee break
Coffee break
Catering and Social Events

15:30 - 17:00
GPCE Session 4GPCE 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 ProcessingVirtual
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 ProcessingIn 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 PlayersIn 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 SlicingIn 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 PlayersIn Person
GPCE
DOI
A Modern C++ Point of View of Programming in Image ProcessingVirtual
GPCE
DOI
Composable Sequence Macros for Fast IterationVirtual
GPCE
DOI
Data Types as a More Ergonomic Frontend for Grammar-Guided Genetic ProgrammingVirtual
GPCE
DOI
Deep Fusion for Efficient Nested Recursive ComputationsVirtual
GPCE
DOI
Dynamic Replanning of Multi-drone Missions using Dynamic Forward SlicingIn Person
GPCE
DOI
Generic Solution-Space Sampling for Multi-domain Product LinesVirtual
GPCE
DOI
Incremental Processing of Structured Data in DatalogVirtual
GPCE
DOI
Language-Integrated Query for Temporal DataIn Person
GPCE
DOI
Language Support for Refactorability Decay PreventionIn Person
GPCE
DOI
Model-Driven IoT App Stores: Deploying Customizable Software Products to Heterogeneous DevicesIn Person
GPCE
DOI Pre-print
Preserving Consistency of Interrelated Models during View-Based Evolution of Variable SystemsVirtual
GPCE
DOI
SQL to Stream with S2S: An Automatic Benchmark Generator for the Java Stream APIIn PersonTool Demo
GPCE
DOI
The Cost of Dynamism in Static Languages for Image ProcessingIn Person
GPCE
DOI
Type System for Four Delimited Control OperatorsIn PersonBest Paper
GPCE
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: https://gpce2022.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 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.

We are delighted to have the keynote talk by Dr. David Pearce. Details follow.

David Pearce

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.

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.