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

Title Page

Welcome from the Chairs

GPCE 2020 Organization

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

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

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

Publisher's Version Video

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

Publisher's Version Video

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

Publisher's Version Video Info

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

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

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

Publisher's Version Video

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

Publisher's Version Video

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

Publisher's Version Video

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 Video Video Info