| |
Abi-Antoun, Marwan
|
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
Article: gpce18main-p13-p doi:10.1145/3278122.3278128
|
| |
Al-Sibahi, Ahmad Salim |
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
Article: gpce18main-p5-p doi:10.1145/3278122.3278125
|
| |
An, Kijin |
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
Article: gpce18main-p44-p doi:10.1145/3278122.3278137
|
| |
Biboudis, Aggelos
|
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
Article: gpce18main-p53-p doi:10.1145/3278122.3278139
|
| |
Boix, Elisa Gonzalez |
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
Article: gpce18main-p40-p doi:10.1145/3278122.3278135
|
| |
Bürdek, Johannes |
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
Article: gpce18main-p17-p doi:10.1145/3278122.3278130
|
| |
Castrillon, Jeronimo
|
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
Article: gpce18main-p20-p doi:10.1145/3278122.3278131
|
| |
Christophe, Laurent |
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
Article: gpce18main-p40-p doi:10.1145/3278122.3278135
|
| |
Cohen, Albert |
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
Article: gpce18main-p20-p doi:10.1145/3278122.3278131
|
| |
Consel, Charles |
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
Article: gpce18main-p38-p doi:10.1145/3278122.3278134
|
| |
Cunha, Jácome |
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
Article: gpce18main-p42-p doi:10.1145/3278122.3278136
|
| |
Dan, Mihai
|
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
Article: gpce18main-p42-p doi:10.1145/3278122.3278136
|
| |
De Almeida, Eduardo Santana |
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
Article: gpce18main-p11-p doi:10.1145/3278122.3278127
|
| |
De Meuter, Wolfgang |
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
Article: gpce18main-p40-p doi:10.1145/3278122.3278135
|
| |
De Roover, Coen |
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
Article: gpce18main-p40-p doi:10.1145/3278122.3278135
|
| |
Dimovski, Aleksandar S. |
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
Article: gpce18main-p5-p doi:10.1145/3278122.3278125
|
| |
Erwig, Martin
|
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
Article: gpce18main-p42-p doi:10.1145/3278122.3278136
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
Article: gpce18main-p46-p doi:10.1145/3278122.3278138
|
| |
Fedorin, Danila
|
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
Article: gpce18main-p42-p doi:10.1145/3278122.3278136
|
| |
Flatt, Matthew |
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
Article: gpce18main-p15-p doi:10.1145/3278122.3278129
|
| |
Franzke, Felix |
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
Article: gpce18main-p3-p doi:10.1145/3278122.3278123
|
| |
Grejuc, Alex
|
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
Article: gpce18main-p42-p doi:10.1145/3278122.3278136
|
| |
Hatch, William Gallard
|
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
Article: gpce18main-p15-p doi:10.1145/3278122.3278129
|
| |
Jensen, Thomas P.
|
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
Article: gpce18main-p5-p doi:10.1145/3278122.3278125
|
| |
Jürjens, Jan |
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
Article: gpce18main-p6-p doi:10.1145/3278122.3278126
|
| |
Kästner, Christian
|
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
Article: gpce18main-p11-p doi:10.1145/3278122.3278127
|
| |
Khalaj, Ebrahim |
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
Article: gpce18main-p13-p doi:10.1145/3278122.3278128
|
| |
Lity, Sascha
|
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
Article: gpce18main-p17-p doi:10.1145/3278122.3278130
|
| |
Liu, Yin |
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
Article: gpce18main-p44-p doi:10.1145/3278122.3278137
|
| |
Lochau, Malte |
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
Article: gpce18main-p17-p doi:10.1145/3278122.3278130
|
| |
Luthmann, Lars |
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
Article: gpce18main-p17-p doi:10.1145/3278122.3278130
|
| |
Mauro, Jacopo
|
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
Article: gpce18main-p3-p doi:10.1145/3278122.3278123
|
| |
Meinicke, Jens |
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
Article: gpce18main-p11-p doi:10.1145/3278122.3278127
|
| |
Nadi, Sarah
|
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
Article: gpce18main-p11-p doi:10.1145/3278122.3278127
|
| |
Nieke, Michael |
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
Article: gpce18main-p3-p doi:10.1145/3278122.3278123
|
| |
Odersky, Martin
|
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
Article: gpce18main-p53-p doi:10.1145/3278122.3278139
|
| |
Oliveira, Bruno C. d. S. |
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
Article: gpce18main-p4-p doi:10.1145/3278122.3278124
|
| |
Peldszus, Sven
|
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
Article: gpce18main-p6-p doi:10.1145/3278122.3278126
|
| |
Radanne, Gabriel
|
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
Article: gpce18main-p31-p doi:10.1145/3278122.3278133
|
| |
Ribeiro, Márcio |
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
Article: gpce18main-p17-p doi:10.1145/3278122.3278130
|
| |
Rink, Norman A. |
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
Article: gpce18main-p20-p doi:10.1145/3278122.3278131
|
| |
Ruland, Sebastian |
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
Article: gpce18main-p17-p doi:10.1145/3278122.3278130
|
| |
Seidl, Christoph
|
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
Article: gpce18main-p3-p doi:10.1145/3278122.3278123
|
| |
Serpette, Bernard |
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
Article: gpce18main-p38-p doi:10.1145/3278122.3278134
|
| |
Smeltzer, Karl |
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
Article: gpce18main-p46-p doi:10.1145/3278122.3278138
|
| |
Soares, Larissa Rocha |
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
Article: gpce18main-p11-p doi:10.1145/3278122.3278127
|
| |
Strüber, Daniel |
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
Article: gpce18main-p6-p doi:10.1145/3278122.3278126
|
| |
Stucki, Nicolas |
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
Article: gpce18main-p53-p doi:10.1145/3278122.3278139
|
| |
Susungi, Adilla |
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
Article: gpce18main-p20-p doi:10.1145/3278122.3278131
|
| |
Tadonki, Claude
|
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
Article: gpce18main-p20-p doi:10.1145/3278122.3278131
|
| |
Thiemann, Peter |
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
Article: gpce18main-p31-p doi:10.1145/3278122.3278133
|
| |
Thüm, Thomas |
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
Article: gpce18main-p17-p doi:10.1145/3278122.3278130
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
Article: gpce18main-p3-p doi:10.1145/3278122.3278123
|
| |
Tilevich, Eli |
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
Article: gpce18main-p44-p doi:10.1145/3278122.3278137
|
| |
Van Binsbergen, L. Thomas
|
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
Article: gpce18main-p26-p doi:10.1145/3278122.3278132
|
| |
Volanschi, Nic |
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
Article: gpce18main-p38-p doi:10.1145/3278122.3278134
|
| |
Wąsowski, Andrzej
|
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
Article: gpce18main-p5-p doi:10.1145/3278122.3278125
|
| |
Yu, Ingrid Chieh
|
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
Article: gpce18main-p3-p doi:10.1145/3278122.3278123
|
| |
Zhang, Weixin
|
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
Article: gpce18main-p4-p doi:10.1145/3278122.3278124
|