GPCE 2022 – Proceedings

21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE 2022)

Frontmatter

Keynote

Language Design Meets Verifying Compilers (Keynote)
David J. Pearce
(ConsenSys, USA)

Publisher's Version

Full Papers

Language-Integrated Query for Temporal Data
Simon Fowler, Vashti Galpin, and James Cheney
(University of Glasgow, UK; University of Edinburgh, UK)

Publisher's Version

Incremental Processing of Structured Data in Datalog
André Pacak, Tamás Szabó, and Sebastian Erdweg
(JGU Mainz, Germany; GitHub, Germany)

Publisher's Version

Deep Fusion for Efficient Nested Recursive Computations
Amir Shaikhha
(University of Edinburgh, UK)

Publisher's Version

Type System for Four Delimited Control Operators
Chiaki Ishio and Kenichi Asai
(Ochanomizu University, Japan)

Publisher's Version

Composable Sequence Macros for Fast Iteration
Anna Bolotina and Ryan Culpepper
(Czech Technical University in Prague, Czechia)

Publisher's Version

Dynamic Replanning of Multi-drone Missions using Dynamic Forward Slicing
Miguel Campusano and Ulrik Pagh Schultz Lundquist
(University of Southern Denmark, Denmark)

Publisher's Version

Data Types as a More Ergonomic Frontend for Grammar-Guided Genetic Programming
Guilherme Espada, Leon Ingelse, Paulo Canelas, Pedro Barbosa, and Alcides Fonseca
(University of Lisbon, Portugal; Carnegie Mellon University, USA; Instituto de Medicina Molecular, Portugal)

Publisher's Version Info

A Model-Driven Generative Self Play-Based Toolchain for Developing Games and Players
Evgeny Kusmenko, Maximilian Münker, Matthias Nadenau, and Bernhard Rumpe
(RWTH Aachen University, Germany)

Publisher's Version

Model-Driven IoT App Stores: Deploying Customizable Software Products to Heterogeneous Devices
Arvid Butting, Jörg Christian Kirchhof, Anno Kleiss, Judith Michael, Radoslav Orlov, and Bernhard Rumpe
(RWTH Aachen University, Germany)

Publisher's Version

Language Support for Refactorability Decay Prevention
Dov Fraivert and David H. Lorenz
(Open University of Israel, Israel)

Publisher's Version Info

Generic Solution-Space Sampling for Multi-domain Product Lines
Marc Hentze, Tobias Pett, Chico Sundermann, Sebastian Krieter, Thomas Thüm, and Ina Schaefer
(Volkswagen, Germany; TU Braunschweig, Germany; University of Ulm, Germany; KIT, Germany)

Publisher's Version

Preserving Consistency of Interrelated Models during View-Based Evolution of Variable Systems
Sofia Ananieva, Thomas Kühn, and Ralf Reussner
(FZI, Germany; KIT, Germany)

Publisher's Version

Short Papers

A Modern C++ Point of View of Programming in Image Processing
Michaël Roynard, Edwin Carlinet, and Thierry Géraud
(EPITA Research Laboratory, France)

Publisher's Version Info

The Cost of Dynamism in Static Languages for Image Processing
Baptiste Esteban, Edwin Carlinet, Guillaume Tochon, and Didier Verna
(EPITA Research Laboratory, France)

Publisher's Version

Tool Demonstration

SQL to Stream with S2S: An Automatic Benchmark Generator for the Java Stream API
Filippo Schiavio, Andrea Rosà, and Walter Binder
(USI Lugano, Switzerland)

Publisher's Version

proc time: 1.98