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

19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE 2020), November 16-17, 2020, Virtual, USA

GPCE 2020 – Proceedings

Contents - Abstracts - Authors

Frontmatter

Title Page
Welcome from the Chairs
GPCE 2020 Organization

Papers

Modeling Black-Box Components with Probabilistic Synthesis
Bruce CollieORCID logo, Jackson Woodruff ORCID logo, and Michael F. P. O'Boyle ORCID logo
(University of Edinburgh, UK)
Publisher's Version Video
Automated Variability Injection for Graphical Modelling Languages
Antonio Garmendia ORCID logo, Manuel Wimmer ORCID logo, Esther GuerraORCID logo, Elena Gómez-Martínez, and Juan de LaraORCID logo
(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 ORCID logo and Amir Shaikhha ORCID logo
(EPFL, Switzerland; University of Edinburgh, UK)
Publisher's Version Video
Reorganizing Queries with Grouping
Rui OkuraORCID logo and Yukiyoshi KameyamaORCID logo
(University of Tsukuba, Japan)
Publisher's Version Video Info
Manipulating GUI Structures Declaratively
Knut Anders Stokke ORCID logo, Mikhail BarashORCID logo, and Jaakko JärviORCID logo
(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 ORCID logo, 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 ORCID logo
(University of California at Berkeley, USA)
Publisher's Version Video
A Domain-Specific Language for Filtering in Application-Level Gateways
Hampus Balldin and Christoph ReichenbachORCID logo
(Advenica, Sweden; Lund University, Sweden)
Publisher's Version Video
eFLINT: A Domain-Specific Language for Executable Norm Specifications
L. Thomas van BinsbergenORCID logo, 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

proc time: 3.29