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
, Aggelos Biboudis, and
Martin Odersky
(EPFL, Switzerland)
Publisher's Version
Rash: From Reckless Interactions to Reliable Programs
William Gallard Hatch
and
Matthew Flatt
(University of Utah, USA)
Publisher's Version
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
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
, 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
, 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
(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. Oliveira
(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ąsowski
(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 Binsbergen
(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 Thiemann
(University of Freiburg, Germany)
Publisher's Version
Info
proc time: 4.69