GPCE 2018 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (90)

A Marwan Abi-AntounAbi-Antoun, Marwan Wayne State University Inferring Ownership Domains From Refinements
Ahmad Salim Al-SibahiAl-Sibahi, Ahmad Salim Department of Computer Science, University of Copenhagen (DIKU) & BilagScanDenmark Verification of High-Level Transformations with Inductive Refinement Types
Vander AlvesAlves, Vander University of BrasíliaBrazil Committee Member in Program Committee within the GPCE -track
Saman AmarasingheAmarasinghe, Saman MITUnited States How to Make Sparse Fast
Kijin AnAn, Kijin Virginia Tech RT-Trust: Automated Refactoring for Trusted Execution Under Real-Time Constraints
Kenichi AsaiAsai, Kenichi Ochanomizu UniversityJapan Committee Member in Program Committee within the GPCE -track
B Martin BergerBerger, Martin University of SussexUnited Kingdom Committee Member in Program Committee within the GPCE -track
Aggelos BiboudisBiboudis, Aggelos EPFL, SwitzerlandSwitzerland Session Chair of II (part of GPCE ) A Practical Unification of Multi-Stage Programming and Macros Committee Member in Program Committee within the GPCE -track
Eugene BurmakoBurmako, Eugene Twitter, Inc.United States Committee Member in Program Committee within the GPCE -track
Johannes BürdekBürdek, Johannes TU Darmstadt, Real-time Systems Lab Measuring Effectiveness of Sample-based Product-Line Testing
C Jeronimo CastrillonCastrillon, Jeronimo TU Dresden, GermanyGermany Meta-programming for cross-domain tensor optimizations
Charisee ChiwChiw, Charisee University of ChicagoUnited States Committee Member in Program Committee within the GPCE -track
Laurent ChristopheChristophe, Laurent VUB Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs
Albert CohenCohen, Albert GoogleFrance Meta-programming for cross-domain tensor optimizations
Charles ConselConsel, Charles University of Bordeaux Implementing a semi-causal domain-specific language for context detection over binary sensors
Jácome CunhaCunha, Jácome University of MinhoPortugal Explaining Spreadsheets with Spreadsheets (Short Paper)
D Mihai DanDan, Mihai Oregon State University Explaining Spreadsheets with Spreadsheets (Short Paper)
Eduardo Santana de Almeidade Almeida, Eduardo Santana Universidade Federal da BahiaBrazil Exploring feature interactions without specifications: a controlled experiment
Wolfgang De MeuterDe Meuter, Wolfgang Vrije Universiteit BrusselBelgium Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs
Coen De RooverDe Roover, Coen Vrije Universiteit BrusselBelgium Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs
Aleksandar S. DimovskiDimovski, Aleksandar S. IT University of Copenhagen, Denmark Verification of High-Level Transformations with Inductive Refinement Types
Dana Drachsler CohenDrachsler Cohen, Dana ETH ZurichSwitzerland Committee Member in Program Committee within the GPCE -track
E Sebastian ErdwegErdweg, Sebastian TU DelftNetherlands Session Chair of IV (part of GPCE ) Committee Member in Program Committee within the GPCE -track
Martin ErwigErwig, Martin Oregon State UniversityUnited States A Domain-Specific Language for Exploratory Data Visualization Explaining Spreadsheets with Spreadsheets (Short Paper)
F Danila FedorinFedorin, Danila Oregon State University Explaining Spreadsheets with Spreadsheets (Short Paper)
Matthew FlattFlatt, Matthew University of UtahUnited States Rash: From Reckless Interactions to Reliable Programs
Felix FranzkeFranzke, Felix TU Braunschweig Anomaly Analyses for Feature-Model Evolution
G Robert GlückGlück, Robert University of CopenhagenDenmark Committee Member in Program Committee within the GPCE -track
Elisa Gonzalez BoixGonzalez Boix, Elisa Vrije Universiteit BrusselBelgium Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs
Alex GrejucGrejuc, Alex Oregon State University Explaining Spreadsheets with Spreadsheets (Short Paper)
Vinod GroverGrover, Vinod NVIDIAUnited States Committee Member in Program Committee within the GPCE -track
H William G HatchHatch, William G University of Utah Rash: From Reckless Interactions to Reliable Programs
J Thomas P. JensenJensen, Thomas P. INRIA Rennes Verification of High-Level Transformations with Inductive Refinement Types
Jan JürjensJürjens, Jan University of Koblenz-Landau Model-based Security Analysis of Feature-oriented Software Product Lines
K Christian KaestnerKaestner, Christian Carnegie Mellon UniversityUnited States Exploring feature interactions without specifications: a controlled experiment
Shoaib KamilKamil, Shoaib AdobeUnited States Session Chair of I (part of GPCE ) Committee Member in Program Committee within the GPCE -track
Ebrahim KhalajKhalaj, Ebrahim Wayne State University Inferring Ownership Domains From Refinements
Oleg KiselyovKiselyov, Oleg Committee Member in Program Committee within the GPCE -track
Andrei KlimovKlimov, Andrei Keldysh Institute of Applied Mathematics of Russian Academy of SciencesRussia Committee Member in Program Committee within the GPCE -track
L Sascha LityLity, Sascha Technische Universität Braunschweig Measuring Effectiveness of Sample-based Product-Line Testing
Yin LiuLiu, Yin Virginia Tech RT-Trust: Automated Refactoring for Trusted Execution Under Real-Time Constraints
Malte LochauLochau, Malte Measuring Effectiveness of Sample-based Product-Line Testing
Lars LuthmannLuthmann, Lars TU Darmstadt, Real-time Systems Lab Measuring Effectiveness of Sample-based Product-Line Testing
M Stefan MarrMarr, Stefan University of KentUnited Kingdom Session Chair of VI (part of GPCE ) Committee Member in Program Committee within the GPCE -track
Jacopo MauroMauro, Jacopo University of Southern Denmark Anomaly Analyses for Feature-Model Evolution
Tanja MayerhoferMayerhofer, Tanja TU WienAustria Opening Awards
Jens MeinickeMeinicke, Jens Magdeburg University Exploring feature interactions without specifications: a controlled experiment
N Sarah NadiNadi, Sarah University of AlbertaCanada Session Chair of III (part of GPCE ) Exploring feature interactions without specifications: a controlled experiment Committee Member in Program Committee within the GPCE -track
Michael NiekeNieke, Michael TU Braunschweig, Germany Anomaly Analyses for Feature-Model Evolution
O Martin OderskyOdersky, Martin EPFL, SwitzerlandSwitzerland A Practical Unification of Multi-Stage Programming and Macros
Bruno C. d. S. OliveiraOliveira, Bruno C. d. S. The University of Hong KongChina Pattern Matching in an Open World
Klaus OstermannOstermann, Klaus University of Tübingen, GermanyGermany Committee Member in Program Committee within the GPCE -track
P David J. PearcePearce, David J. Victoria University of WellingtonNew Zealand Opening Awards
Sven PeldszusPeldszus, Sven University of Koblenz-Landau Model-based Security Analysis of Feature-oriented Software Product Lines
Alex PolozovPolozov, Alex Microsoft ResearchUnited States Committee Member in Program Committee within the GPCE -track
R Gabriel RadanneRadanne, Gabriel University of FreiburgGermany Regenerate: A Language Generator for Extended Regular Expressions
Márcio RibeiroRibeiro, Márcio Federal University of Alagoas, BrazilBrazil Measuring Effectiveness of Sample-based Product-Line Testing
Martin C. RinardRinard, Martin C. Massachusetts Institute of TechnologyUnited States SLE Keynote: A New Approach for Software Correctness and Reliability
Norman A. RinkRink, Norman A. TU Dresden, Germany Meta-programming for cross-domain tensor optimizations
Tiark RompfRompf, Tiark Purdue UniversityUnited States Opening Awards PC Chairs in Organizing Committee within the GPCE -track
Sebastian RulandRuland, Sebastian Measuring Effectiveness of Sample-based Product-Line Testing
S Ina SchaeferSchaefer, Ina Technische Universität BraunschweigGermany Committee Member in Program Committee within the GPCE -track
Ulrik Pagh SchultzSchultz, Ulrik Pagh University of Southern DenmarkDenmark Committee Member in Program Committee within the GPCE -track
Christoph SeidlSeidl, Christoph Technische Universität Braunschweig Anomaly Analyses for Feature-Model Evolution
Bernard SerpetteSerpette, Bernard Inria Implementing a semi-causal domain-specific language for context detection over binary sensors
Chung-chieh ShanShan, Chung-chieh Indiana University, USA Committee Member in Program Committee within the GPCE -track
Jeremy G. SiekSiek, Jeremy G. Indiana UniversityUnited States Committee Member in Program Committee within the GPCE -track
Alexander SlesarenkoSlesarenko, Alexander Huawei Committee Member in Program Committee within the GPCE -track
Anthony SloaneSloane, Anthony Macquarie UniversityAustralia Committee Member in Program Committee within the GPCE -track
Karl SmeltzerSmeltzer, Karl Oregon State University A Domain-Specific Language for Exploratory Data Visualization
Larissa SoaresSoares, Larissa Universidade Federal da Bahia Exploring feature interactions without specifications: a controlled experiment
Friedrich SteimannSteimann, Friedrich FernuniversitätGermany Opening Awards
Daniel StrüberStrüber, Daniel University of Koblenz-Landau, GermanyGermany Model-based Security Analysis of Feature-oriented Software Product Lines
Nicolas StuckiStucki, Nicolas EPFL, SwitzerlandSwitzerland A Practical Unification of Multi-Stage Programming and Macros
Adilla SusungiSusungi, Adilla MINES ParisTech, France Meta-programming for cross-domain tensor optimizations
T Claude TadonkiTadonki, Claude MINES ParisTech, France Meta-programming for cross-domain tensor optimizations
Walid TahaTaha, Walid Committee Member in Program Committee within the GPCE -track
Peter ThiemannThiemann, Peter University of FreiburgGermany Regenerate: A Language Generator for Extended Regular Expressions
Thomas ThümThüm, Thomas TU Braunschweig, GermanyGermany Measuring Effectiveness of Sample-based Product-Line Testing Anomaly Analyses for Feature-Model Evolution
Eli TilevichTilevich, Eli Virginia TechUnited States RT-Trust: Automated Refactoring for Trusted Execution Under Real-Time Constraints
Kanae TsushimaTsushima, Kanae National Institute of InformaticsJapan Committee Member in Program Committee within the GPCE -track
V L. Thomas van Binsbergenvan Binsbergen, L. Thomas Royal Holloway University of LondonNetherlands Funcons for HGMP - The Fundamental Constructs of Homogeneous Generative Meta-Programming (Short paper)
Tijs van der Stormvan der Storm, Tijs CWI & University of GroningenNetherlands Session Chair of V (part of GPCE ) Committee Member in Program Committee within the GPCE -track
Eric Van WykVan Wyk, Eric University of Minnesota, USAUnited States Opening Awards General Chair in Organizing Committee within the GPCE -track
Nic VolanschiVolanschi, Nic Inria Bordeaux Implementing a semi-causal domain-specific language for context detection over binary sensors
W Alexander B. WiltschkoWiltschko, Alexander B. Google BrainUnited States TensorFlow AutoGraph: Imperative-Style Coding with Graph-based Performance
Andrzej WąsowskiWąsowski, Andrzej IT University of Copenhagen, DenmarkDenmark Verification of High-Level Transformations with Inductive Refinement Types
Y Jeremy YallopYallop, Jeremy University of Cambridge, UK Committee Member in Program Committee within the GPCE -track
Ingrid Chieh YuYu, Ingrid Chieh University of Oslo Anomaly Analyses for Feature-Model Evolution
Z Weixin ZhangZhang, Weixin The University of Hong Kong Pattern Matching in an Open World