GPCE '18: "Inferring Ownership Domains ..."
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
GPCE '18: "Verification of High-Level ..."
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
GPCE '18: "RT-Trust: Automated Refactoring ..."
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
GPCE '18: "A Practical Unification of ..."
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
GPCE '18: "Orchestrating Dynamic Analyses ..."
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
GPCE '18: "Measuring Effectiveness of ..."
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
GPCE '18: "Meta-programming for Cross-Domain ..."
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
GPCE '18: "Orchestrating Dynamic Analyses ..."
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
GPCE '18: "Meta-programming for Cross-Domain ..."
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
GPCE '18: "Implementing a Semi-causal ..."
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
GPCE '18: "Explaining Spreadsheets with ..."
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
GPCE '18: "Explaining Spreadsheets with ..."
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
GPCE '18: "Exploring Feature Interactions ..."
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
GPCE '18: "Orchestrating Dynamic Analyses ..."
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
GPCE '18: "Orchestrating Dynamic Analyses ..."
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
GPCE '18: "Verification of High-Level ..."
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
GPCE '18: "Explaining Spreadsheets with ..."
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
GPCE '18: "A Domain-Specific Language ..."
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
GPCE '18: "Explaining Spreadsheets with ..."
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
GPCE '18: "Rash: From Reckless Interactions ..."
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
GPCE '18: "Anomaly Analyses for Feature-Model ..."
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
GPCE '18: "Explaining Spreadsheets with ..."
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
GPCE '18: "Rash: From Reckless Interactions ..."
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
GPCE '18: "Verification of High-Level ..."
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
GPCE '18: "Model-Based Security Analysis ..."
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
GPCE '18: "Exploring Feature Interactions ..."
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
GPCE '18: "Inferring Ownership Domains ..."
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
GPCE '18: "Measuring Effectiveness of ..."
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
GPCE '18: "RT-Trust: Automated Refactoring ..."
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
GPCE '18: "Measuring Effectiveness of ..."
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
GPCE '18: "Measuring Effectiveness of ..."
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
GPCE '18: "Anomaly Analyses for Feature-Model ..."
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
GPCE '18: "Exploring Feature Interactions ..."
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
GPCE '18: "Exploring Feature Interactions ..."
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
GPCE '18: "Anomaly Analyses for Feature-Model ..."
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
GPCE '18: "A Practical Unification of ..."
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
GPCE '18: "Pattern Matching in an Open ..."
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
GPCE '18: "Model-Based Security Analysis ..."
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
GPCE '18: "Regenerate: A Language Generator ..."
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
GPCE '18: "Measuring Effectiveness of ..."
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
GPCE '18: "Meta-programming for Cross-Domain ..."
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
GPCE '18: "Measuring Effectiveness of ..."
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
GPCE '18: "Anomaly Analyses for Feature-Model ..."
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
GPCE '18: "Implementing a Semi-causal ..."
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
GPCE '18: "A Domain-Specific Language ..."
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
GPCE '18: "Exploring Feature Interactions ..."
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
GPCE '18: "Model-Based Security Analysis ..."
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
GPCE '18: "A Practical Unification of ..."
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
GPCE '18: "Meta-programming for Cross-Domain ..."
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
GPCE '18: "Meta-programming for Cross-Domain ..."
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
GPCE '18: "Regenerate: A Language Generator ..."
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
GPCE '18: "Measuring Effectiveness of ..."
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
GPCE '18: "Anomaly Analyses for Feature-Model ..."
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
GPCE '18: "RT-Trust: Automated Refactoring ..."
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
GPCE '18: "Funcons for HGMP: The Fundamental ..."
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
GPCE '18: "Implementing a Semi-causal ..."
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
GPCE '18: "Verification of High-Level ..."
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
GPCE '18: "Anomaly Analyses for Feature-Model ..."
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
GPCE '18: "Pattern Matching in an Open ..."
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