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)


@InProceedings{GPCE20p1, author = {Bruce Collie and Jackson Woodruff and Michael F. P. O'Boyle}, title = {Modeling Black-Box Components with Probabilistic Synthesis}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3425898.3426952}, year = {2020}, } 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)


@InProceedings{GPCE20p16, author = {Antonio Garmendia and Manuel Wimmer and Esther Guerra and Elena Gómez-Martínez and Juan de Lara}, title = {Automated Variability Injection for Graphical Modelling Languages}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {16-15}, doi = {10.1145/3425898.3426957}, year = {2020}, } Publisher's Version Video

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


@InProceedings{GPCE20p25, author = {Tabea Bordis and Tobias Runge and Ina Schaefer}, title = {Correctness-by-Construction for Feature-Oriented Software Product Lines}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {25-24}, doi = {10.1145/3425898.3426959}, year = {2020}, } Publisher's Version Video

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


@InProceedings{GPCE20p40, author = {Lionel Parreaux and Amir Shaikhha}, title = {Multi-stage Programming in the Large with Staged Classes}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {40-39}, doi = {10.1145/3425898.3426961}, year = {2020}, } Publisher's Version Video

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


@InProceedings{GPCE20p55, author = {Rui Okura and Yukiyoshi Kameyama}, title = {Reorganizing Queries with Grouping}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {55-54}, doi = {10.1145/3425898.3426960}, year = {2020}, } Publisher's Version Video

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


@InProceedings{GPCE20p70, author = {Knut Anders Stokke and Mikhail Barash and Jaakko Järvi}, title = {Manipulating GUI Structures Declaratively}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {70-69}, doi = {10.1145/3425898.3426956}, year = {2020}, } 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)


@InProceedings{GPCE20p79, author = {Benjamin Rouxel and Ulrik Pagh Schultz and Benny Akesson and Jesper Holst and Ole Jørgensen and Clemens Grelck}, title = {PReGO: A Generative Methodology for Satisfying Real-Time Requirements on COTS-Based Systems: Definition and Experience Report}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {79-78}, doi = {10.1145/3425898.3426954}, year = {2020}, } Publisher's Version Video

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


@InProceedings{GPCE20p94, author = {Yin Liu and Eli Tilevich}, title = {VarSem: Declarative Expression and Automated Inference of Variable Usage Semantics}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {94-93}, doi = {10.1145/3425898.3426962}, year = {2020}, } Publisher's Version Video

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


@InProceedings{GPCE20p109, author = {Shadaj Laddad and Koushik Sen}, title = {Fluid Quotes: Metaprogramming across Abstraction Boundaries with Dependent Types}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {109-108}, doi = {10.1145/3425898.3426953}, year = {2020}, } Publisher's Version Video

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


@InProceedings{GPCE20p124, author = {Hampus Balldin and Christoph Reichenbach}, title = {A Domain-Specific Language for Filtering in Application-Level Gateways}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {124-123}, doi = {10.1145/3425898.3426955}, year = {2020}, } 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)


@InProceedings{GPCE20p139, author = {L. Thomas van Binsbergen and Lu-Chi Liu and Robert van Doesburg and Tom van Engers}, title = {eFLINT: A Domain-Specific Language for Executable Norm Specifications}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {139-138}, doi = {10.1145/3425898.3426958}, year = {2020}, } Publisher's Version Published Artifact Video Artifacts Available