GPCE 2020
19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE 2020)

Title Page

Article: gpce20foreword-fm000-p doi:

Welcome from the Chairs

Article: gpce20foreword-fm001-p doi:

GPCE 2020 Organization

Article: gpce20foreword-fm002-p doi:

Modeling Black-Box Components with Probabilistic Synthesis
Bruce Collie, Jackson Woodruff, and Michael F. P. O'Boyle
(University of Edinburgh, UK)

Publisher's Version Video Article: gpce20main-p2-p doi:10.1145/3425898.3426952

Automated Variability Injection for Graphical Modelling Languages
Antonio Garmendia, Manuel Wimmer, Esther Guerra, Elena Gómez-Martínez, and Juan de Lara
(JKU Linz, Austria; Autonomous University of Madrid, Spain)

Publisher's Version Video Article: gpce20main-p13-p doi:10.1145/3425898.3426957

Correctness-by-Construction for Feature-Oriented Software Product Lines
Tabea Bordis, Tobias Runge, and Ina Schaefer
(TU Braunschweig, Germany)

Publisher's Version Video Article: gpce20main-p17-p doi:10.1145/3425898.3426959

Multi-stage Programming in the Large with Staged Classes
Lionel Parreaux and Amir Shaikhha
(EPFL, Switzerland; University of Edinburgh, UK)

Publisher's Version Video Article: gpce20main-p32-p doi:10.1145/3425898.3426961

Reorganizing Queries with Grouping
Rui Okura and Yukiyoshi Kameyama
(University of Tsukuba, Japan)

Publisher's Version Video Article: gpce20main-p30-p doi:10.1145/3425898.3426960

Manipulating GUI Structures Declaratively
Knut Anders Stokke, Mikhail Barash, and Jaakko Järvi
(University of Bergen, Norway; University of Turku, Finland)

Publisher's Version Video Article: gpce20main-p11-p doi:10.1145/3425898.3426956

PReGO: A Generative Methodology for Satisfying Real-Time Requirements on COTS-Based Systems: Definition and Experience Report
Benjamin Rouxel, Ulrik Pagh Schultz, Benny Akesson, Jesper Holst, Ole Jørgensen, and Clemens Grelck
(University of Amsterdam, Netherlands; University of Southern Denmark, Denmark; TNO, Netherlands; Sky-Watch, Denmark)

Publisher's Version Video Article: gpce20main-p9-p doi:10.1145/3425898.3426954

VarSem: Declarative Expression and Automated Inference of Variable Usage Semantics
Yin Liu and Eli Tilevich
(Virginia Tech, USA)

Publisher's Version Video Article: gpce20main-p36-p doi:10.1145/3425898.3426962

Fluid Quotes: Metaprogramming across Abstraction Boundaries with Dependent Types
Shadaj Laddad and Koushik Sen
(University of California at Berkeley, USA)

Publisher's Version Video Article: gpce20main-p7-p doi:10.1145/3425898.3426953

A Domain-Specific Language for Filtering in Application-Level Gateways
Hampus Balldin and Christoph Reichenbach
(Advenica, Sweden; Lund University, Sweden)

Publisher's Version Video Article: gpce20main-p10-p doi:10.1145/3425898.3426955

eFLINT: A Domain-Specific Language for Executable Norm Specifications
L. Thomas van Binsbergen, Lu-Chi Liu, Robert van Doesburg, and Tom van Engers
(CWI, Netherlands; University of Amsterdam, Netherlands; Leibniz Institute, Netherlands; TNO, Netherlands)

Publisher's Version Published Artifact Video Artifacts Available Article: gpce20main-p14-p doi:10.1145/3425898.3426958