GPCE 2022 - 21st International Conference on Generative Programming: Concepts & Experiences
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)
Tue 6 DecDisplayed time zone: Auckland, Wellington change
13:30 - 14:35
|Language Design meets Verifying CompilersIn PersonKeynote|
David J. Pearce ConsenSysDOI
15:00 - 15:30
Catering and Social Events
15:30 - 17:00
|Language-Integrated Query for Temporal DataIn Person|
Simon Fowler University of Glasgow, Vashti Galpin University of Edinburgh, James Cheney University of EdinburghDOI
|Type System for Four Delimited Control OperatorsIn PersonBest Paper|
|SQL to Stream with S2S: An Automatic Benchmark Generator for the Java Stream APIIn PersonTool Demo|
|PC Chair's Report|
Yukiyoshi Kameyama University of Tsukuba
Wed 7 DecDisplayed time zone: Auckland, Wellington change
09:00 - 10:00
|People do not want to learn a new language but a new libraryIn PersonKeynote|
Shigeru Chiba University of TokyoDOI
10:00 - 10:30
Catering and Social Events
10:30 - 12:00
|Incremental Processing of Structured Data in DatalogVirtual|
|Data Types as a More Ergonomic Frontend for Grammar-Guided Genetic ProgrammingVirtual|
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 LisbonDOI
|Deep Fusion for Efficient Nested Recursive ComputationsVirtual|
Amir Shaikhha University of EdinburghDOI
|Composable Sequence Macros for Fast IterationVirtual|
Anna Bolotina Czech Technical University in Prague, Ryan Culpepper Czech Technical University in PragueDOI
12:00 - 13:30
Catering and Social Events
13:30 - 15:00
|Model-Driven IoT App Stores: Deploying Customizable Software Products to Heterogeneous DevicesIn Person|
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 UniversityDOI Pre-print
|Language Support for Refactorability Decay PreventionIn Person|
|Preserving Consistency of Interrelated Models during View-Based Evolution of Variable SystemsVirtual|
Sofia Ananieva FZI Research Center for Information Technology, Thomas Kühn Karlsruhe Institute of Technology, Ralf Reussner KITDOI
|Generic Solution-Space Sampling for Multi-domain Product LinesVirtual|
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 KITDOI
15:00 - 15:30
Catering and Social Events
15:30 - 17:00
|A Modern C++ Point of View of Programming in Image ProcessingVirtual|
Michaël ROYNARD EPITA Research Laboratory, Edwin Carlinet EPITA Research Laboratory, Thierry Géraud EPITA Research LaboratoryDOI
|The Cost of Dynamism in Static Languages for Image ProcessingIn Person|
Baptiste Esteban EPITA Research Laboratory, Edwin Carlinet EPITA Research Laboratory, Guillaume Tochon EPITA Research Laboratory, Didier Verna EPITA Research LaboratoryDOI
|A Model-Driven Generative Self Play-Based Toolchain for Developing Games and PlayersIn Person|
Evgeny Kusmenko RWTH Aachen University, Maximilian Münker RWTH Aachen University, Matthias Nadenau RWTH Aachen University, Bernhard Rumpe RWTH Aachen UniversityDOI
|Dynamic Replanning of Multi-drone Missions using Dynamic Forward SlicingIn Person|
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.
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.
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.
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.
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
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
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.
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."
Yukiyoshi Kameyama, on behalf of the GPCE2022 Program Committee