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)


@InProceedings{GPCE22p1, author = {David J. Pearce}, title = {Language Design Meets Verifying Compilers (Keynote)}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3564719.3570917}, year = {2022}, } 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)


@InProceedings{GPCE22p19, author = {Simon Fowler and Vashti Galpin and James Cheney}, title = {Language-Integrated Query for Temporal Data}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {19-18}, doi = {10.1145/3564719.3568690}, year = {2022}, } Publisher's Version Published Artifact Artifacts Available

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


@InProceedings{GPCE22p37, author = {André Pacak and Tamás Szabó and Sebastian Erdweg}, title = {Incremental Processing of Structured Data in Datalog}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {37-36}, doi = {10.1145/3564719.3568686}, year = {2022}, } Publisher's Version

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


@InProceedings{GPCE22p55, author = {Amir Shaikhha}, title = {Deep Fusion for Efficient Nested Recursive Computations}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {55-54}, doi = {10.1145/3564719.3568698}, year = {2022}, } Publisher's Version

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


@InProceedings{GPCE22p73, author = {Chiaki Ishio and Kenichi Asai}, title = {Type System for Four Delimited Control Operators}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {73-72}, doi = {10.1145/3564719.3568691}, year = {2022}, } Publisher's Version Published Artifact Artifacts Available

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


@InProceedings{GPCE22p91, author = {Anna Bolotina and Ryan Culpepper}, title = {Composable Sequence Macros for Fast Iteration}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {91-90}, doi = {10.1145/3564719.3568696}, year = {2022}, } 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)


@InProceedings{GPCE22p109, author = {Miguel Campusano and Ulrik Pagh Schultz Lundquist}, title = {Dynamic Replanning of Multi-drone Missions using Dynamic Forward Slicing}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {109-108}, doi = {10.1145/3564719.3568694}, year = {2022}, } 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)


@InProceedings{GPCE22p127, author = {Guilherme Espada and Leon Ingelse and Paulo Canelas and Pedro Barbosa and Alcides Fonseca}, title = {Data Types as a More Ergonomic Frontend for Grammar-Guided Genetic Programming}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {127-126}, doi = {10.1145/3564719.3568697}, year = {2022}, } Publisher's Version

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)


@InProceedings{GPCE22p145, author = {Evgeny Kusmenko and Maximilian Münker and Matthias Nadenau and Bernhard Rumpe}, title = {A Model-Driven Generative Self Play-Based Toolchain for Developing Games and Players}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {145-144}, doi = {10.1145/3564719.3568687}, year = {2022}, } 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)


@InProceedings{GPCE22p163, author = {Arvid Butting and Jörg Christian Kirchhof and Anno Kleiss and Judith Michael and Radoslav Orlov and Bernhard Rumpe}, title = {Model-Driven IoT App Stores: Deploying Customizable Software Products to Heterogeneous Devices}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {163-162}, doi = {10.1145/3564719.3568689}, year = {2022}, } Publisher's Version

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


@InProceedings{GPCE22p181, author = {Dov Fraivert and David H. Lorenz}, title = {Language Support for Refactorability Decay Prevention}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {181-180}, doi = {10.1145/3564719.3568688}, year = {2022}, } Publisher's Version

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)


@InProceedings{GPCE22p199, author = {Marc Hentze and Tobias Pett and Chico Sundermann and Sebastian Krieter and Thomas Thüm and Ina Schaefer}, title = {Generic Solution-Space Sampling for Multi-domain Product Lines}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {199-198}, doi = {10.1145/3564719.3568695}, year = {2022}, } 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)


@InProceedings{GPCE22p217, author = {Sofia Ananieva and Thomas Kühn and Ralf Reussner}, title = {Preserving Consistency of Interrelated Models during View-Based Evolution of Variable Systems}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {217-216}, doi = {10.1145/3564719.3568685}, year = {2022}, } 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)


@InProceedings{GPCE22p235, author = {Michaël Roynard and Edwin Carlinet and Thierry Géraud}, title = {A Modern C++ Point of View of Programming in Image Processing}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {235-234}, doi = {10.1145/3564719.3568692}, year = {2022}, } Publisher's Version

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


@InProceedings{GPCE22p253, author = {Baptiste Esteban and Edwin Carlinet and Guillaume Tochon and Didier Verna}, title = {The Cost of Dynamism in Static Languages for Image Processing}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {253-252}, doi = {10.1145/3564719.3568693}, year = {2022}, } 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)


@InProceedings{GPCE22p271, author = {Filippo Schiavio and Andrea Rosà and Walter Binder}, title = {SQL to Stream with S2S: An Automatic Benchmark Generator for the Java Stream API}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {271-270}, doi = {10.1145/3564719.3568699}, year = {2022}, } Publisher's Version

proc time: 0.63