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

Title Page

Article: gpce20foreword-fm000-p (type: Frontmatter) doi:

Welcome from the Chairs

Article: gpce20foreword-fm001-p (type: Frontmatter) doi:

GPCE 2020 Organization

Article: gpce20foreword-fm002-p (type: Frontmatter) 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 (type: Full Paper) doi:10.1145/3425898.3426952

: Presentation Videos

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 (type: Full Paper (Short Paper: 6 pages + references)) doi:10.1145/3425898.3426957

: Presentation Videos

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 (type: Full Paper) doi:10.1145/3425898.3426959

: Presentation Videos

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 (type: Full Paper) doi:10.1145/3425898.3426961

: Presentation Videos

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

Publisher's Version Video Article: gpce20main-p30-p (type: Full Paper) doi:10.1145/3425898.3426960

: Presentation Videos

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 (type: Full Paper (Short Paper: 6 pages + references)) doi:10.1145/3425898.3426956

: Presentation Videos

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 (type: Full Paper) doi:10.1145/3425898.3426954

: Presentation Videos

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 (type: Full Paper) doi:10.1145/3425898.3426962

: Presentation Videos

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 (type: Full Paper) doi:10.1145/3425898.3426953

: Presentation Videos

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 (type: Full Paper) doi:10.1145/3425898.3426955

: Presentation Videos

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 (type: Full Paper) doi:10.1145/3425898.3426958

: Presentation Videos