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 – Advance Table of Contents

Contents - Abstracts - Authors


Title Page
Message from the Chairs


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)
Article Search
Pattern Matching in an Open World
Weixin Zhang and Bruno Oliveira
(University of Hong Kong, China)
Article Search
Verification of High-Level Transformations with Inductive Refinement Types
Ahmad Salim Al-Sibahi, Thomas P. Jensen, Aleksandar S. Dimovski, and Andrzej Wasowski
(University of Copenhagen, Denmark; Skanned, n.n.; IT University of Copenhagen, Denmark; Inria, France; Mother Teresa University, Macedonia)
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)
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)
Article Search
Generating Qualifiers and Hierarchical Object Graphs Based on Developer Refinements
Ebrahim Khalaj and Marwan Abi-Antoun
(Wayne State University, USA)
Article Search
Rash: From Reckless Interactions to Reliable Programs
William G Hatch and Matthew Flatt
(University of Utah, USA)
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)
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)
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)
Article Search
Regenerate: Generation of Test Cases for Regular Expression Engines
Gabriel Radanne and Peter Thiemann
(University of Freiburg, Germany)
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)
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)
Article Search
Explaining Spreadsheets with Spreadsheets (Short Paper)
Jacome Cunha, Mihai Dan, Martin Erwig, Danila Fedorin, and Alex Grejuc
(University of Minho, Portugal; Oregon State University, USA)
Article Search
RT-Trust: Automated Refactoring for Trusted Execution under Real-Time Constraints
Yin Liu, Kijin An, and Eli Tilevich
(Virginia Tech, USA)
Article Search
A Domain-Specific Language for Exploratory Data Visualization
Karl Smeltzer and Martin Erwig
(Oregon State University, USA)
Article Search
A Practical Unification of Multi-stage Programming and Macros
Nicolas Stucki, Aggelos Biboudis, and Martin Odersky
(EPFL, Switzerland)
Article Search

proc time: 2.39