SPLASH 2018 (series) / GPCE 2018 (series) /
GPCE 2018 Program
This is the GPCE 2018 program - see the full program for SPLASH 2018 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 5 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Mon 5 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change
08:30 - 10:00 | |||
08:30 15mTalk | Opening GPCE 2018 Eric Van Wyk University of Minnesota, USA, Tiark Rompf Purdue University, David J. Pearce Victoria University of Wellington, Tanja Mayerhofer TU Wien, Friedrich Steimann Fernuniversität | ||
08:45 75mTalk | How to Make Sparse FastKeynote GPCE 2018 | ||
10:30 - 12:00 | |||
10:30 30mTalk | A Domain-Specific Language for Exploratory Data Visualization GPCE 2018 | ||
11:00 30mTalk | A Practical Unification of Multi-Stage Programming and Macros GPCE 2018 Nicolas Stucki EPFL, Switzerland, Aggelos Biboudis EPFL, Switzerland, Martin Odersky EPFL, Switzerland | ||
11:30 30mTalk | Rash: From Reckless Interactions to Reliable Programs GPCE 2018 | ||
13:30 - 15:00 | |||
13:30 30mTalk | Exploring feature interactions without specifications: a controlled experiment GPCE 2018 Larissa Soares Universidade Federal da Bahia, Jens Meinicke Magdeburg University, Sarah Nadi University of Alberta, Christian Kästner Carnegie Mellon University, Eduardo Santana de Almeida Universidade Federal da Bahia | ||
14:00 30mTalk | Inferring Ownership Domains From Refinements GPCE 2018 | ||
14:30 30mTalk | Implementing a semi-causal domain-specific language for context detection over binary sensors GPCE 2018 | ||
15:30 - 17:00 | |||
15:30 30mTalk | Meta-programming for cross-domain tensor optimizations GPCE 2018 Adilla Susungi MINES ParisTech, France, Norman A. Rink TU Dresden, Germany, Albert Cohen Google, Jeronimo Castrillon TU Dresden, Germany, Claude Tadonki MINES ParisTech, France | ||
16:00 30mTalk | Model-based Security Analysis of Feature-oriented Software Product Lines GPCE 2018 Sven Peldszus University of Koblenz-Landau, Daniel Strüber University of Koblenz-Landau, Germany, Jan Jürjens University of Koblenz-Landau DOI Pre-print | ||
16:30 30mTalk | Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs GPCE 2018 Laurent Christophe VUB, Coen De Roover Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel | ||
Tue 6 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Tue 6 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change
10:30 - 12:00 | |||
10:30 30mTalk | Measuring Effectiveness of Sample-based Product-Line Testing GPCE 2018 Sebastian Ruland , Lars Luthmann TU Darmstadt, Real-time Systems Lab, Johannes Bürdek TU Darmstadt, Real-time Systems Lab, Sascha Lity Technische Universität Braunschweig, Thomas Thüm University of Ulm, Malte Lochau , Márcio Ribeiro Federal University of Alagoas, Brazil | ||
11:00 30mTalk | Pattern Matching in an Open World GPCE 2018 | ||
11:30 30mTalk | Verification of High-Level Transformations with Inductive Refinement Types GPCE 2018 Ahmad Salim Al-Sibahi Department of Computer Science, University of Copenhagen (DIKU) & BilagScan, Thomas P. Jensen INRIA Rennes, Aleksandar S. Dimovski IT University of Copenhagen, Denmark, Andrzej Wąsowski IT University of Copenhagen, Denmark | ||
13:30 - 15:00 | |||
13:30 60mTalk | TensorFlow AutoGraph: Imperative-Style Coding with Graph-based PerformanceInvited Talk GPCE 2018 | ||
14:30 15mTalk | Funcons for HGMP - The Fundamental Constructs of Homogeneous Generative Meta-Programming (Short paper) GPCE 2018 L. Thomas van Binsbergen Royal Holloway University of London | ||
14:45 15mTalk | Explaining Spreadsheets with Spreadsheets (Short Paper) GPCE 2018 Jácome Cunha University of Minho, Mihai Dan Oregon State University, Martin Erwig Oregon State University, Danila Fedorin Oregon State University, Alex Grejuc Oregon State University | ||
15:30 - 17:00 | |||
15:30 30mTalk | Anomaly Analyses for Feature-Model Evolution GPCE 2018 Michael Nieke TU Braunschweig, Germany, Jacopo Mauro University of Southern Denmark, Christoph Seidl Technische Universität Braunschweig, Thomas Thüm University of Ulm, Ingrid Chieh Yu University of Oslo, Felix Franzke TU Braunschweig | ||
16:00 30mTalk | Regenerate: A Language Generator for Extended Regular Expressions GPCE 2018 DOI Pre-print | ||
16:30 30mTalk | RT-Trust: Automated Refactoring for Trusted Execution Under Real-Time Constraints GPCE 2018 | ||