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

Title Page


Article: gpce18foreword-fm000-p doi:

Message from the Chairs


Article: gpce18foreword-fm001-p doi:

GPCE 2018 Organization


Article: gpce18foreword-fm002-p doi:

Sponsors


Article: gpce18foreword-fm003-p doi:

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


@InProceedings{GPCE18p1, author = {Karl Smeltzer and Martin Erwig}, title = {A Domain-Specific Language for Exploratory Data Visualization}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3278122.3278138}, year = {2018}, } Publisher's Version Article: gpce18main-p46-p doi:10.1145/3278122.3278138

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


@InProceedings{GPCE18p17, author = {Nicolas Stucki and Aggelos Biboudis and Martin Odersky}, title = {A Practical Unification of Multi-stage Programming and Macros}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {17-16}, doi = {10.1145/3278122.3278139}, year = {2018}, } Publisher's Version Article: gpce18main-p53-p doi:10.1145/3278122.3278139

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


@InProceedings{GPCE18p33, author = {William Gallard Hatch and Matthew Flatt}, title = {Rash: From Reckless Interactions to Reliable Programs}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {33-32}, doi = {10.1145/3278122.3278129}, year = {2018}, } Publisher's Version Article: gpce18main-p15-p 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)


@InProceedings{GPCE18p49, author = {Larissa Rocha Soares and Jens Meinicke and Sarah Nadi and Christian Kästner and Eduardo Santana de Almeida}, title = {Exploring Feature Interactions without Specifications: A Controlled Experiment}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {49-48}, doi = {10.1145/3278122.3278127}, year = {2018}, } Publisher's Version Article: gpce18main-p11-p doi:10.1145/3278122.3278127

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


@InProceedings{GPCE18p65, author = {Ebrahim Khalaj and Marwan Abi-Antoun}, title = {Inferring Ownership Domains from Refinements}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {65-64}, doi = {10.1145/3278122.3278128}, year = {2018}, } Publisher's Version Article: gpce18main-p13-p 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)


@InProceedings{GPCE18p81, author = {Nic Volanschi and Bernard Serpette and Charles Consel}, title = {Implementing a Semi-causal Domain-Specific Language for Context Detection over Binary Sensors}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {81-80}, doi = {10.1145/3278122.3278134}, year = {2018}, } Publisher's Version Article: gpce18main-p38-p 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)


@InProceedings{GPCE18p97, author = {Adilla Susungi and Norman A. Rink and Albert Cohen and Jeronimo Castrillon and Claude Tadonki}, title = {Meta-programming for Cross-Domain Tensor Optimizations}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {97-96}, doi = {10.1145/3278122.3278131}, year = {2018}, } Publisher's Version Article: gpce18main-p20-p 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)


@InProceedings{GPCE18p113, author = {Sven Peldszus and Daniel Strüber and Jan Jürjens}, title = {Model-Based Security Analysis of Feature-Oriented Software Product Lines}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {113-112}, doi = {10.1145/3278122.3278126}, year = {2018}, } Publisher's Version Article: gpce18main-p6-p 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)


@InProceedings{GPCE18p129, author = {Laurent Christophe and Coen De Roover and Elisa Gonzalez Boix and Wolfgang De Meuter}, title = {Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {129-128}, doi = {10.1145/3278122.3278135}, year = {2018}, } Publisher's Version Article: gpce18main-p40-p 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)


@InProceedings{GPCE18p145, author = {Sebastian Ruland and Lars Luthmann and Johannes Bürdek and Sascha Lity and Thomas Thüm and Malte Lochau and Márcio Ribeiro}, title = {Measuring Effectiveness of Sample-Based Product-Line Testing}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {145-144}, doi = {10.1145/3278122.3278130}, year = {2018}, } Publisher's Version Article: gpce18main-p17-p doi:10.1145/3278122.3278130

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


@InProceedings{GPCE18p161, author = {Weixin Zhang and Bruno C. d. S. Oliveira}, title = {Pattern Matching in an Open World}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {161-160}, doi = {10.1145/3278122.3278124}, year = {2018}, } Publisher's Version Article: gpce18main-p4-p 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)


@InProceedings{GPCE18p177, author = {Ahmad Salim Al-Sibahi and Thomas P. Jensen and Aleksandar S. Dimovski and Andrzej Wąsowski}, title = {Verification of High-Level Transformations with Inductive Refinement Types}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {177-176}, doi = {10.1145/3278122.3278125}, year = {2018}, } Publisher's Version Article: gpce18main-p5-p 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)


@InProceedings{GPCE18p193, author = {Jácome Cunha and Mihai Dan and Martin Erwig and Danila Fedorin and Alex Grejuc}, title = {Explaining Spreadsheets with Spreadsheets (Short Paper)}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {193-192}, doi = {10.1145/3278122.3278136}, year = {2018}, } Publisher's Version Article: gpce18main-p42-p 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)


@InProceedings{GPCE18p201, author = {L. Thomas van Binsbergen}, title = {Funcons for HGMP: The Fundamental Constructs of Homogeneous Generative Meta-programming (Short Paper)}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {201-200}, doi = {10.1145/3278122.3278132}, year = {2018}, } Publisher's Version Article: gpce18main-p26-p 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)


@InProceedings{GPCE18p209, author = {Yin Liu and Kijin An and Eli Tilevich}, title = {RT-Trust: Automated Refactoring for Trusted Execution under Real-Time Constraints}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {209-208}, doi = {10.1145/3278122.3278137}, year = {2018}, } Publisher's Version Article: gpce18main-p44-p 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)


@InProceedings{GPCE18p225, author = {Michael Nieke and Jacopo Mauro and Christoph Seidl and Thomas Thüm and Ingrid Chieh Yu and Felix Franzke}, title = {Anomaly Analyses for Feature-Model Evolution}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {225-224}, doi = {10.1145/3278122.3278123}, year = {2018}, } Publisher's Version Article: gpce18main-p3-p doi:10.1145/3278122.3278123

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


@InProceedings{GPCE18p241, author = {Gabriel Radanne and Peter Thiemann}, title = {Regenerate: A Language Generator for Extended Regular Expressions}, booktitle = {Proc.\ GPCE}, publisher = {ACM}, pages = {241-240}, doi = {10.1145/3278122.3278133}, year = {2018}, } Publisher's Version Article: gpce18main-p31-p doi:10.1145/3278122.3278133