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

17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE 2018), November 5–6, 2018, Boston, MA, USA

GPCE 2018 – Proceedings

Contents - Abstracts - Authors

Frontmatter

Title Page
Message from the Chairs
GPCE 2018 Organization
Sponsors

Papers

A Domain-Specific Language for Exploratory Data Visualization
Karl Smeltzer and Martin Erwig
(Oregon State University, USA)
Publisher's Version
A Practical Unification of Multi-stage Programming and Macros
Nicolas Stucki ORCID logo, Aggelos Biboudis, and Martin Odersky ORCID logo
(EPFL, Switzerland)
Publisher's Version
Rash: From Reckless Interactions to Reliable Programs
William Gallard HatchORCID logo and Matthew Flatt ORCID logo
(University of Utah, USA)
Publisher's Version
Exploring Feature Interactions without Specifications: A Controlled Experiment
Larissa Rocha Soares, Jens Meinicke, Sarah NadiORCID logo, Christian KästnerORCID logo, 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
Inferring Ownership Domains from Refinements
Ebrahim Khalaj and Marwan Abi-Antoun
(Wayne State University, USA)
Publisher's Version
Implementing a Semi-causal Domain-Specific Language for Context Detection over Binary Sensors
Nic Volanschi, Bernard Serpette ORCID logo, and Charles Consel
(Inria, France; Bordeaux INP, France)
Publisher's Version
Meta-programming for Cross-Domain Tensor Optimizations
Adilla Susungi, Norman A. Rink, Albert Cohen, Jeronimo Castrillon ORCID logo, and Claude Tadonki
(MINES ParisTech, France; PSL Research University, France; TU Dresden, Germany; Inria, France; ENS, France)
Publisher's Version
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
Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs
Laurent Christophe, Coen De Roover, Elisa Gonzalez Boix, and Wolfgang De Meuter ORCID logo
(Vrije Universiteit Brussel, Belgium)
Publisher's Version
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
Pattern Matching in an Open World
Weixin Zhang and Bruno C. d. S. OliveiraORCID logo
(University of Hong Kong, China)
Publisher's Version
Verification of High-Level Transformations with Inductive Refinement Types
Ahmad Salim Al-Sibahi, Thomas P. Jensen, Aleksandar S. Dimovski, and Andrzej WąsowskiORCID logo
(University of Copenhagen, Denmark; Skanned, Denmark; IT University of Copenhagen, Denmark; Inria, France; Mother Teresa University, Macedonia)
Publisher's Version
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
Funcons for HGMP: The Fundamental Constructs of Homogeneous Generative Meta-programming (Short Paper)
L. Thomas van BinsbergenORCID logo
(Royal Holloway University of London, UK)
Publisher's Version
RT-Trust: Automated Refactoring for Trusted Execution under Real-Time Constraints
Yin Liu, Kijin An, and Eli Tilevich
(Virginia Tech, USA)
Publisher's Version
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
Regenerate: A Language Generator for Extended Regular Expressions
Gabriel Radanne and Peter ThiemannORCID logo
(University of Freiburg, Germany)
Publisher's Version Info

proc time: 3.24