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 Article Search
A Practical Unification of Multi-stage Programming and Macros
Nicolas Stucki, Aggelos Biboudis, and Martin Odersky
(EPFL, Switzerland)
Publisher's Version Article Search
Rash: From Reckless Interactions to Reliable Programs
William Gallard Hatch and Matthew Flatt
(University of Utah, USA)
Publisher's Version Article Search
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 Search
Inferring Ownership Domains from Refinements
Ebrahim Khalaj and Marwan Abi-Antoun
(Wayne State University, USA)
Publisher's Version Article Search
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 Search
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 Search
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 Search
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 Search
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 Search
Pattern Matching in an Open World
Weixin Zhang and Bruno C. d. S. Oliveira
(University of Hong Kong, China)
Publisher's Version Article Search
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 Search
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 Search
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 Search
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 Search
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 Search
Regenerate: A Language Generator for Extended Regular Expressions
Gabriel Radanne and Peter Thiemann
(University of Freiburg, Germany)
Publisher's Version Article Search Info

proc time: 3.42