GPCE 2021 – Proceedings

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

Frontmatter

Keynote

Live Programming and Programming by Example: Better Together (Keynote)
Sorin Lerner
(University of California at San Diego, USA)

Publisher's Version Article: splashws21gpcemain-key1-p doi:10.1145/3486609.3491064

Papers

The Life Cycle of Features in Highly-Configurable Software Systems Evolving in Space and Time
Gabriela K. Michelon, Wesley K. G. Assunção, David Obermann, Lukas Linsbauer, Paul Grünbacher, and Alexander Egyed
(JKU Linz, Austria; TU Braunschweig, Germany)

Publisher's Version Article: splashws21gpcemain-p2-p doi:10.1145/3486609.3487195

Towards Supporting SPL Engineering in Low-Code Platforms using a DSL Approach
Alexandre Bragança, Isabel Azevedo, Nuno Bettencourt, 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 Article: splashws21gpcemain-p3-p doi:10.1145/3486609.3487196

A Variational Database Management System
Parisa Ataei, Fariba Khan, and Eric Walkingshaw
(Oregon State University, USA)

Publisher's Version Article: splashws21gpcemain-p5-p doi:10.1145/3486609.3487197

Metaprogramming with Combinators
Mahshid Shahmohammadian and Geoffrey Mainland
(Drexel University, USA)

Publisher's Version Article: splashws21gpcemain-p6-p doi:10.1145/3486609.3487198

Artifact and Reference Models for Generative Machine Learning Frameworks and Build Systems
Abdallah Atouani, Jörg Christian Kirchhof, Evgeny Kusmenko, and Bernhard Rumpe
(RWTH Aachen University, Germany)

Publisher's Version Article: splashws21gpcemain-p15-p doi:10.1145/3486609.3487199

Delta-Based Verification of Software Product Families
Marco Scaletta, Reiner Hähnle, Dominic Steinhöfel, and Richard Bubel
(TU Darmstadt, Germany; CISPA, Germany)

Publisher's Version Article: splashws21gpcemain-p16-p doi:10.1145/3486609.3487200

Extracting the Power of Dependent Types
Artjoms Šinkarovs and Jesper Cockx
(Heriot-Watt University, UK; TU Delft, Netherlands)

Publisher's Version Article: splashws21gpcemain-p18-p doi:10.1145/3486609.3487201

Lifted Termination Analysis by Abstract Interpretation and Its Applications
Aleksandar S. Dimovski
(Mother Teresa University at Skopje, Macedonia)

Publisher's Version Article: splashws21gpcemain-p20-p doi:10.1145/3486609.3487202

Multi-stage Programming with Generative and Analytical Macros
Nicolas Stucki, Jonathan Immanuel Brachthäuser, and Martin Odersky
(EPFL, Switzerland)

Publisher's Version Article: splashws21gpcemain-p21-p doi:10.1145/3486609.3487203

Compiling Pattern Matching to In-Place Modifications
Paul Iannetta, Laure Gonnord, and Gabriel Radanne
(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 Article: splashws21gpcemain-p22-p doi:10.1145/3486609.3487204

HACCLE: Metaprogramming for Secure Multi-Party Computation
Yuyan Bao, Kirshanthan Sundararajah, Raghav Malik, Qianchuan Ye, Christopher Wagner, Nouraldin Jaber, Fei Wang, Mohammad Hassan Ameri, Donghang Lu, Alexander Seto, Benjamin Delaware, Roopsha Samanta, Aniket Kate, Christina Garman, Jeremiah Blocki, Pierre-David Letourneau, Benoit Meister, Jonathan Springer, Tiark Rompf, and Milind Kulkarni
(University of Waterloo, Canada; Purdue University, USA; Reservoir Labs, USA)

Publisher's Version Article: splashws21gpcemain-p24-p doi:10.1145/3486609.3487205

MADMAX: A DSL for Explanatory Decision Making
Martin Erwig and Prashant Kumar
(Oregon State University, USA)

Publisher's Version Article: splashws21gpcemain-p25-p doi:10.1145/3486609.3487206

On-Stack Replacement for Program Generators and Source-to-Source Compilers
Grégory M. Essertel, Ruby Y. Tahboub, and Tiark Rompf
(Purdue University, USA)

Publisher's Version Article: splashws21gpcemain-p28-p doi:10.1145/3486609.3487207

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 Published Artifact Artifacts Available Article: splashws21gpcemain-p32-p doi:10.1145/3486609.3487208

Type-Safe Generation of Modules in Applicative and Generative Styles
Yuhi Sato and Yukiyoshi Kameyama
(University of Tsukuba, Japan)

Publisher's Version Article: splashws21gpcemain-p35-p doi:10.1145/3486609.3487209

Understanding and Improving Model-Driven IoT Systems through Accompanying Digital Twins
Jörg Christian Kirchhof, Lukas Malcher, and Bernhard Rumpe
(RWTH Aachen University, Germany)

Publisher's Version Article: splashws21gpcemain-p36-p doi:10.1145/3486609.3487210

proc time: 0.03