SPLASH Workshop/Symposium Events 2021
2021 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Events 2021)
Powered by
Conference Publishing Consulting

20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE 2021), October 17–18, 2021, Chicago, IL, USA

GPCE 2021 – Proceedings

Contents - Abstracts - Authors

20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE 2021)


Title Page
Welcome from the Chairs


Live Programming and Programming by Example: Better Together (Keynote)
Sorin LernerORCID logo
(University of California at San Diego, USA)
Publisher's Version


The Life Cycle of Features in Highly-Configurable Software Systems Evolving in Space and Time
Gabriela K. MichelonORCID logo, Wesley K. G. AssunçãoORCID logo, David Obermann, Lukas Linsbauer, Paul Grünbacher, and Alexander Egyed
(JKU Linz, Austria; TU Braunschweig, Germany)
Publisher's Version
Towards Supporting SPL Engineering in Low-Code Platforms using a DSL Approach
Alexandre BragançaORCID logo, Isabel Azevedo ORCID logo, Nuno Bettencourt ORCID logo, Carlos Morais, Diogo Teixeira, and David Caetano
(Institute of Engineering of Porto, Portugal; Polytechnic of Porto, Portugal; Games, Interaction and Learning Technologies, Portugal; Interdisciplinary Studies Research Center, Portugal; NumbersBelieve, Portugal)
Publisher's Version
A Variational Database Management System
Parisa Ataei, Fariba Khan, and Eric Walkingshaw
(Oregon State University, USA)
Publisher's Version
Metaprogramming with Combinators
Mahshid Shahmohammadian ORCID logo and Geoffrey MainlandORCID logo
(Drexel University, USA)
Publisher's Version
Artifact and Reference Models for Generative Machine Learning Frameworks and Build Systems
Abdallah Atouani, Jörg Christian KirchhofORCID logo, Evgeny KusmenkoORCID logo, and Bernhard RumpeORCID logo
(RWTH Aachen University, Germany)
Publisher's Version
Delta-Based Verification of Software Product Families
Marco Scaletta ORCID logo, Reiner HähnleORCID logo, Dominic Steinhöfel ORCID logo, and Richard Bubel
(TU Darmstadt, Germany; CISPA, Germany)
Publisher's Version Info
Extracting the Power of Dependent Types
Artjoms ŠinkarovsORCID logo and Jesper Cockx ORCID logo
(Heriot-Watt University, UK; TU Delft, Netherlands)
Publisher's Version Info
Lifted Termination Analysis by Abstract Interpretation and Its Applications
Aleksandar S. Dimovski ORCID logo
(Mother Teresa University at Skopje, Macedonia)
Publisher's Version
Multi-stage Programming with Generative and Analytical Macros
Nicolas Stucki ORCID logo, Jonathan Immanuel Brachthäuser ORCID logo, and Martin Odersky ORCID logo
(EPFL, Switzerland)
Publisher's Version
Compiling Pattern Matching to In-Place Modifications
Paul Iannetta ORCID logo, Laure Gonnord ORCID logo, and Gabriel RadanneORCID logo
(University of Lyon, France; ENS Lyon, France; University of Lyon 1, France; CNRS, France; Inria, France; LIP, France; Grenoble Alps University, France; Grenoble INP, France; LCIS, France)
Publisher's Version
HACCLE: Metaprogramming for Secure Multi-Party Computation
Yuyan Bao, Kirshanthan SundararajahORCID logo, Raghav Malik ORCID logo, Qianchuan Ye ORCID logo, Christopher Wagner ORCID logo, Nouraldin Jaber ORCID logo, Fei Wang, Mohammad Hassan Ameri, Donghang Lu, Alexander Seto, Benjamin DelawareORCID logo, Roopsha Samanta ORCID logo, Aniket Kate, Christina Garman, Jeremiah Blocki, Pierre-David Letourneau, Benoit Meister ORCID logo, Jonathan Springer, Tiark Rompf ORCID logo, and Milind KulkarniORCID logo
(University of Waterloo, Canada; Purdue University, USA; Reservoir Labs, USA)
Publisher's Version
MADMAX: A DSL for Explanatory Decision Making
Martin Erwig and Prashant Kumar
(Oregon State University, USA)
Publisher's Version
On-Stack Replacement for Program Generators and Source-to-Source Compilers
Grégory M. Essertel, Ruby Y. Tahboub, and Tiark Rompf ORCID logo
(Purdue University, USA)
Publisher's Version
Leveraging Relational Concept Analysis for Automated Feature Location in Software Product Lines
Nicolas Hlad, Bérénice Lemoine, Marianne Huchard, and Abdelhak-Djamel Seriai
(LIRMM, France; University of Montpellier, France; CNRS, France)
Publisher's Version
Type-Safe Generation of Modules in Applicative and Generative Styles
Yuhi Sato and Yukiyoshi KameyamaORCID logo
(University of Tsukuba, Japan)
Publisher's Version
Understanding and Improving Model-Driven IoT Systems through Accompanying Digital Twins
Jörg Christian KirchhofORCID logo, Lukas Malcher, and Bernhard RumpeORCID logo
(RWTH Aachen University, Germany)
Publisher's Version

proc time: 2.83