GPCE 2018
17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE 2018)

Title Page

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

Message from the Chairs

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

GPCE 2018 Organization

Article: gpce18foreword-fm002-p (type: Frontmatter) doi:

Sponsors

Article: gpce18foreword-fm003-p (type: Frontmatter) doi:

A Domain-Specific Language for Exploratory Data Visualization
Karl Smeltzer and Martin Erwig
(Oregon State University, USA)

Publisher's Version Article: gpce18main-p46-p (type: Full Paper (12 pages + references)) doi:10.1145/3278122.3278138

A Practical Unification of Multi-stage Programming and Macros
Nicolas Stucki, Aggelos Biboudis, and Martin Odersky
(EPFL, Switzerland)

Publisher's Version Article: gpce18main-p53-p (type: Full Paper (12 pages + references)) doi:10.1145/3278122.3278139

Rash: From Reckless Interactions to Reliable Programs
William Gallard Hatch and Matthew Flatt
(University of Utah, USA)

Publisher's Version Article: gpce18main-p15-p (type: Full Paper (12 pages + references)) doi:10.1145/3278122.3278129

Exploring Feature Interactions without Specifications: A Controlled Experiment
Larissa Rocha Soares, Jens Meinicke, Sarah Nadi, Christian Kästner, and Eduardo Santana de Almeida
(Federal University of Bahia, Brazil; University of Magdeburg, Germany; University of Alberta, Canada; Carnegie Mellon University, USA)

Publisher's Version Article: gpce18main-p11-p (type: Full Paper (12 pages + references)) doi:10.1145/3278122.3278127

Inferring Ownership Domains from Refinements
Ebrahim Khalaj and Marwan Abi-Antoun
(Wayne State University, USA)

Publisher's Version Article: gpce18main-p13-p (type: Full Paper (12 pages + references)) doi:10.1145/3278122.3278128

Implementing a Semi-causal Domain-Specific Language for Context Detection over Binary Sensors
Nic Volanschi, Bernard Serpette, and Charles Consel
(Inria, France; Bordeaux INP, France)

Publisher's Version Article: gpce18main-p38-p (type: Full Paper (12 pages + references)) doi:10.1145/3278122.3278134

Meta-programming for Cross-Domain Tensor Optimizations
Adilla Susungi, Norman A. Rink, Albert Cohen, Jeronimo Castrillon, and Claude Tadonki
(MINES ParisTech, France; PSL Research University, France; TU Dresden, Germany; Inria, France; ENS, France)

Publisher's Version Article: gpce18main-p20-p (type: Full Paper (12 pages + references)) doi:10.1145/3278122.3278131

Model-Based Security Analysis of Feature-Oriented Software Product Lines
Sven Peldszus, Daniel Strüber, and Jan Jürjens
(University of Koblenz-Landau, Germany)

Publisher's Version Article: gpce18main-p6-p (type: Full Paper (12 pages + references)) doi:10.1145/3278122.3278126

Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs
Laurent Christophe, Coen De Roover, Elisa Gonzalez Boix, and Wolfgang De Meuter
(Vrije Universiteit Brussel, Belgium)

Publisher's Version Article: gpce18main-p40-p (type: Full Paper (12 pages + references)) doi:10.1145/3278122.3278135

Measuring Effectiveness of Sample-Based Product-Line Testing
Sebastian Ruland, Lars Luthmann, Johannes Bürdek, Sascha Lity, Thomas Thüm, Malte Lochau, and Márcio Ribeiro
(TU Darmstadt, Germany; TU Braunschweig, Germany; Federal University of Alagoas, Brazil)

Publisher's Version Article: gpce18main-p17-p (type: Full Paper (12 pages + references)) doi:10.1145/3278122.3278130

Pattern Matching in an Open World
Weixin Zhang and Bruno C. d. S. Oliveira
(University of Hong Kong, China)

Publisher's Version Article: gpce18main-p4-p (type: Full Paper (12 pages + references)) doi:10.1145/3278122.3278124

Verification of High-Level Transformations with Inductive Refinement Types
Ahmad Salim Al-Sibahi, Thomas P. Jensen, Aleksandar S. Dimovski, and Andrzej Wąsowski
(University of Copenhagen, Denmark; Skanned, Denmark; IT University of Copenhagen, Denmark; Inria, France; Mother Teresa University, Macedonia)

Publisher's Version Article: gpce18main-p5-p (type: Full Paper (12 pages + references)) doi:10.1145/3278122.3278125

Explaining Spreadsheets with Spreadsheets (Short Paper)
Jácome Cunha, Mihai Dan, Martin Erwig, Danila Fedorin, and Alex Grejuc
(University of Minho, Portugal; NOVA-LINCS, Portugal; Oregon State University, USA)

Publisher's Version Article: gpce18main-p42-p (type: Short Paper (6 pages + references)) doi:10.1145/3278122.3278136

Funcons for HGMP: The Fundamental Constructs of Homogeneous Generative Meta-programming (Short Paper)
L. Thomas van Binsbergen
(Royal Holloway University of London, UK)

Publisher's Version Article: gpce18main-p26-p (type: Short Paper (6 pages + references)) doi:10.1145/3278122.3278132

RT-Trust: Automated Refactoring for Trusted Execution under Real-Time Constraints
Yin Liu, Kijin An, and Eli Tilevich
(Virginia Tech, USA)

Publisher's Version Article: gpce18main-p44-p (type: Full Paper (12 pages + references)) doi:10.1145/3278122.3278137

Anomaly Analyses for Feature-Model Evolution
Michael Nieke, Jacopo Mauro, Christoph Seidl, Thomas Thüm, Ingrid Chieh Yu, and Felix Franzke
(TU Braunschweig, Germany; University of Southern Denmark, Denmark; University of Oslo, Norway)

Publisher's Version Article: gpce18main-p3-p (type: Full Paper (12 pages + references)) doi:10.1145/3278122.3278123

Regenerate: A Language Generator for Extended Regular Expressions
Gabriel Radanne and Peter Thiemann
(University of Freiburg, Germany)

Publisher's Version Article: gpce18main-p31-p (type: Full Paper (12 pages + references)) doi:10.1145/3278122.3278133