SPLASH 2019 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Affiliation

Name

Results (929)

Rodin Aarssen CWI, Netherlands Netherlands Publicity Chair in Organizing Committee within the GPCE-track
Parosh Aziz Abdulla Uppsala University, Sweden Sweden Author of Optimal Stateless Model Checking for Reads-from Equivalence under Sequential Consistency within the OOPSLA Artifacts-track in SPLASH 2019 Author of Optimal Stateless Model Checking for Reads-From Equivalence under Sequential Consistency within the OOPSLA-track in SPLASH 2019
Tatsuya Abe Chiba Institute of Technology, Japan Author of A Type System for Data Independence of Loop Iterations in a Directive-Based PGAS Language within the MPLR 2019-track in MPLR 2019
Chike Abuah University of Vermont Author of Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential Privacy within the OOPSLA-track in SPLASH 2019 Author of Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy within the OOPSLA Artifacts-track in SPLASH 2019
Rohan Achar UC Irvine Author of 50K-C: A Dataset of Compilable, and Compiled, Java Projects within the NJR 2019-track in NJR 2019 Author of GoTcha: An Interactive Debugger for GoT-Based Distributed Systems within the Onward! Papers-track in SPLASH 2019
Sara Achour MIT United States Committee Member in Review Committee within the SPLASH OOPSLA-track
Michael D. Adams University of Michigan United States Author in Reviewers within the SPLASH SRC-track
Ulf Adams Google Germany Author of Ryū Revisited: Printf Floating Point Conversion within the OOPSLA Artifacts-track in SPLASH 2019 Author of Ryū Revisited: Printf Floating Point Conversion within the OOPSLA-track in SPLASH 2019
Sarita Adve University of Illinois at Urbana-Champaign Author of ApproxHPVM: A Portable Compiler IR for Accuracy-Aware Optimizations within the OOPSLA-track in SPLASH 2019
Vikram Adve University of Illinois at Urbana-Champaign United States Author of ApproxHPVM: A Portable Compiler IR for Accuracy-Aware Optimizations within the OOPSLA-track in SPLASH 2019
Yuka Akinobu Japan Women’s University Author of Puppy: An Educational Simplification of Python with a Live Playground within the LIVE 2019-track in LIVE 2019 Author of Puppy: An Educational Simplification of Python with a Live Playground within the Posters-track in SPLASH 2019
Shoaib Akram Ghent University Belgium Committee Member in Program Committee within the VMIL-track
Musa Al-hassy McMaster University Author of A Language Feature to Unbundle Data at Will (Short Paper) within the GPCE 2019-track in GPCE 2019
Omar Alam Trent University Canada Author of Domain-specific model differencing in visual concrete syntax within the SLE 2019-track in SLE 2019
Arash Alavi University of California, Riverside United States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Jonathan Aldrich Carnegie Mellon University United States Steering Committee Chair in Steering Committee for SPLASH 2019 Session Chair of Corpus Studies (part of SPLASH OOPSLA) Author of Obsidian: Typestate and Assets for Safer Smart Contracts within the Posters-track in SPLASH 2019 Author of Gradual Program Analysis within the Posters-track in SPLASH 2019 Author of Gradual Program Analysis within the SRC-track in SPLASH 2019 Author in Onward! Steering Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the GPCE-track Committee Member in Program Committee within the SPLASH Doctoral Symposium-track Steering Committee Chair in Onward! Steering Committee within the SPLASH Onward! Essays-track
Karim Ali University of Alberta Session Chair of What do we do with PL? (part of SPLASH PLMW) Contributor/Author of Introduction within the PLMW-track in SPLASH 2019 Contributor/Author of Icebreaker and Networking Activity within the PLMW-track in SPLASH 2019 Co-chair in Organizing Committee within the SPLASH PLMW-track
Miltiadis Allamanis Microsoft Research, Cambridge United Kingdom Author of The Adverse Effects of Code Duplication in Machine Learning Models of Code within the Onward! Papers-track in SPLASH 2019 Invited Speaker of Machine Learning for Program Analysis within the Rebase-track in SPLASH 2019
Meghan Allen University of British Columbia Author of Learning to Listen for Design within the Onward! Essays-track in SPLASH 2019
Uri Alon Technion Israel Author of Deep Structural Learning of Code within the NJR 2019-track in NJR 2019
Muna Altherwi Southampton University Author of An Empirical Study of Programming Language Effect on OSS Development Effort within the Posters-track in SPLASH 2019 Author of An Empirical Study of Programming Language Effect on OSS Development Effort within the SRC-track in SPLASH 2019
Juliana Alves Pereira University of Magdeburg Committee Member in Program Committee within the GPCE-track Committee Member in Artifact Evaluation Committee within the SLE-track
Saman Amarasinghe MIT United States Author of Seq: A High-Performance Language for Bioinformatics within the OOPSLA-track in SPLASH 2019 Author of Seq: A High-Performance Language for Bioinformatics within the OOPSLA Artifacts-track in SPLASH 2019
Nada Amin Harvard University United States Committee Member in Review Committee within the SPLASH OOPSLA-track Author in Reviewers within the SPLASH SRC-track Committee Member in Program Committee within the META-track
Davide Ancona DIBRIS, University of Genova, Italy Italy Committee Member in Steering Committee within the DLS-track
Erik Andersen Cornell University Author of Towards Answering "Am I On the Right Track?" Automatically Using Program Synthesis within the SPLASH-E-track in SPLASH 2019
Artur Andrzejak Heidelberg University Germany Author of Agile Construction of Data Science DSLs (Tool Demo) within the GPCE 2019-track in GPCE 2019 Author of Agile Construction of Data Science DSLs (Tool Demo) within the Posters-track in SPLASH 2019
Anthony Anjorin Paderborn University Author of Consistency Management via a Combination of Triple Graph Grammars and Linear Programming within the SLE 2019-track in SLE 2019
Craig Anslow Victoria University of Wellington New Zealand PC Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the STOKED-track
Anastasios Antoniadis University of Athens, Greece Greece Student Volunteer Chair in Organizing Committee for SPLASH 2019 Co-chair in Organizers within the SPLASH Student Volunteers-track
Timos Antonopoulos Yale University United States Author of Specification and Inference of Trace Refinement Relations within the OOPSLA Artifacts-track in SPLASH 2019 Author of Specification and Inference of Trace Refinement Relations within the OOPSLA-track in SPLASH 2019
Tomoyuki Aotani Tokyo Institute of Technology Japan Author of An Approach for Persistent Time-Varying Values within the Onward! Papers-track in SPLASH 2019 Committee Member in Program Committee within the REBLS-track
Vincent Aranega Université Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL Author of Sindarin: a Versatile Scripting API for the Pharo Debugger within the DLS 2019-track in DLS 2019
Maryam Archie MIT Author of Declarative Assembly of Web Applications from Predefined Concepts within the Onward! Papers-track in SPLASH 2019
Mohammadreza Ashouri University of Potsdam, Germany Germany Author of Etherolic: A Concolic Execution System for Security Analysis of Smart Contracts within the Posters-track in SPLASH 2019
Vytautas Astrauskas ETH Zurich, Switzerland Author of Leveraging Rust Types for Modular Specification and Verification within the OOPSLA-track in SPLASH 2019 Author of Leveraging Rust Types for Modular Specification and Verification within the OOPSLA Artifacts-track in SPLASH 2019
Mohamed Faouzi Atig Uppsala University, Sweden Sweden Author of Optimal Stateless Model Checking for Reads-from Equivalence under Sequential Consistency within the OOPSLA Artifacts-track in SPLASH 2019 Author of Optimal Stateless Model Checking for Reads-From Equivalence under Sequential Consistency within the OOPSLA-track in SPLASH 2019
Ehsan Atoofian Lakehead University Canada Committee Member in Organizing Committee within the AI-SEPS-track
Dominik Aumayr Johannes Kepler University Linz, Austria Austria Author of Asynchronous Snapshots of Actor Systems for Latency-Sensitive Applications within the MPLR 2019-track in MPLR 2019 Author of Debugging Support for Multi-paradigm Concurrent Programs within the SRC-track in SPLASH 2019 Author of Debugging Support for Multi-paradigm Concurrent Programs within the Posters-track in SPLASH 2019 Author of Debugging Support for Multi-paradigm Concurrent Programs within the Doctoral Symposium-track in SPLASH 2019
Casper Bach Poulsen Delft University of Technology Session Chair of Model Checking (part of SPLASH OOPSLA) Session Chair of Session 3: Languages (part of SLE) Author of From Definitional Interpreter To Symbolic Executor within the META 2019-track in META 2019 Committee Member in Program Committee within the SLE-track
David F. Bacon Google United States Invited Speaker of Growing Databases to Exabyte Scale within the Rebase-track in SPLASH 2019
Johannes Bader Facebook United States Author of Gradual Program Analysis within the Posters-track in SPLASH 2019 Author of Gradual Program Analysis within the SRC-track in SPLASH 2019 Author of Getafix: Learning to Fix Bugs Automatically within the OOPSLA-track in SPLASH 2019 Author of Getafix: Learning to Fix Bugs Automatically within the Posters-track in SPLASH 2019
Riyadh Baghdadi MIT United States Author of Seq: A High-Performance Language for Bioinformatics within the OOPSLA-track in SPLASH 2019 Author of Seq: A High-Performance Language for Bioinformatics within the OOPSLA Artifacts-track in SPLASH 2019
Mehdi Bagherzadeh Oakland University United States Committee Member in Program Committee within the AGERE-track
Patrick Bahr IT University of Copenhagen Denmark Committee Member in Program Committee within the REBLS-track
Engineer Bainomugisha Makerere University Uganda Committee Member in Program Committee within the REBLS-track
Eytan Bakshy Facebook, Inc. Author of PlanAlyzer: Assessing Threats to the Validity of Online Experiments within the OOPSLA-track in SPLASH 2019
Hampus Balldin Lund University Author of MetaDL : Declarative Program Analysis for the Masses within the Posters-track in SPLASH 2019
Thomas Ball Microsoft Research United States Author of Static TypeScript: An Implementation of a Static Compiler for the TypeScript Language within the MPLR 2019-track in MPLR 2019 Author of Microsoft MakeCode: Embedded Programming for Education, in Blocks and TypeScript within the SPLASH-E-track in SPLASH 2019
Anindya Banerjee IMDEA Software Institute Author of Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations within the OOPSLA Artifacts-track in SPLASH 2019 Author of Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations within the OOPSLA-track in SPLASH 2019
Elisa Baniassad University of British Columbia Author of Welcome within the SPLASH-E-track in SPLASH 2019 Author of Panel & Group Discussion within the SPLASH-E-track in SPLASH 2019 Author of Learning to Listen for Design within the Onward! Essays-track in SPLASH 2019 Chair in Program Commitee within the SPLASH -E-track
Elisa Baniassad University of British Columbia Canada SPLASH-E Chair in Organizing Committee for SPLASH 2019
Olivier Barais Univ. Rennes, Inria, CNRS, IRISA Author of From DSL specification to interactive computer programming environment within the SLE 2019-track in SLE 2019
Rajkishore Barik Uber Technologies Inc. Author of Optimization of Swift Protocols within the OOPSLA-track in SPLASH 2019 Author of Optimization of Swift Protocols within the OOPSLA Artifacts-track in SPLASH 2019
Ankica Barisic NOVA-LINCS - Universidade Nova de Lisboa Portugal PC Member in Program Committee within the DSM-track
Celeste Barnaby Facebook, Inc. Author of Aroma: Code Recommendation via Structural Code Search within the OOPSLA-track in SPLASH 2019 Author of Aroma: Code Recommendation via Structural Code Search within the Posters-track in SPLASH 2019
Cristina Baroglio Università degli Studi di Torino, Italy Committee Member in Program Committee within the AGERE-track
Dan Barowy Williams College United States Author of Evaluating ProDirect Manipulation in Hour of Code within the SPLASH-E-track in SPLASH 2019 Panelist of Panel: Jobs After the PhD within the PLMW-track in SPLASH 2019 Panelist in Speakers & Panelists within the SPLASH PLMW-track
Edd Barrett King's College London United Kingdom Committee Member in Program Committee within the MPLR-track
Earl Barr University College London PC Member in Program Committee within the SPLASH Onward! Papers-track
Osbert Bastani University of Pennsylvania United States Author of Probabilistic Verification of Fairness Properties via Concentration within the OOPSLA-track in SPLASH 2019 Author of Relational Verification using Reinforcement Learning within the OOPSLA-track in SPLASH 2019
Théophile Bastian ENS France Author of Reliable and Fast DWARF-based Unwinding within the OOPSLA Artifacts-track in SPLASH 2019 Author of Reliable and Fast DWARF-Based Stack Unwinding within the OOPSLA-track in SPLASH 2019
Shrutarshi Basu Cornell University United States Author of Property Conveyances as a Programming Language within the Onward! Papers-track in SPLASH 2019
Guillaume Baudart IBM Research United States Committee Member in Program Committee within the REBLS-track
Benoit Baudry KTH Royal Institute of Technology, Sweden Sweden Author of Scalable Comparison of JavaScript V8 Bytecode Traces (Room 1 -- Joint with MPLR) within the VMIL 2019-track in VMIL 2019
Jim Bauwens Vrije Universiteit Brussel Belgium Author of Memory efficient CRDTs in dynamic environments within the VMIL 2019-track in VMIL 2019 Author of Memory efficient CRDTs in dynamic environments within the Posters-track in SPLASH 2019
Rohan Bavishi UC Berkeley United States Author of AutoPandas: Neural-Backed Generators for Program Synthesis within the OOPSLA-track in SPLASH 2019
Tom Beckmann Hasso Plattner Institute Author of An Exploratory Literature Study on Live-Tooling in the Game Industry within the LIVE 2019-track in LIVE 2019
Jonathan Bell George Mason University United States Session Chair of Why are we here? (part of SPLASH PLMW) Session Chair of Practical Bits (Undergrads) (part of SPLASH PLMW) Contributor/Author of Introduction within the PLMW-track in SPLASH 2019 Contributor/Author of Icebreaker and Networking Activity within the PLMW-track in SPLASH 2019 Co-chair in Organizing Committee within the SPLASH PLMW-track
Zachary Benavides UC Riverside Author of DProf: Distributed Profiler with Strong Guarantees within the OOPSLA-track in SPLASH 2019
John Bender University of California, Los Angeles Author of A Formalization of Java's Concurrent Access Modes within the OOPSLA Artifacts-track in SPLASH 2019 Author of A Formalization of Java’s Concurrent Access Modes within the OOPSLA-track in SPLASH 2019
Alexander Rønning Bendixen Department of Computer Science, Aalborg University, Denmark Author of Locations and Session Types in a Language with Higher-Order Reflection within the AGERE 2019-track in AGERE 2019
Alexandre Bergel University of Chile Chile Committee Member in Program Committee within the DLS-track
Federico Bergenti Università degli Studi di Parma Italy Committee Member in Organizing Committee within the AGERE-track
Adam Berger University of Wisconsin -- Milwaukee Author of Concurrency Control of JavaScript with Arrows within the REBLS-track in REBLS 2019
Emery Berger University of Massachusetts Amherst United States Author of PlanAlyzer: Assessing Threats to the Validity of Online Experiments within the OOPSLA-track in SPLASH 2019 Author of On the Impact of Programming Languages on Code Quality within the OOPSLA-track in SPLASH 2019
Bonnie Berger MIT Author of Seq: A High-Performance Language for Bioinformatics within the OOPSLA-track in SPLASH 2019 Author of Seq: A High-Performance Language for Bioinformatics within the OOPSLA Artifacts-track in SPLASH 2019
Christian Berger Chalmers University of Technology, Sweden PC Member in Program Committee within the DSM-track
Thorsten Berger Chalmers \| University of Gothenburg Sweden Author of Higher-Level Mission Specification for Multiple Robots within the SLE 2019-track in SLE 2019
Gábor Bergmann Budapest University of Technology and Economics / MTA-BME Lendület Research Group on Cyber-Physical Systems, Hungary Hungary Author of Incrementalizing inter-procedural program analyses with recursive aggregation in Datalog within the IC 2019-track in IC 2019
Celina Berg UBC, Computer Science Canada Session Chair of Platforms, Plumbing and System Infrastructure (part of STOKED)
Maicon Bernardino Federal University of Pampa, Brazil Brazil PC Member in Program Committee within the DSM-track
Guillaume Bertholon École Normale Supérieure Author of Towards seamless interfacing between dynamic languages and native code within the VMIL 2019-track in VMIL 2019
Ivan Beschastnikh Computer Science, University of British Columbia Canada Author of Learning to Listen for Design within the Onward! Essays-track in SPLASH 2019
Jeff Bezanson Author of Unreasonable Effectiveness of Multiple Dispatch within the Rebase-track in SPLASH 2019
Aggelos Biboudis EPFL, Switzerland Switzerland Web Chair in Organizing Committee for SPLASH 2019 Publicity Chair in Organizing Committee for SPLASH 2019 Committee Member in External Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the REBLS-track
Robert Biddle Carleton University Canada Author in Onward! Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Gavin Bierman Oracle Labs United Kingdom Committee Member in External Review Committee within the SPLASH OOPSLA-track
Paul Biggar Author of Dark: a holistic programming language within the LIVE 2019-track in LIVE 2019
Gianfranco Bilardi University of Padova, Italy Author of Derivative Grammars: A Symbolic Approach to Parsing with Derivatives within the OOPSLA-track in SPLASH 2019
Walter Binder University of Lugano, Switzerland Author of NAB: Automated Large-scale Multi-language Dynamic Program Analysis in Public Code Repositories within the Posters-track in SPLASH 2019 Author of Renaissance: A Modern Benchmark Suite for Parallel Applications on the JVM within the Posters-track in SPLASH 2019 Committee Member in External Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the VMIL-track Steering Committee Member in Steering Committee within the MPLR-track
Klaus Birken itemis AG Author of Shadow Models [Tool Demo] -- Incremental Transformations for MPS within the SLE 2019-track in SLE 2019
Christian Bischof Scientific Computing, TU Darmstadt Author of Automatic Identification of Standard Template Algorithms in Raw Loops within the AI-SEPS-track in AI-SEPS 2019
Ranadeep Biswas IRIF, University Paris Diderot & CNRS Author of On the Complexity of Checking Transactional Consistency within the OOPSLA-track in SPLASH 2019 Author of On the Complexity of Checking Transactional Consistency within the OOPSLA Artifacts-track in SPLASH 2019
Xuan Bi Standard Chartered China Committee Member in Program Committee within the SLE-track
Steve Blackburn Australian National University Australia Author of Designing a Low-Level Virtual Machine for Implementing Real-Time Managed Languages within the VMIL 2019-track in VMIL 2019 Committee Member in Program Committee within the MPLR-track
Sebastian Blessing Imperial College London United Kingdom Author of Run, Actor, Run - Towards Cross-Actor Language Benchmarking within the AGERE 2019-track in AGERE 2019
Marcel Blöcher TU Darmstadt Author of GRASS: Generic Reactive Application-Specific Scheduling within the REBLS-track in REBLS 2019
Bjarke Bredow Bojesen Department of Computer Science, Aalborg University, Denmark Author of Locations and Session Types in a Language with Higher-Order Reflection within the AGERE 2019-track in AGERE 2019
Carl Friedrich Bolz-Tereick Germany Committee Member in Steering Committee within the DLS-track Committee Member in Program Committee within the DLS-track
Michael Bond Ohio State University Author of Dependence-Aware, Unbounded Sound Predictive Race Detection within the Posters-track in SPLASH 2019 Author of Dependence-Aware, Unbounded Sound Predictive Race Detection within the OOPSLA-track in SPLASH 2019
Daniele Bonetta Oracle Labs United States Author of Towards Efficient, Multi-Language Dynamic Taint Analysis within the MPLR 2019-track in MPLR 2019 Author of Towards Efficient, Multi-Language Dynamic Taint Analysis within the Posters-track in SPLASH 2019 Author of NAB: Automated Large-scale Multi-language Dynamic Program Analysis in Public Code Repositories within the Posters-track in SPLASH 2019 Committee Member in Organizing Committee within the VMIL-track
Erwan Bousse University of Nantes France PC Member in Program Committee within the DSM-track Committee Member in Program Committee within the SLE-track
Edwin Brady University of St. Andrews, UK United Kingdom Committee Member in Program Committee within the META-track
Marco Brambilla Politecnico di Milano Italy PC Member in Program Committee within the DSM-track
Ruth Breu PC Member in Program Committee within the DSM-track
Einar Broch Johnsen University of Oslo Committee Member in Program Committee within the AGERE-track
David Broman KTH Royal Institute of Technology Sweden Author of A Vision of Miking: Interactive Programmatic Modeling, Sound Language Composition, and Self-Learning Compilation within the SLE 2019-track in SLE 2019
Kim Bruce Pomona College United States Committee Member in Steering Committee within the SPLASH -E-track
Hugo Bruneliere IMT Atlantique & LS2N (CNRS) Committee Member in Artifact Evaluation Committee within the SLE-track
Yuriy Brun University of Massachusetts Amherst United States Author of Formal Foundations of Serverless Computing within the OOPSLA-track in SPLASH 2019
Didier Buchs University of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland Author of Implementing a Language with Explicit Assignment Semantics within the VMIL 2019-track in VMIL 2019
Lubomír Bulej Charles University Czech Republic Author of Renaissance: Benchmarking Suite for Parallel Applications on the JVM within the NJR 2019-track in NJR 2019 Author of Renaissance: A Modern Benchmark Suite for Parallel Applications on the JVM within the Posters-track in SPLASH 2019 Committee Member in Program Committee within the MPLR-track
Tomas Bures Charles University Czech Republic Author of Higher-Level Mission Specification for Multiple Robots within the SLE 2019-track in SLE 2019
Loli Burgueño Open University of Catalonia, Spain Committee Member in Program Committee within the SLE-track
William E. Byrd University of Alabama at Birmingham, USA United States Author of Towards Answering "Am I On the Right Track?" Automatically Using Program Synthesis within the SPLASH-E-track in SPLASH 2019 Committee Member in Program Committee within the IC-track
Martin Bättig Department of Computer Science, ETH Zurich Author of Dynamic One-To-One Mapping of Ownership Records for STM using Versioned Weak References within the MPLR 2019-track in MPLR 2019
Clément Béra Google, Aarhus Denmark Author of Lazy Pointer Update for Low Heap Compaction Pause Times within the DLS 2019-track in DLS 2019
Jordi Cabot ICREA - UOC Author of Analysis and Modeling of the Governance in General Programming Languages within the SLE 2019-track in SLE 2019
Javier Cabrera Arteaga KTH Royal Institute of Technology Author of Scalable Comparison of JavaScript V8 Bytecode Traces (Room 1 -- Joint with MPLR) within the VMIL 2019-track in VMIL 2019
Cristian Cadar Imperial College London United Kingdom Author of Compiler Fuzzing: How Much Does It Matter? within the OOPSLA-track in SPLASH 2019 Author of Compiler Fuzzing: How Much Does It Matter? within the OOPSLA Artifacts-track in SPLASH 2019
Luís Caires Universidade Nova de Lisboa and NOVA LINCS Portugal Author of Refinement Kinds: Type-Safe Programming with Practical Type-Level Computation within the OOPSLA-track in SPLASH 2019 Author of Refinement Kinds: Type-safe Programming with Practical Type-level Computation within the OOPSLA Artifacts-track in SPLASH 2019
Cheng Cai University of California, Los Angeles (UCLA) Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Jose Cambronero MIT Author of Active Learning for Software Engineering within the Onward! Papers-track in SPLASH 2019 Author of AL: Autogenerating Supervised Learning Programs within the OOPSLA-track in SPLASH 2019
Kiersten Campbell Williams College Author of Evaluating ProDirect Manipulation in Hour of Code within the SPLASH-E-track in SPLASH 2019
Anthony Canino SUNY Binghamton United States Session Chair of Session #2 (part of VMIL) Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in Program Committee within the VMIL-track
Qinxiang Cao Shanghai Jiao Tong University China Author of Certifying Graph-Manipulating C Programs via Localizations within Data Structures within the OOPSLA-track in SPLASH 2019 Author of Certifying Graph-Manipulating C Programs via Localizations within Data Structures within the OOPSLA Artifacts-track in SPLASH 2019
Qinxiang Cao Shanghai Jiao Tong University China Author of Certifying Graph-Manipulating C Programs via Localizations within Data Structures within the Posters-track in SPLASH 2019
Michael Carbin Massachusetts Institute of Technology United States Rebase Chair in Organizing Committee for SPLASH 2019 Session Chair of Rebase Keynote (Might) (part of SPLASH Rebase) Session Chair of Keynote (part of SPLASH Rebase) Chair of Welcome, Introduction within the Rebase-track in SPLASH 2019 Co-chair in Organizing Committee within the SPLASH Rebase-track
Jacques Carette McMaster University Canada Author of A Language Feature to Unbundle Data at Will (Short Paper) within the GPCE 2019-track in GPCE 2019
Jeffrey C. Carver University of Alabama United States Committee Member in Program Committee within the AI-SEPS-track
Roberto Castañeda Lozano University of Edinburgh Author of “It Looks Like You’re Writing a Parallel Loop” - A Machine Learning Based Parallelization Assistant within the AI-SEPS-track in AI-SEPS 2019
Elias Castegren KTH Royal Institute of Technology Author of Developing a Monadic Type Checker for an Object-Oriented Language (Experience Report) within the SLE 2019-track in SLE 2019 Committee Member in Organizing Committee within the AGERE-track
Jeronimo Castrillon TU Dresden, Germany Germany Author of Efficient Late Binding of Dynamic Function Compositions within the SLE 2019-track in SLE 2019
Alejandro Catala Human Media Interaction - University of Twente Committee Member in Artifact Evaluation Committee within the SLE-track
Ahmet Celik The University of Texas at Austin Author of Design, Implementation, and Application of GPU-based Java Bytecode Interpreters within the OOPSLA Artifacts-track in SPLASH 2019 Author of Design, Implementation, and Application of GPU-Based Java Bytecode Interpreters within the OOPSLA-track in SPLASH 2019
Milind Chabbi Uber Technologies Inc. United States Author of Optimization of Swift Protocols within the OOPSLA-track in SPLASH 2019 Author of Optimization of Swift Protocols within the OOPSLA Artifacts-track in SPLASH 2019
Satish Chandra Facebook United States Author of Getafix: Learning to Fix Bugs Automatically within the OOPSLA-track in SPLASH 2019 Author of Getafix: Learning to Fix Bugs Automatically within the Posters-track in SPLASH 2019 Author of Aroma: Code Recommendation via Structural Code Search within the OOPSLA-track in SPLASH 2019 Author of Aroma: Code Recommendation via Structural Code Search within the Posters-track in SPLASH 2019
Bor-Yuh Evan Chang University of Colorado Boulder \| Amazon Session Chair of Repair & Transformation (part of SPLASH OOPSLA) Author of Static Analysis with Demand-Driven Value Refinement within the OOPSLA-track in SPLASH 2019 Author of Static Analysis with Demand-Driven Value Refinement within the Posters-track in SPLASH 2019 Committee Member in Review Committee within the SPLASH OOPSLA-track
Ken Chan Zilliqa Research Author of Safer Smart Contract Programming with Scilla within the OOPSLA-track in SPLASH 2019 Author of Safer Smart Contract Programming with Scilla within the OOPSLA Artifacts-track in SPLASH 2019
Arthur Charguéraud Inria France Committee Member in Review Committee within the SPLASH OOPSLA-track
Guido Chari Czech Technical University Czech Republic Session Chair of Model and Theory (part of META) Author of R Melts Brains -- An IR for First-Class Environments and Lazy Effectful Arguments within the DLS 2019-track in DLS 2019 Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Organizing Committee in Organizing Committee within the META-track Committee Member in Program Committee within the DLS-track
Abhijith Chatra Microsoft Author of Microsoft MakeCode: Embedded Programming for Education, in Blocks and TypeScript within the SPLASH-E-track in SPLASH 2019
Krishnendu Chatterjee IST Austria Author of Modular Verification for Almost-Sure Termination of Probabilistic Programs within the OOPSLA-track in SPLASH 2019 Author of Value-Centric Dynamic Partial Order Reduction within the OOPSLA-track in SPLASH 2019 Author of Modular Verification for Almost-Sure Termination of Probabilistic Programs within the OOPSLA Artifacts-track in SPLASH 2019
Avik Chaudhuri Facebook, USA Author of Optimizing and Evaluating Transient Gradual Typing within the DLS 2019-track in DLS 2019
Marsha Chechik University of Toronto Canada Committee Member in Program Committee within the GPCE-track Committee Member in Program Committee within the SLE-track
Sheng Chen University of Louisiana at Lafayette United States Author of Generating Precise Error Specifications for C: A Zero Shot Learning Approach within the OOPSLA-track in SPLASH 2019
Yuxuan Chen Purdue University Author of Staged Abstract Interpreters: Fast and Modular Whole-Program Analysis via Meta-programming within the OOPSLA-track in SPLASH 2019 Author of Staged Abstract Interpreters within the OOPSLA Artifacts-track in SPLASH 2019
Jia Chen University of Texas at Austin Author of Relational Verification using Reinforcement Learning within the OOPSLA-track in SPLASH 2019
Alvin Cheung University of California, Berkeley Author of Improving Performance and Quality of Database-Backed Software within the Posters-track in SPLASH 2019
Shigeru Chiba Graduate School of Information Science and Technology, The University of Tokyo Japan Session Chair of Meta (part of GPCE) Session Chair of Compilation and code manipulation (part of MPLR) Author of Foreign language interfaces by code migration within the GPCE 2019-track in GPCE 2019 Author of Generating a Fluent API with Syntax Checking from an LR Grammar within the Posters-track in SPLASH 2019 Author of Generating a Fluent API with Syntax Checking from an LR Grammar within the OOPSLA-track in SPLASH 2019 Author of Generating a fluent API with syntax checking from an LR grammar within the OOPSLA Artifacts-track in SPLASH 2019 Committee Member in Program Committee within the VMIL-track Committee Member in Program Committee within the GPCE-track Committee Member in Program Committee within the MPLR-track
Joana Chicau Netherlands Committee Member in Program Committee within the LIVE-track
Bruce Childers Steering Committee Member in Steering Committee within the MPLR-track
David Chisnall University of Cambridge Committee Member in Program Committee within the DLS-track
Andrei Chis feenk gmbh Switzerland Committee Member in Program Committee within the META-track
Andrei Chiş feenk, Switzerland Publicity Chair in Organizing Committee within the SLE-track
David Thrane Christiansen Galois, USA United States Author in Reviewers within the SPLASH SRC-track Committee Member in Program Committee within the META-track
Yair Chuchem Lamdu Israel Author of Steady Typing within the LIVE 2019-track in LIVE 2019 Committee Member in Program Committee within the LIVE-track
Ravi Chugh University of Chicago PC Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the LIVE-track
Benjamin Chung Northeastern University United States Video Chair in Organizing Committee for SPLASH 2019
Luke Church Committee Member in Organizing Committee within the LIVE-track Committee Member in Artifact Evaluation Committee within the SLE-track
Matteo Cimini University of Massachusetts Lowell United States Committee Member in Program Committee within the SLE-track
Colin Clark OCAD University Canada Committee Member in Program Committee within the SPLASH Onward! Essays-track
Keith Clark Imperial College Committee Member in Program Committee within the AGERE-track
Yvonne Coady University of Victoria Canada Session Chair of Demanding Interfaces! (part of STOKED) Session Chair of Data Data Data! (part of STOKED) PC Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Program Commitee within the SPLASH -E-track Committee Member in Organizing Committee within the STOKED-track Committee Member in Organizing Committee within the STOKED-track
Michael Coblenz Carnegie Mellon University United States Author of Obsidian: Typestate and Assets for Safer Smart Contracts within the Posters-track in SPLASH 2019
Nachshon Cohen Amazon Author of Efficient Lock-Free Durable Sets within the OOPSLA-track in SPLASH 2019
Murray Cole University of Edinburgh Author of “It Looks Like You’re Writing a Parallel Loop” - A Machine Learning Based Parallelization Assistant within the AI-SEPS-track in AI-SEPS 2019
Caroline Collange INRIA Author of Qubit Allocation as a Combination of Subgraph Isomorphism and Token Swapping within the OOPSLA Artifacts-track in SPLASH 2019 Author of Qubit Allocation as a Combination of Subgraph Isomorphism and Token Swapping within the OOPSLA-track in SPLASH 2019
Benoit Combemale University of Toulouse France Author of From DSL specification to interactive computer programming environment within the SLE 2019-track in SLE 2019
Youyou Cong Tokyo Institute of Technology Japan PC Member in Program Committee within the SPLASH Onward! Papers-track
William Cook University of Texas at Austin Committee Member in Program Committee within the DLS-track
Emilio Coppa Sapienza University of Rome, Italy Italy Publicity Chair in Organizing Committee within the MPLR-track
Diego Costa Heidelberg University Author of Agile Construction of Data Science DSLs (Tool Demo) within the GPCE 2019-track in GPCE 2019 Author of Agile Construction of Data Science DSLs (Tool Demo) within the Posters-track in SPLASH 2019
Steven Costiou INRIA Lille Author of Sindarin: a Versatile Scripting API for the Pharo Debugger within the DLS 2019-track in DLS 2019
Karl Cronburg Tufts University United States Author of Floorplan: Spatial Layout in Memory Management Systems within the GPCE 2019-track in GPCE 2019
Ryan Culpepper Czech Technical University Czech Republic Committee Member in Program Committee within the META-track
Charlie Curtsinger Grinnell College Author of Parallelism in Practice: Experiences Teaching Concurrency and Parallelism in an Undergraduate OS Course within the SPLASH-E-track in SPLASH 2019
Javier Luis Cánovas Izquierdo IN3 - UOC Spain Author of Analysis and Modeling of the Governance in General Programming Languages within the SLE 2019-track in SLE 2019 PC Member in Program Committee within the DSM-track
Loris D'Antoni University of Wisconsin Madison Author of Automatic Repair of Regular Expressions within the OOPSLA-track in SPLASH 2019 Author of Automatic Repair of Regular Expressions within the OOPSLA Artifacts-track in SPLASH 2019
Daniele Cono D'Elia Sapienza University of Rome Italy Committee Member in Program Committee within the MPLR-track
Erin Dahlgren Accelerate Publishing United States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Thurston HY Dang MIT Author of Active Learning for Software Engineering within the Onward! Papers-track in SPLASH 2019
David Darais University of Vermont United States Student Research Competition Chair in Organizing Committee for SPLASH 2019 Author of Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential Privacy within the OOPSLA-track in SPLASH 2019 Author of Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy within the OOPSLA Artifacts-track in SPLASH 2019 Author in Reviewers within the SPLASH SRC-track Committee Member in Judges within the SPLASH SRC-track Co-chair in Organizers within the SPLASH SRC-track
Eva Darulova MPI-SWS Germany Committee Member in External Review Committee within the SPLASH OOPSLA-track
Yu David Liu Author of Toward Lazy Evaluation in a Graph Database within the IC 2019-track in IC 2019
Pritha Dawn UC Irvine Author of GoTcha: An Interactive Debugger for GoT-Based Distributed Systems within the Onward! Papers-track in SPLASH 2019
Joeri De Koster Vrije Universiteit Brussel, Belgium Belgium Committee Member in Organizing Committee within the AGERE-track Committee Member in Organizing Committee within the AGERE-track
Wolfgang De Meuter Vrije Universiteit Brussel Session Chair of Onward! Papers 1 (part of SPLASH Onward! Papers) PC Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Organizing Committee within the REBLS-track
Liesbeth De Mol Université de Lille Committee Member in Program Committee within the SPLASH Onward! Essays-track
Kevin De Porre Author of Squirrel: An Extensible Distributed Key-Value Store within the META 2019-track in META 2019 Author of Squirrel: An Extensible Distributed KV Store within the Posters-track in SPLASH 2019
Isabella Defilippis Universidad Privada Boliviana (UPB) Author of NAB: Automated Large-scale Multi-language Dynamic Program Analysis in Public Code Repositories within the Posters-track in SPLASH 2019
Thomas Degueule CWI, Netherlands Netherlands Committee Member in Program Committee within the GPCE-track Committee Member in Program Committee within the SLE-track
Benjamin Delaware Purdue University Author of CLOTHO: Directed Test Generation for Weakly Consistent Database Systems within the OOPSLA-track in SPLASH 2019
Germán Andrés Delbianco IRIF - Université de Paris France Author of Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations within the OOPSLA Artifacts-track in SPLASH 2019 Author of Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations within the OOPSLA-track in SPLASH 2019
Frank Dellaert Georgia Institute of Technology Keynote Speaker of A Graphical Language for Flexible Inference in Robotics and Vision within the Keynotes-track in SPLASH 2019
Dominique Devriese Vrije Universiteit Brussel Belgium Author of Linear capabilities for CHERI within the SRC-track in SPLASH 2019 Author of Linear capabilities for CHERI within the Posters-track in SPLASH 2019
Philip Dexter SUNY Binghamton Author of Toward Lazy Evaluation in a Graph Database within the IC 2019-track in IC 2019
Lukas Diekmann King's College London United Kingdom Author of Default disambiguation for online parsers within the SLE 2019-track in SLE 2019 Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Werner Dietl University of Waterloo, Canada Canada Committee Member in External Review Committee within the SPLASH OOPSLA-track
Jens Dietrich Victoria University of Wellington New Zealand Author of Understanding the Gaps in Static Program Analysis within the NJR 2019-track in NJR 2019
Isil Dillig University of Texas Austin United States Author of Relational Verification using Reinforcement Learning within the OOPSLA-track in SPLASH 2019 Keynote Speaker of Programming Support for Evolving Database Applications within the Keynotes-track in SPLASH 2019 Committee Member in External Review Committee within the SPLASH OOPSLA-track
Christos Dimoulas PLT @ Northwestern University United States Author of Complete Monitors for Gradual Types within the OOPSLA-track in SPLASH 2019 Committee Member in Judges within the SPLASH SRC-track
Juergen Dingel Queen's University, Kingston, Ontario Committee Member in Program Committee within the SLE-track
Yufei Ding UCSB China Committee Member in Review Committee within the SPLASH OOPSLA-track
Verislav Djukic Djukic Software Germany PC Member in Program Committee within the DSM-track
Sébastien Doeraene EPFL, Switzerland Switzerland Committee Member in Program Committee within the DLS-track
Alastair Donaldson Imperial College London United Kingdom Author of Compiler Fuzzing: How Much Does It Matter? within the OOPSLA-track in SPLASH 2019 Author of Compiler Fuzzing: How Much Does It Matter? within the OOPSLA Artifacts-track in SPLASH 2019 Committee Member in Review Committee within the SPLASH OOPSLA-track
Quan Do Williams College Author of Evaluating ProDirect Manipulation in Hour of Code within the SPLASH-E-track in SPLASH 2019
Joscha Drechsler Technische Universität Darmstadt Germany Author of A Fault-Tolerant Programming Model for Distributed Interactive Applications within the Posters-track in SPLASH 2019 Author of A Fault-Tolerant Programming Model for Distributed Interactive Applications within the OOPSLA-track in SPLASH 2019
Derek Dreyer MPI-SWS Germany Speaker of How To Write Papers So People Can Read Them within the PLMW-track in SPLASH 2019 Speaker in Speakers & Panelists within the SPLASH PLMW-track
Sophia Drossopoulou Imperial College London United Kingdom Session Chair of Concurrency (part of SPLASH OOPSLA) Keynote Speaker of Pony: Semantics and Type System Co-Design within the AGERE 2019-track in AGERE 2019 Author of Run, Actor, Run - Towards Cross-Actor Language Benchmarking within the AGERE 2019-track in AGERE 2019 Committee Member in External Review Committee within the SPLASH OOPSLA-track
Gilles Duboscq Oracle Labs Switzerland Author of Renaissance: A Modern Benchmark Suite for Parallel Applications on the JVM within the Posters-track in SPLASH 2019
Stéphane Ducasse INRIA Lille Author of Sindarin: a Versatile Scripting API for the Pharo Debugger within the DLS 2019-track in DLS 2019
Joshua Dunfield Queen's University, Kingston, Ontario Canada Committee Member in Program Committee within the IC-track
Thomas Dupriez Université Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL Author of Sindarin: a Versatile Scripting API for the Pharo Debugger within the DLS 2019-track in DLS 2019
Alexandru Dura Lund University Author of MetaDL : Declarative Program Analysis for the Masses within the Posters-track in SPLASH 2019
Steve Easterbrook University of Toronto Canada Committee Member in Program Committee within the STOKED-track
Javad Ebrahimian Amiri Australian National University / Data61 Australia Author of Designing a Low-Level Virtual Machine for Implementing Real-Time Managed Languages within the VMIL 2019-track in VMIL 2019
Alan Edelman MIT Invited Speaker of Climate Change and Software 2.0 within the Rebase-track in SPLASH 2019
Jonathan Edwards United States Committee Member in Organizing Committee within the LIVE-track
Alexander Egyed JOHANNES KEPLER UNIVERSITY LINZ Author of Detecting and Exploring Side Effects when Repairing Model Inconsistencies within the SLE 2019-track in SLE 2019
Matthias Eichholz TU Darmstadt Author of GRASS: Generic Reactive Application-Specific Scheduling within the REBLS-track in REBLS 2019
Susan Eisenbach Imperial College London United Kingdom Committee Member in External Review Committee within the SPLASH OOPSLA-track
Constantin Enea IRIF, University Paris Diderot & CNRS France Author of On the Complexity of Checking Transactional Consistency within the OOPSLA-track in SPLASH 2019 Author of On the Complexity of Checking Transactional Consistency within the OOPSLA Artifacts-track in SPLASH 2019
Romina Eramo University of L'Aquila Italy Committee Member in Program Committee within the SLE-track
Sebastian Erdweg JGU Mainz Germany Author of Generating Incremental Type Services within the IC 2019-track in IC 2019 Author of Incrementalizing inter-procedural program analyses with recursive aggregation in Datalog within the IC 2019-track in IC 2019 Author of Precise, Efficient, and Expressive Incremental Build Scripts with PIE within the IC 2019-track in IC 2019 Author of Vision Paper: Generating Incremental Type Services within the SLE 2019-track in SLE 2019 Author of Vision Paper: Generating Incremental Type Services within the Posters-track in SPLASH 2019 Author of Sound and Reusable Components for Abstract Interpretation within the OOPSLA-track in SPLASH 2019 Author of Sound and Reusable Components for Abstract Interpretation within the Posters-track in SPLASH 2019 Author of Sound and Reusable Components for Abstract Interpretation within the OOPSLA Artifacts-track in SPLASH 2019 Author of Language-Integrated Privacy-Aware Distributed Queries within the Posters-track in SPLASH 2019 Author of Language-Integrated Privacy-Aware Distributed Queries within the OOPSLA-track in SPLASH 2019 Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the GPCE-track Committee Member in Organizing Committee within the IC-track
Michael D. Ernst University of Washington, USA Author of Modular Verification of Web Page Layout within the OOPSLA-track in SPLASH 2019
Erik Ernst Google Inc. Denmark Committee Member in Program Committee within the MPLR-track
Neil Ernst University of Victoria Canada Committee Member in Program Committee within the STOKED-track
Nafise Eskandani Masoule Technische Universität Darmstadt Author of Distributed Object-oriented Programming with Multiple Consistency Levels in ConSysT within the Posters-track in SPLASH 2019
Gregory Essertel Purdue University Author of Precise Reasoning with Structured Time, Structured Heaps, and Collective Operations within the OOPSLA-track in SPLASH 2019
Samuel Estep Liberty University Author of Gradual Program Analysis within the Posters-track in SPLASH 2019 Author of Gradual Program Analysis within the SRC-track in SPLASH 2019
Paulo Esteves-Veríssimo SnT, University of Luxembourg Author of Asphalion: Trustworthy Shielding against Byzantine Faults within the OOPSLA-track in SPLASH 2019 Author of Asphalion: Trustworthy Shielding against Byzantine Faults within the Posters-track in SPLASH 2019 Author of Asphalion: Trustworthy Shielding Against Byzantine Faults within the OOPSLA Artifacts-track in SPLASH 2019
Anthony Estey University of British Columbia Canada Committee Member in Program Committee within the STOKED-track
Patrick Eugster Universita della Svizzera Italiana, Switzerland Author of GRASS: Generic Reactive Application-Specific Scheduling within the REBLS-track in REBLS 2019 Committee Member in Organizing Committee within the REBLS-track
Jeffrey Eymer SUNY Binghamton Author of Toward Lazy Evaluation in a Graph Database within the IC 2019-track in IC 2019
Khady Fall Université de Montréal Author of Operationalizing the Integration of User Interaction Specifications in the Synthesis of Modeling Editors within the SLE 2019-track in SLE 2019
Marc Feeley Université de Montréal Canada Session Chair of Optimizing Computations (part of DLS) Committee Member in Program Committee within the DLS-track
Kevin Feichtinger Johannes Kepler University Linz Author of Supporting Feature Model Evolution by Suggesting Constraints from Code-Level Dependency Analyses within the GPCE 2019-track in GPCE 2019
Molly Feldman Cornell University United States Author of Towards Answering "Am I On the Right Track?" Automatically Using Program Synthesis within the SPLASH-E-track in SPLASH 2019
Tim Felgentreff Oracle Labs, Potsdam Germany Author of Language-independent Development Environment Support For Dynamic Runtimes within the DLS 2019-track in DLS 2019 Author of GraalSqueak: Toward a Smalltalk-based Tooling Platform for Polyglot Programming within the MPLR 2019-track in MPLR 2019 PC Member in Program Committee within the SPLASH Onward! Papers-track Steering Committee Chair in Steering Committee within the DLS-track Committee Member in Program Committee within the REBLS-track
Matthias Felleisen PLT @ Northeastern University Author of Complete Monitors for Gradual Types within the OOPSLA-track in SPLASH 2019
Yu Feng University of California, Santa Barbara China Author of Relational Verification using Reinforcement Learning within the OOPSLA-track in SPLASH 2019
Kiko Fernandez-Reyes Uppsala University Sweden Student Volunteer Co-Chair in Organizing Committee for SPLASH 2019 Author of Run, Actor, Run - Towards Cross-Actor Language Benchmarking within the AGERE 2019-track in AGERE 2019 Author of Towards Gradual Checking of Reference Capabilities within the VMIL 2019-track in VMIL 2019 Author of Developing a Monadic Type Checker for an Object-Oriented Language (Experience Report) within the SLE 2019-track in SLE 2019 Committee Member in Program Committee within the AGERE-track Co-chair in Organizers within the SPLASH Student Volunteers-track
Vimuth Fernando University of Illinois at Urbana-Champaign Author of Verifying Safety and Accuracy of Approximate Parallel Programs via Canonical Sequentialization within the OOPSLA-track in SPLASH 2019
John Feser MIT CSAIL Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Irene Finocchi Sapienza University of Rome, Italy Italy Program Chair in Program Committee within the MPLR-track Program Chair in Organizing Committee within the MPLR-track
Bernd Fischer Stellenbosch University South Africa Author of Spectrum-Based Fault Localization for Context-Free Grammars within the SLE 2019-track in SLE 2019 Author of Breaking Parsers: Mutation-based Generation of Programs with Guaranteed Syntax Errors within the SLE 2019-track in SLE 2019
Yannic Fischler TU Darmstadt Author of Automatic Identification of Standard Template Algorithms in Raw Loops within the AI-SEPS-track in AI-SEPS 2019
Kathi Fisler Brown University Committee Member in Steering Committee within the SPLASH -E-track
Christian Flach Hasso Plattner Institute, University of Potsdam, Germany Germany Author of An Exploratory Literature Study on Live-Tooling in the Game Industry within the LIVE 2019-track in LIVE 2019
Matthew Flatt University of Utah United States Committee Member in External Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the GPCE-track
Olivier Flückiger Northeastern University United States Author of R Melts Brains -- An IR for First-Class Environments and Lazy Effectful Arguments within the DLS 2019-track in DLS 2019 Author of Adversarial Compilation within the MPLR 2019-track in MPLR 2019
Kenny Foner Galois Speaker of How Can I Academia When My Brain Can't Even? Mental Health in Grad School and Beyond within the PLMW-track in SPLASH 2019 Panelist of Panel: Jobs After the PhD within the PLMW-track in SPLASH 2019 Speaker in Speakers & Panelists within the SPLASH PLMW-track
Niklas Fors Lund University Co-chair in Organising Committee within the SPLASH Posters-track
Jeffrey S. Foster Tufts University United States Author of Program Synthesis with Algebraic Library Specifications within the OOPSLA Artifacts-track in SPLASH 2019 Author of Program Synthesis with Algebraic Library Specifications within the OOPSLA-track in SPLASH 2019
Nate Foster Cornell University United States Author of Property Conveyances as a Programming Language within the Onward! Papers-track in SPLASH 2019
George Fourtounis University of Athens Greece Local Arrangements Chair in Organizing Committee for SPLASH 2019
Simon Fowler The University of Edinburgh United Kingdom Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Roy Fox UC Berkeley Author of AutoPandas: Neural-Backed Generators for Program Synthesis within the OOPSLA-track in SPLASH 2019
Juliana Franco Microsoft Research, Cambridge United Kingdom Student Volunteer Chair in Organizing Committee for SPLASH 2019 Committee Member in Organizing Committee within the AGERE-track Co-chair in Organizers within the SPLASH Student Volunteers-track
Björn Franke University of Edinburgh, UK Author of “It Looks Like You’re Writing a Parallel Loop” - A Machine Learning Based Parallelization Assistant within the AI-SEPS-track in AI-SEPS 2019
Michal Friedman Technion - Israel Author of Efficient Lock-Free Durable Sets within the OOPSLA-track in SPLASH 2019
Akira Fukuda Kyushu University Author of Context-Oriented Live Programming Environments with Mixed Reality System for IoT Education within the LIVE 2019-track in LIVE 2019 Author of Context-Oriented Live Programming Environments with Mixed Reality System for IoT Education within the Posters-track in SPLASH 2019
Juan Fumero University of Manchester, UK United Kingdom Committee Member in Program Committee within the DLS-track Program Co-Chair in Organizing Committee within the DLS-track
Hongfei Fu Shanghai Jiao Tong University Author of Modular Verification for Almost-Sure Termination of Probabilistic Programs within the OOPSLA-track in SPLASH 2019 Author of Modular Verification for Almost-Sure Termination of Probabilistic Programs within the OOPSLA Artifacts-track in SPLASH 2019
Ignacio Fábregas IMDEA Software Institute Author of Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations within the OOPSLA Artifacts-track in SPLASH 2019 Author of Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations within the OOPSLA-track in SPLASH 2019
Richard P. Gabriel Dream Songs, Inc. & HPI Author in Onward! Steering Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the LIVE-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Pranav Gaddamadugu University of California, Berkeley Author of Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential Privacy within the OOPSLA-track in SPLASH 2019 Author of Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy within the OOPSLA Artifacts-track in SPLASH 2019
Swapnil Laxman Gaikwad The University of Manchester United Kingdom Author of Hosting OpenMP Programs on Java Virtual Machines within the MPLR 2019-track in MPLR 2019
Stéphane Galland Université de technologie Belfort-Montbéliard Committee Member in Program Committee within the AGERE-track
Elias Gander Christian Doppler Lab. MEVSS, Johannes Kepler University Linz Author of Detection of Suspicious Time Windows in Memory Monitoring within the MPLR 2019-track in MPLR 2019
Antonio Garcia-Dominguez Aston University Committee Member in Artifact Evaluation Committee within the SLE-track
Ronald Garcia University of British Columbia Committee Member in Review Committee within the SPLASH OOPSLA-track
Sergio Garcia Chalmers \| University of Gothenburg Author of Higher-Level Mission Specification for Multiple Robots within the SLE 2019-track in SLE 2019
Isaac Oscar Gariano Victoria University of Wellington Author of Mμl: The Power of Dynamic Multi-Methods within the META 2019-track in META 2019 Author of Which of my Transient Type Checks are not (Almost) Free? within the VMIL 2019-track in VMIL 2019 Author of Towards Gradual Checking of Reference Capabilities within the VMIL 2019-track in VMIL 2019 Author of CallƐ: An Effect System for Method Calls within the Onward! Papers-track in SPLASH 2019
François Gauthier Oracle Labs Australia Committee Member in Program Committee within the VMIL-track
Kaan Genç Ohio State University United States Author of Dependence-Aware, Unbounded Sound Predictive Race Detection within the Posters-track in SPLASH 2019 Author of Dependence-Aware, Unbounded Sound Predictive Race Detection within the OOPSLA-track in SPLASH 2019
Sebastian Gerard CEA Saclay - NanoInnov France Committee Member in Program Committee within the SLE-track
Paolo G. Giarrusso TU Delft, The Netherlands Italy Committee Member in Program Committee within the SLE-track
Jeremy Gibbons Department of Computer Science, University of Oxford United Kingdom Committee Member in External Review Committee within the SPLASH OOPSLA-track
Elena Glassman UC Berkeley Committee Member in Program Committee within the LIVE-track
Milos Gligoric The University of Texas at Austin United States Author of Design, Implementation, and Application of GPU-based Java Bytecode Interpreters within the OOPSLA Artifacts-track in SPLASH 2019 Author of Design, Implementation, and Application of GPU-Based Java Bytecode Interpreters within the OOPSLA-track in SPLASH 2019
Robert Glück University of Copenhagen Denmark Committee Member in Program Committee within the GPCE-track
Aviral Goel Northeastern University United States Web Chair in Organizing Committee for SPLASH 2019 Session Chair of Emerging Domains (part of SPLASH Rebase) Keynote Speaker of Meta-programming in Data Science within the META 2019-track in META 2019 Author of On the Design, Implementation, and Use of Laziness in R within the OOPSLA-track in SPLASH 2019 Author of On The Design, Implementation and Use of Laziness in R within the OOPSLA Artifacts-track in SPLASH 2019
Hannah Gommerstadt Vassar College Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium Belgium Steering Committee Member in Steering Committee for SPLASH 2019 Session Chair of Machine Learning (part of SPLASH OOPSLA) Author of Squirrel: An Extensible Distributed Key-Value Store within the META 2019-track in META 2019 Author of Lazy Pointer Update for Low Heap Compaction Pause Times within the DLS 2019-track in DLS 2019 Author of Memory efficient CRDTs in dynamic environments within the VMIL 2019-track in VMIL 2019 Author of Asynchronous Snapshots of Actor Systems for Latency-Sensitive Applications within the MPLR 2019-track in MPLR 2019 Author of Memory efficient CRDTs in dynamic environments within the Posters-track in SPLASH 2019 Author of Squirrel: An Extensible Distributed KV Store within the Posters-track in SPLASH 2019 Committee Member in External Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the VMIL-track Author in Onward! Steering Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the GPCE-track Committee Member in Steering Committee within the META-track Committee Member in Program Committee within the DLS-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Colin Gordon Drexel University United States OOPSLA Artifact Evaluation Chair in Organizing Committee for SPLASH 2019 Session Chair of Specification and Certification (part of SPLASH OOPSLA) Author of Modal Assertions for Actor Correctness within the AGERE 2019-track in AGERE 2019 Chair in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Sergei Gorlatch Author of Performance, Portability, and Productivity for Data-Parallel Applications on Multi- and Many-Core Architectures within the Posters-track in SPLASH 2019
Alessandra Gorla IMDEA Software Institute Spain Speaker of Finding Mentors and Building Networks within the PLMW-track in SPLASH 2019 Panelist of Panel: Jobs After the PhD within the PLMW-track in SPLASH 2019 Speaker in Speakers & Panelists within the SPLASH PLMW-track
Jose Gracia HLRS Committee Member in Program Committee within the AI-SEPS-track
Jeff Gray University of Alabama Session Chair of Group work and reporting (part of DSM) Session Chair of Introduction and keynote (part of DSM) Committee Member in Organizing Committee within the DSM-track PC Co-Chair in Organizing Committee within the SLE-track
Neville Grech University of Athens Greece Workshops Chair in Organizing Committee for SPLASH 2019 Session Chair of New Trends in Software Development (part of SPLASH Rebase) Session Chair of Incremental Datalog (part of IC) Author of MadMax and Friends: Program Analysis for Smart Contracts within the NJR 2019-track in NJR 2019 Workshops Co-Chair in Organizers within the SPLASH Workshops-track Committee Member in Program Committee within the IC-track
Ben Greenman PLT @ Northeastern University United States Author of Complete Monitors for Gradual Types within the OOPSLA-track in SPLASH 2019
Clemens Grelck University of Amsterdam Germany Author of Component-Based Computation-Energy Modeling for Embedded Systems within the Posters-track in SPLASH 2019
James Grimmelmann Cornell University Author of Property Conveyances as a Programming Language within the Onward! Papers-track in SPLASH 2019
Thomas Gross ETH Zurich, Switzerland Author of Reflections on the Compatibility, Performance, and Scalability of Parallel Python within the DLS 2019-track in DLS 2019 Author of Dynamic One-To-One Mapping of Ownership Records for STM using Versioned Weak References within the MPLR 2019-track in MPLR 2019
David Grove IBM Research United States Committee Member in Review Committee within the SPLASH OOPSLA-track
Paul Grünbacher Johannes Kepler University Linz, Austria Austria Author of Harmonized Temporal Feature Modeling to Uniformly Perform, Track, Analyze and Replay Software Product Line Evolution within the GPCE 2019-track in GPCE 2019 Author of Supporting Feature Model Evolution by Suggesting Constraints from Code-Level Dependency Analyses within the GPCE 2019-track in GPCE 2019
Esther Guerra Universidad Autonoma de Madrid Author of Domain-specific model differencing in visual concrete syntax within the SLE 2019-track in SLE 2019 Committee Member in Program Committee within the SLE-track
Arjun Guha University of Massachusetts, Amherst United States Workshops Chair in Organizing Committee for SPLASH 2019 Session Chair of Distributed Systems (part of SPLASH OOPSLA) Author of Formal Foundations of Serverless Computing within the OOPSLA-track in SPLASH 2019 Committee Member in Program Committee within the SPLASH Doctoral Symposium-track Workshops Co-Chair in Organizers within the SPLASH Workshops-track
François Guimbretière Cornell University Author of Towards Answering "Am I On the Right Track?" Automatically Using Program Synthesis within the SPLASH-E-track in SPLASH 2019
Sumit Gulwani Microsoft Author of On the Fly Synthesis of Edit Suggestions within the OOPSLA-track in SPLASH 2019 Author of On the Fly Synthesis of Edit Suggestions within the Posters-track in SPLASH 2019 Author of On the Fly Synthesis of Edit Suggestions within the OOPSLA Artifacts-track in SPLASH 2019
Rajiv Gupta UC Riverside United States Author of DProf: Distributed Profiler with Strong Guarantees within the OOPSLA-track in SPLASH 2019
Robbert Gurdeep Singh Universiteit Gent, Belgium Belgium Author of WARDuino: A Dynamic WebAssembly Virtual Machine for Programming Microcontrollers within the MPLR 2019-track in MPLR 2019 Author of WARDuino: A Dynamic WebAssembly Virtual Machine for Programming Microcontrollers within the Posters-track in SPLASH 2019
Sam Guyer Tufts University United States Author of Floorplan: Spatial Layout in Memory Management Systems within the GPCE 2019-track in GPCE 2019 Committee Member in External Review Committee within the SPLASH OOPSLA-track
Abel Gómez Universitat Oberta de Catalunya Spain Artifact Evaluation Co-Chair in Organizing Committee within the SLE-track
Christine H. Flood Red Hat Committee Member in External Review Committee within the SPLASH OOPSLA-track
Jennifer Hackett University of Nottingham, UK United Kingdom Committee Member in Program Committee within the META-track
Milica Hadzi-Tanovic Technische Universitat Munchen Author of Reflection-Aware Static Regression Test Selection within the OOPSLA-track in SPLASH 2019
Jakob Hain Northeastern University United States Author of R Melts Brains -- An IR for First-Class Environments and Lazy Effectful Arguments within the DLS 2019-track in DLS 2019
Philipp Haller KTH Royal Institute of Technology Germany Author of Language-Integrated Privacy-Aware Distributed Queries within the Posters-track in SPLASH 2019 Author of Language-Integrated Privacy-Aware Distributed Queries within the OOPSLA-track in SPLASH 2019 Committee Member in Program Committee within the AGERE-track
Mary Hall University of Utah Committee Member in Program Committee within the AI-SEPS-track
Jad Hamza EPFL, Switzerland Author of System FR: Formalized Foundations for the Stainless Verifier within the Posters-track in SPLASH 2019 Author of System FR: Formalized Foundations for the Stainless Verifier within the OOPSLA-track in SPLASH 2019
Tim Hartley The University of Manchester Author of An Analysis of Call-site Patching Without Strong Hardware Support for Self-Modifying-Code within the MPLR 2019-track in MPLR 2019
Matthias Hauswirth Università della Svizzera italiana Switzerland Author of Casting about in the Dark within the OOPSLA Artifacts-track in SPLASH 2019 Author of Experiences in Bridging from Functional to Object-Oriented Programming within the SPLASH-E-track in SPLASH 2019 Author of Casting about in the Dark: An Empirical Study of Cast Operations in Java Programs within the OOPSLA-track in SPLASH 2019
Akihiro Hayashi Rice University, USA United States Committee Member in Program Committee within the AI-SEPS-track
Jonathan Healy Graduate Student intern with the Earth Data Store Author of Data Provenance and the STAC specification within the STOKED 2019-track in STOKED 2019
Gorel Hedin Lund University Sweden Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the IC-track
Ian Henriksen The University of Texas at Austin Author of Derivative Grammars: A Symbolic Approach to Parsing with Derivatives within the OOPSLA-track in SPLASH 2019
Ludovic Henrio CNRS France Committee Member in Program Committee within the AGERE-track
Martin Henz Singapore Invited Speaker of Scalability of Experiential Programming Courses within the SPLASH-E-track in SPLASH 2019
Matthew Hertz University at Buffalo Committee Member in Program Committee within the MPLR-track
Michael Hicks University of Maryland United States Author of Coverage Guided, Property Based Testing within the OOPSLA-track in SPLASH 2019
Raphael Hiesgen HAW Hamburg Germany Committee Member in Program Committee within the AGERE-track
Paul N. Hilfinger University of California, Berkeley Author of ChocoPy: A Programming Language for Compilers Courses within the SPLASH-E-track in SPLASH 2019
Emmie Hine Williams College Author of Evaluating ProDirect Manipulation in Hour of Code within the SPLASH-E-track in SPLASH 2019
Daniel Hinterreiter Johannes Kepler University Linz Austria Author of Harmonized Temporal Feature Modeling to Uniformly Perform, Track, Analyze and Replay Software Product Line Evolution within the GPCE 2019-track in GPCE 2019 Author of Supporting Feature Model Evolution by Suggesting Constraints from Code-Level Dependency Analyses within the GPCE 2019-track in GPCE 2019
Robert Hirschfeld Hasso-Plattner-Institut (HPI), Germany Germany Author of Ambiguous, Informal, and Unsound: Metaprogramming for Naturalness within the META 2019-track in META 2019 Author of An Exploratory Literature Study on Live-Tooling in the Game Industry within the LIVE 2019-track in LIVE 2019 Author of Language-independent Development Environment Support For Dynamic Runtimes within the DLS 2019-track in DLS 2019 Author of Standard Object Out: Streaming Objects with Polymorphic Write Streams within the DLS 2019-track in DLS 2019 Author of GraalSqueak: Toward a Smalltalk-based Tooling Platform for Polyglot Programming within the MPLR 2019-track in MPLR 2019 Author of Storage Combinators within the Onward! Papers-track in SPLASH 2019 PC Member in Program Committee within the SPLASH Onward! Papers-track Author in Onward! Steering Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the META-track Committee Member in Program Committee within the LIVE-track Committee Member in Steering Committee within the DLS-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Martin Hirzel IBM Research United States Committee Member in Review Committee within the SPLASH OOPSLA-track
Kenji Hisazumi Kyushu University Author of Context-Oriented Live Programming Environments with Mixed Reality System for IoT Education within the LIVE 2019-track in LIVE 2019 Author of Context-Oriented Live Programming Environments with Mixed Reality System for IoT Education within the Posters-track in SPLASH 2019
Aquinas Hobor National University of Singapore Author of Certifying Graph-Manipulating C Programs via Localizations within Data Structures within the OOPSLA-track in SPLASH 2019 Author of Certifying Graph-Manipulating C Programs via Localizations within Data Structures within the Posters-track in SPLASH 2019 Author of Certifying Graph-Manipulating C Programs via Localizations within Data Structures within the OOPSLA Artifacts-track in SPLASH 2019
Steve Hodges Microsoft Author of Microsoft MakeCode: Embedded Programming for Education, in Blocks and TypeScript within the SPLASH-E-track in SPLASH 2019
Peter Hofer Oracle Labs Author of Initialize Once, Start Fast: Application Initialization at Build Time within the OOPSLA-track in SPLASH 2019
Adrian Hoff TU Braunschweig Author of Automated Metamodel Augmentation for Seamless Model Evolution Tracking and Planning within the GPCE 2019-track in GPCE 2019
Celeste Hollenbeck Northeastern University United States Author of On the Impact of Programming Languages on Code Quality within the OOPSLA-track in SPLASH 2019
Reid Holmes University of British Columbia Canada Author of Learning to Listen for Design within the Onward! Essays-track in SPLASH 2019
Michael Homer Victoria University of Wellington Author of First-class Dynamic Types within the DLS 2019-track in DLS 2019 Author of Which of my Transient Type Checks are not (Almost) Free? within the VMIL 2019-track in VMIL 2019 Committee Member in Program Commitee within the SPLASH -E-track
Seongjoon Hong Korea University South Korea Author of Automatically Fixing Memory-Leaks within the Posters-track in SPLASH 2019
Gábor Horváth Eötvös Loránd University Hungary Author of Retaining Semantic Information in the Static Analysis of Real-World Software within the Doctoral Symposium-track in SPLASH 2019
Tony Hosking Australian National University / Data61 Australia Author of Corpus Distillation Techniques for Effective Fuzzing: A Comprehensive Evaluation within the NJR 2019-track in NJR 2019 Author of Designing a Low-Level Virtual Machine for Implementing Real-Time Managed Languages within the VMIL 2019-track in VMIL 2019 General Chair in Organizing Committee within the MPLR-track
Lode Hoste Author of FlashFreeze: Low-Overhead JavaScript Instrumentation for Function Serialization within the META 2019-track in META 2019
Iris Howley Williams College Author of Evaluating ProDirect Manipulation in Hour of Code within the SPLASH-E-track in SPLASH 2019
Shan Shan Huang Relational.ai United States Rebase Chair in Organizing Committee for SPLASH 2019 Session Chair of Rebase Keynote (Might) (part of SPLASH Rebase) Session Chair of Programming at Scale (part of SPLASH Rebase) Chair of Welcome, Introduction within the Rebase-track in SPLASH 2019 Co-chair in Organizing Committee within the SPLASH Rebase-track
Mingzhang Huang Shanghai Jiao Tong University Author of Modular Verification for Almost-Sure Termination of Probabilistic Programs within the OOPSLA-track in SPLASH 2019 Author of Modular Verification for Almost-Sure Termination of Probabilistic Programs within the OOPSLA Artifacts-track in SPLASH 2019
Jeff Huang Texas A&M University Committee Member in External Review Committee within the SPLASH OOPSLA-track
John Hughes Chalmers University of Technology, Sweden Sweden Session Chair of Abstract Interpretation (part of SPLASH OOPSLA) Speaker of Unaccustomed As I Am to Public Speaking within the PLMW-track in SPLASH 2019 Speaker in Speakers & Panelists within the SPLASH PLMW-track
Marieke Huisman University of Twente Netherlands Committee Member in Review Committee within the SPLASH OOPSLA-track
Christian Humer Oracle Labs, Switzerland Switzerland Author of Language-independent Development Environment Support For Dynamic Runtimes within the DLS 2019-track in DLS 2019
Xu-Qiang Hu Tsinghua Univeraity, China Author of IVT: An Efficient Method for Sharing Subtype Polymorphic Objects within the OOPSLA-track in SPLASH 2019 Author of IVT: An Efficient Method for Sharing Subtype Polymorphic Objects within the Posters-track in SPLASH 2019
Qinheping Hu University of Wisconsin, Madison United States Author of Automatic Repair of Regular Expressions within the OOPSLA-track in SPLASH 2019 Author of Automatic Repair of Regular Expressions within the OOPSLA Artifacts-track in SPLASH 2019
Muhammad Huzaifa University of Illinois at Urbana-Champaign Author of ApproxHPVM: A Portable Compiler IR for Accuracy-Aware Optimizations within the OOPSLA-track in SPLASH 2019
Johannes Härtel University of Koblenz-Landau, Germany Author of Empirical Study on the Usage of Graph Query Languages in Open Source Java Projects within the SLE 2019-track in SLE 2019
Hans Hüttel Department of Computer Science, Aalborg University Denmark Author of Locations and Session Types in a Language with Higher-Order Reflection within the AGERE 2019-track in AGERE 2019
Kazuhiro Ichikawa Graduate School of Information Science and Technology, The University of Tokyo Author of Generating a Fluent API with Syntax Checking from an LR Grammar within the Posters-track in SPLASH 2019 Author of Generating a Fluent API with Syntax Checking from an LR Grammar within the OOPSLA-track in SPLASH 2019 Author of Generating a fluent API with syntax checking from an LR grammar within the OOPSLA Artifacts-track in SPLASH 2019
Roberto Ierusalimschy PUC-Rio Brazil PC Member in Program Committee within the SPLASH Onward! Papers-track
Pablo Inostroza CWI Netherlands Committee Member in Program Committee within the SLE-track
Daniel Jackson MIT Author of Declarative Assembly of Web Applications from Predefined Concepts within the Onward! Papers-track in SPLASH 2019
Dejice Jacob University of Glasgow Author of Python Programmers have GPUs too: Automatic Python Loop Parallelization with Staged Dependence Analysis within the DLS 2019-track in DLS 2019
Derek Jacoby QVirt Labs Canada Session Chair of Getting Real with Augmented and Virtual Realities! (part of STOKED) Committee Member in Organizing Committee within the STOKED-track
Suresh Jagannathan Purdue University Author of CLOTHO: Directed Test Generation for Weakly Consistent Database Systems within the OOPSLA-track in SPLASH 2019 Author of Mergeable Replicated Data Types within the OOPSLA-track in SPLASH 2019
Abhinav Jangda University of Massachusetts Amherst Author of Formal Foundations of Serverless Computing within the OOPSLA-track in SPLASH 2019
Ali Jannesari Iowa State University United States Steering Committee Member in Steering Committee within the AI-SEPS-track
Ciera Jaspan Google United States Invited Speaker of Improving Engineering Productivity at Scale within the Rebase-track in SPLASH 2019 Speaker of How to Apply to Grad School? within the PLMW-track in SPLASH 2019 Panelist of Panel: Jobs After the PhD within the PLMW-track in SPLASH 2019 Speaker in Speakers & Panelists within the SPLASH PLMW-track
Pierre Jeanjean Inria, Univ Rennes, CNRS, IRISA Author of From DSL specification to interactive computer programming environment within the SLE 2019-track in SLE 2019
Jan Jecmen Czech Technical University Czech Republic Author of R Melts Brains -- An IR for First-Class Environments and Lazy Effectful Arguments within the DLS 2019-track in DLS 2019
Jamie Jennings pc United States Programme Committee in Reviewers within the SPLASH SRC-track
David Jensen University of Massachusetts Amherst Author of PlanAlyzer: Assessing Threats to the Validity of Online Experiments within the OOPSLA-track in SPLASH 2019
Sehun Jeong Korea University, South Korea Korea, South Author of Comparison Between Object-Sensitivity and Call-Site-Sensitivity in Generalized k-Limited Context Abstraction within the Posters-track in SPLASH 2019 Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Minseok Jeon Korea University, South Korea Korea, South Author of Comparison Between Object-Sensitivity and Call-Site-Sensitivity in Generalized k-Limited Context Abstraction within the Posters-track in SPLASH 2019
Ranjit Jhala University of California, San Diego United States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Limin Jia Carnegie Mellon University United States Author of I/O Dependent Idempotence Bugs in Intermittent Systems within the OOPSLA-track in SPLASH 2019 Author of I/O Dependent Idempotence Bugs in Intermittent Systems within the Posters-track in SPLASH 2019
Zhi Jin Peking University Author of IntelliMerge: A Refactoring-Aware Software Merging Technique within the OOPSLA-track in SPLASH 2019
Li Ji LlamaZOO Author of Immersive Visual Analytics for Large Industrial Data within the STOKED 2019-track in STOKED 2019
Jacob Johannsen Zilliqa Research Author of Safer Smart Contract Programming with Scilla within the OOPSLA-track in SPLASH 2019 Author of Safer Smart Contract Programming with Scilla within the OOPSLA Artifacts-track in SPLASH 2019
Adrian Johnstone Royal Holloway, University of London Session Chair of Session 4: Parsing (part of SLE) Author of Multiple Lexicalisation - A Java Based Study within the SLE 2019-track in SLE 2019
Timothy Jones Montoux United States Author of First-class Dynamic Types within the DLS 2019-track in DLS 2019
Bengt Jonsson Uppsala University, Sweden Author of Optimal Stateless Model Checking for Reads-from Equivalence under Sequential Consistency within the OOPSLA Artifacts-track in SPLASH 2019 Author of Optimal Stateless Model Checking for Reads-From Equivalence under Sequential Consistency within the OOPSLA-track in SPLASH 2019
Keyur Joshi University of Illinois at Urbana-Champaign United States Author of ApproxHPVM: A Portable Compiler IR for Accuracy-Aware Optimizations within the OOPSLA-track in SPLASH 2019 Author of Verifying Safety and Accuracy of Approximate Parallel Programs via Canonical Sequentialization within the OOPSLA-track in SPLASH 2019
Vojin Jovanovic Oracle Labs Switzerland Author of Compiler Generation for Performance-Oriented Embedded DSLs (Short Paper) within the GPCE 2019-track in GPCE 2019 Author of Initialize Once, Start Fast: Application Initialization at Build Time within the OOPSLA-track in SPLASH 2019
Ifaz Kabir University of Alberta, Canada Canada Panelist of Panel: Current PhD Students and Postdocs within the PLMW-track in SPLASH 2019 Panelist in Speakers & Panelists within the SPLASH PLMW-track
Amir Kafshdar Goharshady IST Austria Austria Author of Modular Verification for Almost-Sure Termination of Probabilistic Programs within the OOPSLA-track in SPLASH 2019 Author of Modular Verification for Almost-Sure Termination of Probabilistic Programs within the OOPSLA Artifacts-track in SPLASH 2019
Wolfram Kahl McMaster University Canada Author of A Language Feature to Unbundle Data at Will (Short Paper) within the GPCE 2019-track in GPCE 2019
Gail Kaiser Columbia University, New York United States Committee Member in Review Committee within the SPLASH OOPSLA-track
Gowtham Kaki Purdue University United States Author of Mergeable Replicated Data Types within the OOPSLA-track in SPLASH 2019
Shoaib Kamil Adobe Author of Modular Verification of Web Page Layout within the OOPSLA-track in SPLASH 2019
Tetsuo Kamina Oita University Japan Session Chair of Language design and implementation (part of REBLS) Author of An Approach for Persistent Time-Varying Values within the Onward! Papers-track in SPLASH 2019 Co-chair in Program Committee within the REBLS-track
Ted Kaminski University of Minnesota United States Author of Reflection in Attribute Grammars within the GPCE 2019-track in GPCE 2019 Author of Reflection in Attribute Grammars within the Posters-track in SPLASH 2019
Stefan Karpinski Julia Computing / NYU Author of Unreasonable Effectiveness of Multiple Dispatch within the Rebase-track in SPLASH 2019
Kiyokuni Kawachiya IBM Research - Tokyo PC Member in Program Committee within the SPLASH Onward! Papers-track
Sven Keidel JGU Mainz Germany Author of Sound and Reusable Components for Abstract Interpretation within the OOPSLA-track in SPLASH 2019 Author of Sound and Reusable Components for Abstract Interpretation within the Posters-track in SPLASH 2019 Author of Sound and Reusable Components for Abstract Interpretation within the OOPSLA Artifacts-track in SPLASH 2019 Committee Member in Artifact Evaluation Committee within the SLE-track
Stephen Kell University of Kent Session Chair of Testing (part of SPLASH OOPSLA) Author of Towards seamless interfacing between dynamic languages and native code within the VMIL 2019-track in VMIL 2019 Author of Reliable and Fast DWARF-based Unwinding within the OOPSLA Artifacts-track in SPLASH 2019 Author of Reliable and Fast DWARF-Based Stack Unwinding within the OOPSLA-track in SPLASH 2019 Committee Member in External Review Committee within the SPLASH OOPSLA-track
Steven Kelly MetaCase United Kingdom PC Member in Program Committee within the DSM-track
Peter B. Kessler Oracle Labs Author of Initialize Once, Start Fast: Application Initialization at Build Time within the OOPSLA-track in SPLASH 2019
Raffi Khatchadourian City University of New York (CUNY) Hunter College United States PC Member in Program Committee within the SPLASH Onward! Papers-track
Djamel Eddine Khelladi CNRS, IRISA Author of Detecting and Exploring Side Effects when Repairing Model Inconsistencies within the SLE 2019-track in SLE 2019
Gregor Kiczales University of British Columbia Author of Learning to Listen for Design within the Onward! Essays-track in SPLASH 2019
Kevin Kiefer Author of Agile Construction of Data Science DSLs (Tool Demo) within the GPCE 2019-track in GPCE 2019 Author of Agile Construction of Data Science DSLs (Tool Demo) within the Posters-track in SPLASH 2019
Matthäus Magnus Kiehn TU Darmstadt Author of Automatic Identification of Standard Template Algorithms in Raw Loops within the AI-SEPS-track in AI-SEPS 2019
Martin Kleppmann University of Cambridge United Kingdom Author of Local-first software: You own your data, in spite of the cloud within the Onward! Essays-track in SPLASH 2019
Christoph E. Koch EPFL Author of Compiler Generation for Performance-Oriented Embedded DSLs (Short Paper) within the GPCE 2019-track in GPCE 2019
Michalis Kokologiannakis MPI-SWS, Germany Greece Author of Effective Lock Handling In Stateless Model Checking within the OOPSLA Artifacts-track in SPLASH 2019 Author of Effective Lock Handling in Stateless Model Checking within the Posters-track in SPLASH 2019 Author of Effective Lock Handling in Stateless Model Checking within the OOPSLA-track in SPLASH 2019
Dimitris Kolovos University of York United Kingdom Committee Member in Program Committee within the SLE-track
Gabriël Konat Delft University of Technology Netherlands Author of From Whole Program Compilation to Incremental Compilation: A Critical Case within the IC 2019-track in IC 2019 Author of Precise, Efficient, and Expressive Incremental Build Scripts with PIE within the IC 2019-track in IC 2019
Igor Konnov Inria Nancy - Grand Est, France France Author of TLA+ model checking made symbolic within the Posters-track in SPLASH 2019 Author of TLA+ Model Checking Made Symbolic within the OOPSLA-track in SPLASH 2019 Author of TLA+ model checking made symbolic within the OOPSLA Artifacts-track in SPLASH 2019
Eric Koskinen Stevens Institute of Technology Session Chair of Formalization (part of SPLASH OOPSLA) Author of Specification and Inference of Trace Refinement Relations within the OOPSLA Artifacts-track in SPLASH 2019 Author of Specification and Inference of Trace Refinement Relations within the OOPSLA-track in SPLASH 2019 Committee Member in Review Committee within the SPLASH OOPSLA-track
Christos Kotselidis University of Manchester, UK United Kingdom Author of An Analysis of Call-site Patching Without Strong Hardware Support for Self-Modifying-Code within the MPLR 2019-track in MPLR 2019
Maria Kotsifakou University of Illinois at Urbana-Champaign Author of ApproxHPVM: A Portable Compiler IR for Accuracy-Aware Optimizations within the OOPSLA-track in SPLASH 2019
Lucas Kramer University of Minnesota Author of Parallel Nondeterministic Programming as a Language Extension to C (Short Paper) within the GPCE 2019-track in GPCE 2019 Author of Reflection in Attribute Grammars within the GPCE 2019-track in GPCE 2019 Author of Reflection in Attribute Grammars within the Posters-track in SPLASH 2019
Eva Krebs Hasso Plattner Institute Author of An Exploratory Literature Study on Live-Tooling in the Game Industry within the LIVE 2019-track in LIVE 2019
Jacob Kreindl Johannes Kepler University Linz Austria Author of Towards Efficient, Multi-Language Dynamic Taint Analysis within the MPLR 2019-track in MPLR 2019 Author of Towards Efficient, Multi-Language Dynamic Taint Analysis within the Posters-track in SPLASH 2019
Roland Kretschmer JOHANNES KEPLER UNIVERSITY LINZ Author of Detecting and Exploring Side Effects when Repairing Model Inconsistencies within the SLE 2019-track in SLE 2019
Filip Krikava Czech Technical University Czech Republic Author of Scala Implicits Are Everywhere: A Large-Scale Study of the Use of Scala Implicits in the Wild within the OOPSLA-track in SPLASH 2019 Author of Scala Implicits are Everywhere within the OOPSLA Artifacts-track in SPLASH 2019
V Krishna Nandivada IIT Madras Author of PYE: A Framework for Precise-Yet-Efficient Just-In-Time Analyses for Java Programs within the OOPSLA-track in SPLASH 2019
Murali Krishna Ramanathan Uber Technologies Inc. United States Author of Optimization of Swift Protocols within the OOPSLA-track in SPLASH 2019 Author of Optimization of Swift Protocols within the OOPSLA Artifacts-track in SPLASH 2019
Jure Kukovec TU Wien, Austria Author of TLA+ model checking made symbolic within the Posters-track in SPLASH 2019 Author of TLA+ Model Checking Made Symbolic within the OOPSLA-track in SPLASH 2019 Author of TLA+ model checking made symbolic within the OOPSLA Artifacts-track in SPLASH 2019
Amrit Kumar Zilliqa Research Author of Safer Smart Contract Programming with Scilla within the OOPSLA-track in SPLASH 2019 Author of Safer Smart Contract Programming with Scilla within the OOPSLA Artifacts-track in SPLASH 2019
Vivek Kumar Committee Member in Program Committee within the MPLR-track
Viktor Kunčak EPFL, Switzerland Author of System FR: Formalized Foundations for the Stainless Verifier within the Posters-track in SPLASH 2019 Author of System FR: Formalized Foundations for the Stainless Verifier within the OOPSLA-track in SPLASH 2019 Committee Member in External Review Committee within the SPLASH OOPSLA-track
Kimio Kuramitsu Japan Women’s University Japan Author of Puppy: An Educational Simplification of Python with a Live Playground within the LIVE 2019-track in LIVE 2019 Author of Puppy: An Educational Simplification of Python with a Live Playground within the Posters-track in SPLASH 2019
Nils Kurowsky Fernuni Hagen Author of An Incremental Locking Scheme for Transactional Editing within the IC 2019-track in IC 2019 Author of Transactional Editing: Giving ACID to Programmers within the SLE 2019-track in SLE 2019
Yonghwi Kwon University of Virginia United States Author of BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-Program Path Sampling and Per-Path Abstract Interpretation within the OOPSLA-track in SPLASH 2019
Malin Källén Uppsala University Author of Performance of an OO Compute Kernel on the JVM -- Revisiting Java as a Language for Scientific Computing Applications within the MPLR 2019-track in MPLR 2019
Christian Kästner Carnegie Mellon University United States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Mirko Köhler Technische Universität Darmstadt Author of Distributed Object-oriented Programming with Multiple Consistency Levels in ConSysT within the Posters-track in SPLASH 2019 Author of Language-Integrated Privacy-Aware Distributed Queries within the Posters-track in SPLASH 2019 Author of Language-Integrated Privacy-Aware Distributed Queries within the OOPSLA-track in SPLASH 2019
Thomas LaToza George Mason University United States PC Member in Program Committee within the SPLASH Onward! Papers-track
Tania Lado Insua University of Tasmania Australia Committee Member in Program Committee within the STOKED-track
Sifis Lagouvardos University of Athens Greece Video Chair in Organizing Committee for SPLASH 2019
Leonidas Lampropoulos University of Pennsylvania, University of Maryland Greece Panelist of Panel: Current PhD Students and Postdocs within the PLMW-track in SPLASH 2019 Author of Coverage Guided, Property Based Testing within the OOPSLA-track in SPLASH 2019 Committee Member in Judges within the SPLASH SRC-track Panelist in Speakers & Panelists within the SPLASH PLMW-track
Andreas Lanitis Cyprus University of Technology Author of Designing immersive virtual training environments for experiential learning within the SRC-track in SPLASH 2019
Czarina Lao MIT Author of Declarative Assembly of Web Applications from Predefined Concepts within the Onward! Papers-track in SPLASH 2019
Florian Latifi Johannes Kepler University Linz Austria Author of Practical Second Futamura Projection within the Posters-track in SPLASH 2019 Author of Practical Second Futamura Projection within the SRC-track in SPLASH 2019 Author of Practical Second Futamura Projection within the Doctoral Symposium-track in SPLASH 2019
Doug Lea State University of New York (SUNY) Oswego United States Committee Member in Program Committee within the MPLR-track Committee Member in Steering Committee within the SPLASH -E-track
Richard Leblanc Seattle University Committee Member in Steering Committee within the SPLASH -E-track
Erhan Leblebici Technische Universität Darmstadt Author of Consistency Management via a Combination of Triple Graph Grammars and Linear Programming within the SLE 2019-track in SLE 2019
Manuel Leduc Univ Rennes, Inria, CNRS, IRISA France Committee Member in Artifact Evaluation Committee within the SLE-track
Sungho Lee KAIST, South Korea South Korea Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Myungho Lee Korea University Author of Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments within the OOPSLA-track in SPLASH 2019 Author of Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments within the Posters-track in SPLASH 2019 Author of Precise Safety Verification of Smart Contracts within the Posters-track in SPLASH 2019 Author of Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments within the OOPSLA Artifacts-track in SPLASH 2019
Junhee Lee Korea University, South Korea South Korea Author of Automatically Fixing Memory-Leaks within the Posters-track in SPLASH 2019
Jeongsoo Lee Korea University Author of Automatically Fixing Memory-Leaks within the Posters-track in SPLASH 2019
Owolabi Legunsen University of Illinois at Urbana-Champaign United States Author of Reflection-Aware Static Regression Test Selection within the OOPSLA-track in SPLASH 2019
Jan-Patrick Lehr Graduate School of Computational Engineering, TU Darmstadt Author of Automatic Identification of Standard Template Algorithms in Raw Loops within the AI-SEPS-track in AI-SEPS 2019
Martin Leinberger University of Koblenz-Landau, Germany Author of Empirical Study on the Usage of Graph Query Languages in Open Source Java Projects within the SLE 2019-track in SLE 2019
Caroline Lemieux University of California, Berkeley United States Author of AutoPandas: Neural-Backed Generators for Program Synthesis within the OOPSLA-track in SPLASH 2019 Author of FuzzFactory: Domain-Specific Fuzzing with Waypoints within the OOPSLA Artifacts-track in SPLASH 2019 Author of FuzzFactory: Domain-Specific Fuzzing with Waypoints within the OOPSLA-track in SPLASH 2019
David Leopoldseder Johannes Kepler University Linz Austria Author of Supporting On-Stack Replacement in Unstructured Languages by Loop Reconstruction and Extraction within the MPLR 2019-track in MPLR 2019 Author of Renaissance: A Modern Benchmark Suite for Parallel Applications on the JVM within the Posters-track in SPLASH 2019 Author of Supporting On-Stack Replacement in Unstructured Languages by Loop Reconstruction and Extraction within the Posters-track in SPLASH 2019
Benjamin Lerner Northeastern University, United States Committee Member in Program Commitee within the SPLASH -E-track
Alan Leung Microsoft Author of On the Fly Synthesis of Edit Suggestions within the OOPSLA-track in SPLASH 2019 Author of On the Fly Synthesis of Edit Suggestions within the Posters-track in SPLASH 2019 Author of On the Fly Synthesis of Edit Suggestions within the OOPSLA Artifacts-track in SPLASH 2019
Ton Chanh Le Stevens Institute of Technology United States Author of Specification and Inference of Trace Refinement Relations within the OOPSLA Artifacts-track in SPLASH 2019 Author of Specification and Inference of Trace Refinement Relations within the OOPSLA-track in SPLASH 2019
Vu Le Microsoft United States Author of On the Fly Synthesis of Edit Suggestions within the OOPSLA-track in SPLASH 2019 Author of On the Fly Synthesis of Edit Suggestions within the Posters-track in SPLASH 2019 Author of On the Fly Synthesis of Edit Suggestions within the OOPSLA Artifacts-track in SPLASH 2019
Thomas Lewis Microsoft United States Committee Member in Program Committee within the STOKED-track
Ondřej Lhoták University of Waterloo Canada Author of A Path to DOT: Formalizing Fully Path-Dependent Types within the OOPSLA Artifacts-track in SPLASH 2019 Author of A Path to DOT: Formalizing Fully Path-Dependent Types within the OOPSLA-track in SPLASH 2019 Committee Member in Review Committee within the SPLASH OOPSLA-track
Guangtai Liang Huawei Technologies Co. Ltd Author of IntelliMerge: A Refactoring-Aware Software Merging Technique within the OOPSLA-track in SPLASH 2019
Lukas Linsbauer Austria Author of Harmonized Temporal Feature Modeling to Uniformly Perform, Track, Analyze and Replay Software Product Line Evolution within the GPCE 2019-track in GPCE 2019 Author of Supporting Feature Model Evolution by Suggesting Constraints from Code-Level Dependency Analyses within the GPCE 2019-track in GPCE 2019
Michael Lippautz Google Invited Speaker of Untangling the web: Memory management in Chrome’s web platform implementation within the DLS 2019-track in DLS 2019
Aaron Lippeveldts Vrije Universiteit Brussel Author of Linear capabilities for CHERI within the SRC-track in SPLASH 2019 Author of Linear capabilities for CHERI within the Posters-track in SPLASH 2019
Sascha Lisson itemis AG Author of Shadow Models [Tool Demo] -- Incremental Transformations for MPS within the SLE 2019-track in SLE 2019
Yu David Liu State University of New York (SUNY) Binghamton United States Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Organizing Committee within the VMIL-track
Yi Li New Jersey Institute of Technology, USA Author of Improving Bug Detection via Context-Based Code Representation Learning and Attention-Based Neural Networks within the OOPSLA-track in SPLASH 2019 Author of Improving Bug Detection via Context-based Code Representation Learning and Attention-based Neural Networks within the Posters-track in SPLASH 2019
Yue Li Aarhus University, Denmark China Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Yonglun Li University of Wisconsin -- Milwaukee Author of Concurrency Control of JavaScript with Arrows within the REBLS-track in REBLS 2019
Crista Lopes UC Irvine Author of GoTcha: An Interactive Debugger for GoT-Based Distributed Systems within the Onward! Papers-track in SPLASH 2019 Committee Member in External Review Committee within the SPLASH OOPSLA-track Committee Member in Organizing Committee within the NJR-track
Eyal Lotem Lamdu Author of Steady Typing within the LIVE 2019-track in LIVE 2019
Sifei Luan Facebook, Inc. Author of Aroma: Code Recommendation via Structural Code Search within the OOPSLA-track in SPLASH 2019 Author of Aroma: Code Recommendation via Structural Code Search within the Posters-track in SPLASH 2019
Brandon Lucia Carnegie Mellon University United States Author of I/O Dependent Idempotence Bugs in Intermittent Systems within the OOPSLA-track in SPLASH 2019 Author of I/O Dependent Idempotence Bugs in Intermittent Systems within the Posters-track in SPLASH 2019 Committee Member in Review Committee within the SPLASH OOPSLA-track
Mikel Luján University of Manchester Author of Hosting OpenMP Programs on Java Virtual Machines within the MPLR 2019-track in MPLR 2019 Author of An Analysis of Call-site Patching Without Strong Hardware Support for Self-Modifying-Code within the MPLR 2019-track in MPLR 2019 Author of Towards a WebAssembly Standalone Runtime on GraalVM within the Posters-track in SPLASH 2019
Jingbo Lu UNSW Sydney Author of Precision-Preserving Yet Fast Object-Sensitive Pointer Analysis with Partial Context Sensitivity within the OOPSLA-track in SPLASH 2019 Author of Precision-Preserving Yet Fast Object-Sensitive Pointer Analysis with Partial Context Sensitivity within the OOPSLA Artifacts-track in SPLASH 2019
Shan Lu University of Chicago Author of Improving Performance and Quality of Database-Backed Software within the Posters-track in SPLASH 2019
Stian Lasse Lybech Department of Computer Science, Aalborg University, Denmark Author of Locations and Session Types in a Language with Higher-Order Reflection within the AGERE 2019-track in AGERE 2019
Ralf Lämmel Facebook London Author of Software Language Engineering -- 42 Frequently Asked Questions within the SLE 2019-track in SLE 2019 Author of Empirical Study on the Usage of Graph Query Languages in Open Source Java Projects within the SLE 2019-track in SLE 2019
Magnus Lång Uppsala University, Sweden Author of Optimal Stateless Model Checking for Reads-from Equivalence under Sequential Consistency within the OOPSLA Artifacts-track in SPLASH 2019 Author of Optimal Stateless Model Checking for Reads-From Equivalence under Sequential Consistency within the OOPSLA-track in SPLASH 2019
Michael M. Vitousek Indiana University Author of Optimizing and Evaluating Transient Gradual Typing within the DLS 2019-track in DLS 2019
Julian Mackay Victoria University of Wellington New Zealand Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Magnus Madsen Aarhus University Denmark Publications Chair in Organizing Committee for SPLASH 2019 Committee Member in Program Committee within the MPLR-track
Geoffrey Mainland Drexel University, USA Committee Member in Program Committee within the GPCE-track
Rupak Majumdar Max Planck Institute for Software Systems (MPI-SWS) Author of Trace Aware Random Testing for Distributed Systems within the OOPSLA-track in SPLASH 2019
Petr Maj Czech Technical University Czech Republic Author of Lambdulus: Teaching Lambda Calculus Practically within the SPLASH-E-track in SPLASH 2019 Author of On the Impact of Programming Languages on Code Quality within the OOPSLA-track in SPLASH 2019
Louis Mandel IBM Research United States Committee Member in Program Committee within the REBLS-track
Ali Manzak University of Detroit Mercy United States Committee Member in Program Committee within the AI-SEPS-track
Aleksandr Maramzin University of Edinburgh Author of “It Looks Like You’re Writing a Parallel Loop” - A Machine Learning Based Parallelization Assistant within the AI-SEPS-track in AI-SEPS 2019
Mariana Marasoiu University of Cambridge Committee Member in Program Committee within the LIVE-track
Michaël Marcozzi Imperial College London United Kingdom Author of Compiler Fuzzing: How Much Does It Matter? within the OOPSLA-track in SPLASH 2019 Author of Compiler Fuzzing: How Much Does It Matter? within the OOPSLA Artifacts-track in SPLASH 2019
Benjamin Mariano University of Maryland, College Park Author of Program Synthesis with Algebraic Library Specifications within the OOPSLA Artifacts-track in SPLASH 2019 Author of Program Synthesis with Algebraic Library Specifications within the OOPSLA-track in SPLASH 2019
Darko Marinov University of Illinois at Urbana-Champaign United States Author of Reflection-Aware Static Regression Test Selection within the OOPSLA-track in SPLASH 2019
Mark Marron Microsoft Research United States Committee Member in Program Committee within the DLS-track
Stefan Marr University of Kent United Kingdom Session Chair of Beyond the Language (part of DLS) Session Chair of Keynote (part of DLS) Keynote Speaker of Metaprogramming, Metaobject Protocols, Gradual Type Checks: Optimizing the "Unoptimizable" Using Old Ideas within the META 2019-track in META 2019 Author of Welcome within the DLS 2019-track in DLS 2019 Author of Which of my Transient Type Checks are not (Almost) Free? within the VMIL 2019-track in VMIL 2019 Author of Asynchronous Snapshots of Actor Systems for Latency-Sensitive Applications within the MPLR 2019-track in MPLR 2019 Committee Member in Program Committee within the AGERE-track Committee Member in Steering Committee within the META-track Committee Member in Steering Committee within the DLS-track Program Chair in Organizing Committee within the DLS-track
Philipp Martens Technische Universität Darmstadt Author of Multitier Reactive Programming in High Performance Computing within the REBLS-track in REBLS 2019 Author of Multitier Reactive Programming in High Performance Computing within the Posters-track in SPLASH 2019
Chris Martens North Carolina State University United States Committee Member in Program Committee within the GPCE-track
Luis Mastrangelo Università della Svizzera italiana Author of Casting about in the Dark within the OOPSLA Artifacts-track in SPLASH 2019 Author of Casting about in the Dark: An Empirical Study of Cast Operations in Java Programs within the OOPSLA-track in SPLASH 2019
Hidehiko Masuhara Tokyo Institute of Technology Japan Onward! Papers Chair in Organizing Committee for SPLASH 2019 Session Chair of Sack keynote (part of SPLASH Keynotes) Session Chair of Onward! Papers 2 (part of SPLASH Onward! Papers) Session Chair of Onward! Papers 4 (part of SPLASH Onward! Papers) Session Chair of Domain specific applications (part of REBLS) Program Chair in Program Committee within the SPLASH Onward! Papers-track Author in Onward! Steering Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the MPLR-track Committee Member in Program Committee within the LIVE-track Co-chair in Program Committee within the REBLS-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Toni Mattis Hasso Plattner Institute, University of Potsdam Germany Author of Ambiguous, Informal, and Unsound: Metaprogramming for Naturalness within the META 2019-track in META 2019
Jay McCarthy University of Massachusetts Lowell United States Student Research Competition Chair in Organizing Committee for SPLASH 2019 Author in Reviewers within the SPLASH SRC-track Committee Member in Judges within the SPLASH SRC-track Co-chair in Organizers within the SPLASH SRC-track
Sean McDirmid United States Committee Member in Program Committee within the LIVE-track
Mark McGranaghan Ink & Switch Author of Local-first software: You own your data, in spite of the cloud within the Onward! Essays-track in SPLASH 2019
Barry A. McNamara III MIT Author of Declarative Assembly of Web Applications from Predefined Concepts within the Onward! Papers-track in SPLASH 2019
Frank McSherry Materialize, Inc Keynote Speaker of Differential dataflow: a model and implementation within the IC 2019-track in IC 2019
Maryam Mehri Dehnavi University of Toronto Canada Committee Member in Program Committee within the GPCE-track
Remigius Meier ETH Zurich, Switzerland Switzerland Author of Reflections on the Compatibility, Performance, and Scalability of Parallel Python within the DLS 2019-track in DLS 2019
Claudio Menghi University of Luxembourg, Luxembourg Author of Higher-Level Mission Specification for Multiple Robots within the SLE 2019-track in SLE 2019
Na Meng Virginia Tech United States Committee Member in Program Committee within the DLS-track
Adrian Mensing Author of From Definitional Interpreter To Symbolic Executor within the META 2019-track in META 2019
Marjan Mernik University of Maribor Slovenia Committee Member in Program Committee within the SLE-track
Leo Meyerovich Graphistry PC Member in Program Committee within the SPLASH Onward! Papers-track
Johannes Mey Technische Universität Dresden Committee Member in Artifact Evaluation Committee within the SLE-track
Mira Mezini Technische Universität Darmstadt Germany Author of GRASS: Generic Reactive Application-Specific Scheduling within the REBLS-track in REBLS 2019 Author of From analysing programs to testing program analyses: How research relies on and enriches SE knowledge within the NJR 2019-track in NJR 2019 Keynote Speaker of Let it Flow: Dataflow abstractions for interactive distributed applications within the GPCE 2019-track in GPCE 2019 Author of A Fault-Tolerant Programming Model for Distributed Interactive Applications within the Posters-track in SPLASH 2019 Author of A Fault-Tolerant Programming Model for Distributed Interactive Applications within the OOPSLA-track in SPLASH 2019 Author of Language-Integrated Privacy-Aware Distributed Queries within the Posters-track in SPLASH 2019 Author of Language-Integrated Privacy-Aware Distributed Queries within the OOPSLA-track in SPLASH 2019 Keynote Speaker in Keynote Speaker within the GPCE-track
Arthur Michener Peters The University of Texas at Austin, Texas, USA United States Author of PorcE: A Deparallelizing Compiler within the MPLR 2019-track in MPLR 2019
Matthew Might University of Alabama at Birmingham \| Harvard Medical School United States Keynote Speaker of The Algorithm for Precision Medicine within the Keynotes-track in SPLASH 2019
Ana Milanova Rensselaer Polytechnic Institute United States Committee Member in Program Committee within the MPLR-track
Heather Miller Carnegie Mellon University Author of The Times They Are a-Changin’: A Data-Driven Portrait of New Trends in How We Build Software, Open Source, & What Even is "Entry-Level" Now within the Rebase-track in SPLASH 2019 Author of Scala Implicits Are Everywhere: A Large-Scale Study of the Use of Scala Implicits in the Wild within the OOPSLA-track in SPLASH 2019 Author of Scala Implicits are Everywhere within the OOPSLA Artifacts-track in SPLASH 2019 Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the SPLASH Onward! Essays-track
Anders Miltner Princeton University Author of On the Fly Synthesis of Edit Suggestions within the OOPSLA-track in SPLASH 2019 Author of On the Fly Synthesis of Edit Suggestions within the Posters-track in SPLASH 2019 Author of On the Fly Synthesis of Edit Suggestions within the OOPSLA Artifacts-track in SPLASH 2019
Albert Mingkun Yang Author of Run, Actor, Run - Towards Cross-Actor Language Benchmarking within the AGERE 2019-track in AGERE 2019
Eliot Miranda Cadence Design Systems Author of Lazy Pointer Update for Low Heap Compaction Pause Times within the DLS 2019-track in DLS 2019
Sasa Misailovic University of Illinois at Urbana-Champaign United States Session Chair of Test Generation (part of SPLASH OOPSLA) Session Chair of Systems at Scale (part of SPLASH Rebase) Author of ApproxHPVM: A Portable Compiler IR for Accuracy-Aware Optimizations within the OOPSLA-track in SPLASH 2019 Author of Verifying Safety and Accuracy of Approximate Parallel Programs via Canonical Sequentialization within the OOPSLA-track in SPLASH 2019 Committee Member in External Review Committee within the SPLASH OOPSLA-track
Ragnar Mogk Technische Universität Darmstadt Author of Turning Unobservable into Unreachable: Dynamic Reactive Programming without Leaks within the REBLS-track in REBLS 2019 Author of Turning Unobservable into Unreachable: Dynamic Reactive Programming without Leaks within the Posters-track in SPLASH 2019 Author of A Fault-Tolerant Programming Model for Distributed Interactive Applications within the Posters-track in SPLASH 2019 Author of A Fault-Tolerant Programming Model for Distributed Interactive Applications within the OOPSLA-track in SPLASH 2019
Anshuman Mohan National University of Singapore Singapore Author of Certifying Graph-Manipulating C Programs via Localizations within Data Structures within the OOPSLA-track in SPLASH 2019 Author of Certifying Graph-Manipulating C Programs via Localizations within Data Structures within the Posters-track in SPLASH 2019 Author of Certifying Graph-Manipulating C Programs via Localizations within Data Structures within the OOPSLA Artifacts-track in SPLASH 2019
Martin Monperrus KTH Royal Institute of Technology Sweden Author of Scalable Comparison of JavaScript V8 Bytecode Traces (Room 1 -- Joint with MPLR) within the VMIL 2019-track in VMIL 2019
Corey Montella Lehigh University Author of Mech - A Programming Language for Data Driven, Reactive Systems within the LIVE 2019-track in LIVE 2019
Thierry Moreau University of Washington Invited Speaker of An Open Source Hardware-Software Blueprint for Flexible Deep Learning Specialization within the Rebase-track in SPLASH 2019
Igor Moreno Santos Università della Svizzera italiana Author of Experiences in Bridging from Functional to Object-Oriented Programming within the SPLASH-E-track in SPLASH 2019
Raphael Mosaner Johannes Kepler University Linz Author of Supporting On-Stack Replacement in Unstructured Languages by Loop Reconstruction and Extraction within the MPLR 2019-track in MPLR 2019 Author of Supporting On-Stack Replacement in Unstructured Languages by Loop Reconstruction and Extraction within the Posters-track in SPLASH 2019
Michal Moskal Microsoft Research Author of Static TypeScript: An Implementation of a Static Compiler for the TypeScript Language within the MPLR 2019-track in MPLR 2019 Author of Microsoft MakeCode: Embedded Programming for Education, in Blocks and TypeScript within the SPLASH-E-track in SPLASH 2019
Peter D. Mosses Swansea University and TU Delft Netherlands Committee Member in Program Committee within the GPCE-track
Eliot Moss University of Massachusetts Amherst Author of PlanAlyzer: Assessing Threats to the Validity of Online Experiments within the OOPSLA-track in SPLASH 2019
Sarah Mount Aston University United Kingdom Committee Member in Program Committee within the DLS-track
Fabian Muehlboeck IST Austria Austria Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Hisham Muhammad Brazil Author of Userland: creating an integrated dataflow environment for end-users within the LIVE 2019-track in LIVE 2019
Daniel-Jesus Munoz Universidad de Málaga, Spain Spain Committee Member in Artifact Evaluation Committee within the SLE-track
Emerson Murphy-Hill Google Steering Committee Member in Steering Committee for SPLASH 2019
Gail Murphy University of British Columbia Canada Steering Committee Member in Steering Committee for SPLASH 2019 Author in Onward! Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Brad Myers Carnegie Mellon University United States Author of Obsidian: Typestate and Assets for Safer Smart Contracts within the Posters-track in SPLASH 2019
Andrew Myers Cornell University United States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Todd Mytkowicz Microsoft Research Committee Member in Review Committee within the SPLASH OOPSLA-track
Hanspeter Mössenböck JKU Linz, Austria Austria Author of Towards Efficient, Multi-Language Dynamic Taint Analysis within the MPLR 2019-track in MPLR 2019 Author of Detection of Suspicious Time Windows in Memory Monitoring within the MPLR 2019-track in MPLR 2019 Author of Supporting On-Stack Replacement in Unstructured Languages by Loop Reconstruction and Extraction within the MPLR 2019-track in MPLR 2019 Author of Asynchronous Snapshots of Actor Systems for Latency-Sensitive Applications within the MPLR 2019-track in MPLR 2019 Author of Towards Efficient, Multi-Language Dynamic Taint Analysis within the Posters-track in SPLASH 2019 Author of Supporting On-Stack Replacement in Unstructured Languages by Loop Reconstruction and Extraction within the Posters-track in SPLASH 2019 Steering Committee Member in Steering Committee within the MPLR-track
Anders Møller Aarhus University Denmark Author of Static Analysis with Demand-Driven Value Refinement within the OOPSLA-track in SPLASH 2019 Author of Static Analysis with Demand-Driven Value Refinement within the Posters-track in SPLASH 2019
Peter Müller ETH Zurich Switzerland Author of Leveraging Rust Types for Modular Specification and Verification within the OOPSLA-track in SPLASH 2019 Author of Modular Verification of Heap Reachability Properties in Separation Logic within the OOPSLA-track in SPLASH 2019 Author of Modular Verification of Heap Reachability Properties in Separation Logic within the OOPSLA Artifacts-track in SPLASH 2019 Author of Leveraging Rust Types for Modular Specification and Verification within the OOPSLA Artifacts-track in SPLASH 2019
Vaivaswatha Nagaraj Zilliqa Research India Author of Safer Smart Contract Programming with Scilla within the OOPSLA-track in SPLASH 2019 Author of Safer Smart Contract Programming with Scilla within the OOPSLA Artifacts-track in SPLASH 2019
Kartik Nagar Purdue University Author of CLOTHO: Directed Test Generation for Weakly Consistent Database Systems within the OOPSLA-track in SPLASH 2019
Tomoki Nakamaru Graduate School of Information Science and Technology, The University of Tokyo Japan Author of Generating a Fluent API with Syntax Checking from an LR Grammar within the Posters-track in SPLASH 2019 Author of Generating a Fluent API with Syntax Checking from an LR Grammar within the OOPSLA-track in SPLASH 2019 Author of Generating a fluent API with syntax checking from an LR grammar within the OOPSLA Artifacts-track in SPLASH 2019
Aleksandar Nanevski IMDEA Software Institute Spain Author of Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations within the OOPSLA Artifacts-track in SPLASH 2019 Author of Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations within the OOPSLA-track in SPLASH 2019
Krishna Narasimhan Goethe University India Committee Member in Artifact Evaluation Committee within the SLE-track
Iulian Neamtiu New Jersey Institute of Technology United States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Joseph P. Near University of Vermont Author of Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential Privacy within the OOPSLA-track in SPLASH 2019 Author of Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy within the OOPSLA Artifacts-track in SPLASH 2019
ThanhVu Nguyen University of Nebraska, Lincoln United States Author of Program Synthesis with Algebraic Library Specifications within the OOPSLA Artifacts-track in SPLASH 2019 Author of Program Synthesis with Algebraic Library Specifications within the OOPSLA-track in SPLASH 2019
Tien N. Nguyen University of Texas at Dallas United States Author of Improving Bug Detection via Context-Based Code Representation Learning and Attention-Based Neural Networks within the OOPSLA-track in SPLASH 2019 Author of Improving Bug Detection via Context-based Code Representation Learning and Attention-based Neural Networks within the Posters-track in SPLASH 2019
Son Nguyen The University of Texas at Dallas United States Author of Improving Bug Detection via Context-Based Code Representation Learning and Attention-Based Neural Networks within the OOPSLA-track in SPLASH 2019 Author of Improving Bug Detection via Context-based Code Representation Learning and Attention-based Neural Networks within the Posters-track in SPLASH 2019
Michael Nieke TU Braunschweig, Germany Author of Automated Metamodel Augmentation for Seamless Model Evolution Tracking and Planning within the GPCE 2019-track in GPCE 2019 Author of Harmonized Temporal Feature Modeling to Uniformly Perform, Track, Analyze and Replay Software Product Line Evolution within the GPCE 2019-track in GPCE 2019
Benjamin Barslev Nielsen Aarhus University Denmark Author of Static Analysis with Demand-Driven Value Refinement within the OOPSLA-track in SPLASH 2019 Author of Static Analysis with Demand-Driven Value Refinement within the Posters-track in SPLASH 2019
Fabio Niephaus Hasso Plattner Institute, University of Potsdam Germany Author of Language-independent Development Environment Support For Dynamic Runtimes within the DLS 2019-track in DLS 2019 Author of GraalSqueak: Toward a Smalltalk-based Tooling Platform for Polyglot Programming within the MPLR 2019-track in MPLR 2019
Oscar Nierstrasz University of Bern, Switzerland Switzerland General Chair in Organizing Committee within the SLE-track
Pengyu Nie The University of Texas at Austin Author of Design, Implementation, and Application of GPU-based Java Bytecode Interpreters within the OOPSLA Artifacts-track in SPLASH 2019 Author of Design, Implementation, and Application of GPU-Based Java Bytecode Interpreters within the OOPSLA-track in SPLASH 2019
Andy Nisbet The University of Manchester Author of Hosting OpenMP Programs on Java Virtual Machines within the MPLR 2019-track in MPLR 2019 Author of Towards a WebAssembly Standalone Runtime on GraalVM within the Posters-track in SPLASH 2019
James Noble Victoria University of Wellington New Zealand Author of The Act of Computer Programming within the LIVE 2019-track in LIVE 2019 Author of First-class Dynamic Types within the DLS 2019-track in DLS 2019 Author of Which of my Transient Type Checks are not (Almost) Free? within the VMIL 2019-track in VMIL 2019 Author of Towards Gradual Checking of Reference Capabilities within the VMIL 2019-track in VMIL 2019 Author of CallƐ: An Effect System for Method Calls within the Onward! Papers-track in SPLASH 2019 Committee Member in Program Committee within the META-track Committee Member in Program Committee within the LIVE-track Committee Member in Program Committee within the DLS-track Committee Member in Program Committee within the SPLASH Onward! Essays-track
Michael Norrish Data61 at CSIRO, Australia / Australian National University, Australia Australia Author of Designing a Low-Level Virtual Machine for Implementing Real-Time Managed Languages within the VMIL 2019-track in VMIL 2019
Ibrahim Numanagić MIT Author of Seq: A High-Performance Language for Bioinformatics within the OOPSLA-track in SPLASH 2019 Author of Seq: A High-Performance Language for Bioinformatics within the OOPSLA Artifacts-track in SPLASH 2019
Nate Nystrom Università della Svizzera italiana Author of Casting about in the Dark within the OOPSLA Artifacts-track in SPLASH 2019 Author of Experiences in Bridging from Functional to Object-Oriented Programming within the SPLASH-E-track in SPLASH 2019 Author of Casting about in the Dark: An Empirical Study of Cast Operations in Java Programs within the OOPSLA-track in SPLASH 2019
Ileana Ober University of Toulouse PC Member in Program Committee within the DSM-track
Tomohiro Oda Software Research Associates, Inc. External Reviewer in Organising Committee within the SPLASH Posters-track
Nobuhiko Ogura Tokyo City University Author of Context-Oriented Live Programming Environments with Mixed Reality System for IoT Education within the LIVE 2019-track in LIVE 2019 Author of Context-Oriented Live Programming Environments with Mixed Reality System for IoT Education within the Posters-track in SPLASH 2019
Nobuhiro Ohe Tokai Univ. Author of Context-Oriented Live Programming Environments with Mixed Reality System for IoT Education within the LIVE 2019-track in LIVE 2019 Author of Context-Oriented Live Programming Environments with Mixed Reality System for IoT Education within the Posters-track in SPLASH 2019
Yoshiki Ohshima Croquet Studios Japan Committee Member in Program Committee within the REBLS-track
Hakjoo Oh Korea University Korea, South Author of Comparison Between Object-Sensitivity and Call-Site-Sensitivity in Generalized k-Limited Context Abstraction within the Posters-track in SPLASH 2019 Author of Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments within the OOPSLA-track in SPLASH 2019 Author of Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments within the Posters-track in SPLASH 2019 Author of Precise Safety Verification of Smart Contracts within the Posters-track in SPLASH 2019 Author of Automatically Fixing Memory-Leaks within the Posters-track in SPLASH 2019 Author of Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments within the OOPSLA Artifacts-track in SPLASH 2019
Bruno C. d. S. Oliveira The University of Hong Kong, Hong Kong Hong Kong Committee Member in Program Committee within the META-track PC Co-Chair in Organizing Committee within the SLE-track
Cyrus Omar University of Chicago United States PC Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the META-track Committee Member in Program Committee within the LIVE-track
Wytse Oortwijn University of Twente Netherlands Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Sergio Oporto Universidad Privada Boliviana (UPB) Author of NAB: Automated Large-scale Multi-language Dynamic Program Analysis in Public Code Repositories within the Posters-track in SPLASH 2019
Robin Oppermann Independent Author of A Feature-Based Classification of Triple Graph Grammar Variants within the SLE 2019-track in SLE 2019
Jesper Oqvist Lund University Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in Artifact Evaluation Committee within the SLE-track
Simin Oraee Max Planck Institute for Software Systems (MPI-SWS) Author of Trace Aware Random Testing for Distributed Systems within the OOPSLA-track in SPLASH 2019
Burcu Kulahcioglu Ozkan Max Planck Institute for Software Systems (MPI-SWS) Germany Author of Trace Aware Random Testing for Distributed Systems within the OOPSLA-track in SPLASH 2019
André Pacak JGU Mainz Germany Author of Generating Incremental Type Services within the IC 2019-track in IC 2019 Author of Vision Paper: Generating Incremental Type Services within the SLE 2019-track in SLE 2019 Author of Vision Paper: Generating Incremental Type Services within the Posters-track in SPLASH 2019
Saswat Padhi University of California, Los Angeles United States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Rohan Padhye University of California, Berkeley Author of Efficient Fail-Fast Dynamic Subtype Checking within the VMIL 2019-track in VMIL 2019 Author of FuzzFactory: Domain-Specific Fuzzing with Waypoints within the OOPSLA Artifacts-track in SPLASH 2019 Author of FuzzFactory: Domain-Specific Fuzzing with Waypoints within the OOPSLA-track in SPLASH 2019 Author of ChocoPy: A Programming Language for Compilers Courses within the SPLASH-E-track in SPLASH 2019
Jens Palsberg University of California, Los Angeles Steering Committee Member in Steering Committee for SPLASH 2019 Session Chair of Awards / SIGPLAN Town Hall Meeting (part of SPLASH OOPSLA) Session Chair of Implementation (part of SPLASH OOPSLA) Author of NJR: Executable, Scriptable, and Searchable Java Programs within the NJR 2019-track in NJR 2019 Author of A Formalization of Java's Concurrent Access Modes within the OOPSLA Artifacts-track in SPLASH 2019 Author of A Formalization of Java’s Concurrent Access Modes within the OOPSLA-track in SPLASH 2019 Invited Speaker of Quantum Programming within the Rebase-track in SPLASH 2019 Committee Member in Organizing Committee within the NJR-track
Pavel Panchekha University of Utah United States Author of Modular Verification of Web Page Layout within the OOPSLA-track in SPLASH 2019
Rong Pan University of Texas at Austin Author of Automatic Repair of Regular Expressions within the OOPSLA-track in SPLASH 2019 Author of Automatic Repair of Regular Expressions within the OOPSLA Artifacts-track in SPLASH 2019
Nick Papoulias Université Grenoble Alpes, France France Session Chair of Types and Tools (part of DLS) Author of The Lands Platform: Lan.guages and D.omain S.yntax, Tool Demo within the SLE 2019-track in SLE 2019 Committee Member in Program Committee within the DLS-track
Matthew Parkinson Microsoft Research, UK United Kingdom Committee Member in Program Committee within the MPLR-track
William Parkinson Urthecast Canada Author of Remote Sensing and Data Dilemmas within the STOKED 2019-track in STOKED 2019 Committee Member in Program Committee within the STOKED-track
Jihyeok Park KAIST, South Korea South Korea Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Andreas Pavlogiannis EPFL Author of Value-Centric Dynamic Partial Order Reduction within the OOPSLA-track in SPLASH 2019
Hannes Payer Google Committee Member in Program Committee within the DLS-track
David Pearce Victoria University of Wellington, New Zealand United Kingdom Committee Member in Program Committee within the VMIL-track Committee Member in Program Committee within the GPCE-track
Patrizio Pelliccione Chalmers \| University of Gothenburg Italy Author of Higher-Level Mission Specification for Multiple Robots within the SLE 2019-track in SLE 2019
Daniel A. A. Pelsmaeker Delft University of Technology, Netherlands Netherlands Author of Language-Parametric Semantic Editor Services based on Declarative Type System Specifications within the Posters-track in SPLASH 2019
Fernando Magno Quintão Pereira UFMG Brazil Author of Qubit Allocation as a Combination of Subgraph Isomorphism and Token Swapping within the OOPSLA Artifacts-track in SPLASH 2019 Author of Qubit Allocation as a Combination of Subgraph Isomorphism and Token Swapping within the OOPSLA-track in SPLASH 2019
Roly Perera The Alan Turing Institute United Kingdom Author of The meaning of a program change is a change to the program’s meaning within the IC 2019-track in IC 2019 Committee Member in Organizing Committee within the LIVE-track Committee Member in Program Committee within the SPLASH Onward! Essays-track
Santiago Perez De Rosso MIT CSAIL Author of Declarative Assembly of Web Applications from Predefined Concepts within the Onward! Papers-track in SPLASH 2019
Ivan Perez NIA / NASA Formal Methods Author of Streams, Reactivity and FRP: where we are, where to go within the REBLS-track in REBLS 2019 Committee Member in Program Committee within the REBLS-track
John Peter Campora III University of Louisiana at Lafayette United States Author of Generating Precise Error Specifications for C: A Zero Shot Learning Approach within the OOPSLA-track in SPLASH 2019
Erez Petrank Technion - Israel Israel Author of Efficient Lock-Free Durable Sets within the OOPSLA-track in SPLASH 2019
Tomas Petricek University of Kent United Kingdom Onward! Essays Chair in Organizing Committee for SPLASH 2019 Session Chair of Sack keynote (part of SPLASH Keynotes) Author of Histogram: You have to know the past to understand the present within the LIVE 2019-track in LIVE 2019 Author in Onward! Steering Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the LIVE-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track Program Chair in Program Committee within the SPLASH Onward! Essays-track
Dzung Pham Williams College Author of Evaluating ProDirect Manipulation in Hour of Code within the SPLASH-E-track in SPLASH 2019
Tuan Phong Ngo Uppsala University, Sweden Sweden Author of Optimal Stateless Model Checking for Reads-from Equivalence under Sequential Consistency within the OOPSLA Artifacts-track in SPLASH 2019 Author of Optimal Stateless Model Checking for Reads-From Equivalence under Sequential Consistency within the OOPSLA-track in SPLASH 2019
Jean Pichon-Pharabod University of Cambridge Author of Weakening WebAssembly within the OOPSLA-track in SPLASH 2019
Alfonso Pierantonio Committee Member in Program Committee within the SLE-track
Benjamin C. Pierce University of Pennsylvania United States Steering Committee Member in Steering Committee for SPLASH 2019 Author of Coverage Guided, Property Based Testing within the OOPSLA-track in SPLASH 2019 Committee Member in External Review Committee within the SPLASH OOPSLA-track Author in Onward! Steering Committee within the SPLASH Onward! Papers-track Committee Member in Steering Committee within the DLS-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Luís Pina George Mason University United States Author in Reviewers within the SPLASH SRC-track
Donald Pinckney University of Massachusetts Amherst United States Author of Formal Foundations of Serverless Computing within the OOPSLA-track in SPLASH 2019
Keshav Pingali The University of Texas at Austin Author of Derivative Grammars: A Symbolic Approach to Parsing with Derivatives within the OOPSLA-track in SPLASH 2019
Matthew Plaudis Graduate Student intern at Esri, Canada Author of Storming Charrettes! Urban Planning Using Touch Surface Technology within the STOKED 2019-track in STOKED 2019
Oleg Pliss Oracle Labs Author of Initialize Once, Start Fast: Application Initialization at Build Time within the OOPSLA-track in SPLASH 2019
Martin Pluemicke DHBW Baden-Wuerttemberg Cooperative State University Germany Steering Committee Member in Steering Committee within the MPLR-track
Guillermo Polito Univ. Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL - Centre de Recherche en Informatique Signal et Automatique de Lille Argentina Author of Sindarin: a Versatile Scripting API for the Pharo Debugger within the DLS 2019-track in DLS 2019 Committee Member in Program Committee within the META-track
Joe Gibbs Politz University of California San Diego, United States United States Committee Member in Program Committee within the DLS-track
Federico Poli ETH Zurich, Switzerland Author of Leveraging Rust Types for Modular Specification and Verification within the OOPSLA-track in SPLASH 2019 Author of Leveraging Rust Types for Modular Specification and Verification within the OOPSLA Artifacts-track in SPLASH 2019
Josh Pollock University of Washington United States Author of Theia: Automatically Generating Correct Program State Visualizations within the SPLASH-E-track in SPLASH 2019
Julien Ponge Red Hat, Inc. France Committee Member in Program Committee within the DLS-track
Jaroslav Porubän Technical University of Košice, Slovakia Committee Member in Program Committee within the SLE-track
Alex Potanin Victoria University of Wellington New Zealand Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the GPCE-track
Michael Pradel University of Stuttgart Germany Author of Getafix: Learning to Fix Bugs Automatically within the OOPSLA-track in SPLASH 2019 Author of Getafix: Learning to Fix Bugs Automatically within the Posters-track in SPLASH 2019 Committee Member in Program Committee within the SPLASH Doctoral Symposium-track
Swarn Priya Purdue University Author of Mergeable Replicated Data Types within the OOPSLA-track in SPLASH 2019
Christian Probst Unitec Institute of Technology New Zealand Steering Committee Member in Steering Committee within the MPLR-track
Aleksandar Prokopec Oracle Labs Switzerland Author of Renaissance: A Modern Benchmark Suite for Parallel Applications on the JVM within the Posters-track in SPLASH 2019
Herbert Prähofer Johannes Kepler University Linz Author of Harmonized Temporal Feature Modeling to Uniformly Perform, Track, Analyze and Replay Software Product Line Evolution within the GPCE 2019-track in GPCE 2019 Author of Supporting Feature Model Evolution by Suggesting Constraints from Code-Level Dependency Analyses within the GPCE 2019-track in GPCE 2019
Markus Püschel ETH Zürich Switzerland Author of A Stage-Polymorphic IR for Compiling MATLAB-Style Dynamic Tensor Expressions within the GPCE 2019-track in GPCE 2019
Junqiao Qiu University of California, Riverside Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Xiaokang Qiu Purdue University United States Author of Program Synthesis with Algebraic Library Specifications within the OOPSLA Artifacts-track in SPLASH 2019 Author of Program Synthesis with Algebraic Library Specifications within the OOPSLA-track in SPLASH 2019
Jenny Quillien Embodied Making Institute Committee Member in Program Committee within the SPLASH Onward! Essays-track
Azalea Raad MPI-SWS, Germany United Kingdom Author of Effective Lock Handling In Stateless Model Checking within the OOPSLA Artifacts-track in SPLASH 2019 Panelist of Panel: Current PhD Students and Postdocs within the PLMW-track in SPLASH 2019 Author of Weak Persistency Semantics from the Ground Up: Formalising the Persistency Semantics of ARMv8 and Transactional Models within the OOPSLA-track in SPLASH 2019 Author of Effective Lock Handling in Stateless Model Checking within the Posters-track in SPLASH 2019 Author of Effective Lock Handling in Stateless Model Checking within the OOPSLA-track in SPLASH 2019 Panelist in Speakers & Panelists within the SPLASH PLMW-track
Rodric Rabbah Invited Speaker of The Dawn of the Cloud Computer within the Rebase-track in SPLASH 2019
Dimitri Racordon University of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland Author of Implementing a Language with Explicit Assignment Semantics within the VMIL 2019-track in VMIL 2019
Gabriel Radanne University of Freiburg, Germany France Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Arjun Radhakrishna Microsoft Author of On the Fly Synthesis of Edit Suggestions within the OOPSLA-track in SPLASH 2019 Author of On the Fly Synthesis of Edit Suggestions within the Posters-track in SPLASH 2019 Author of On the Fly Synthesis of Edit Suggestions within the OOPSLA Artifacts-track in SPLASH 2019
Vincent Rahli University of Birmingham Author of Asphalion: Trustworthy Shielding against Byzantine Faults within the OOPSLA-track in SPLASH 2019 Author of Asphalion: Trustworthy Shielding against Byzantine Faults within the Posters-track in SPLASH 2019 Author of Asphalion: Trustworthy Shielding Against Byzantine Faults within the OOPSLA Artifacts-track in SPLASH 2019
Kia Rahmani Purdue University United States Author of CLOTHO: Directed Test Generation for Weakly Consistent Database Systems within the OOPSLA-track in SPLASH 2019
G. Ramalingam Microsoft Research India Committee Member in External Review Committee within the SPLASH OOPSLA-track
Stefan Ramson Hasso Plattner Institute, Germany Author of An Exploratory Literature Study on Live-Tooling in the Game Industry within the LIVE 2019-track in LIVE 2019
Marianna Rapoport University of Waterloo Canada Session Chair of Being a PhD Student (part of SPLASH PLMW) Session Chair of Practical Bits (Grads) (part of SPLASH PLMW) Author of A Path to DOT: Formalizing Fully Path-Dependent Types within the OOPSLA Artifacts-track in SPLASH 2019 Author of A Path to DOT: Formalizing Fully Path-Dependent Types within the OOPSLA-track in SPLASH 2019 Contributor/Author of Introduction within the PLMW-track in SPLASH 2019 Contributor/Author of Icebreaker and Networking Activity within the PLMW-track in SPLASH 2019 Co-chair in Organizing Committee within the SPLASH PLMW-track
Ari Rasch University of Münster Author of Performance, Portability, and Productivity for Data-Parallel Applications on Multi- and Many-Core Architectures within the Posters-track in SPLASH 2019 Author of Performance, Portability, and Productivity for Data-Parallel Applications on Multi- and Many-Core Architectures within the Doctoral Symposium-track in SPLASH 2019
Moeketsi Raselimo Stellenbosch University Author of Spectrum-Based Fault Localization for Context-Free Grammars within the SLE 2019-track in SLE 2019 Author of Breaking Parsers: Mutation-based Generation of Programs with Guaranteed Syntax Errors within the SLE 2019-track in SLE 2019
Mohammad Javad Rashti Chamran University Committee Member in Program Committee within the AI-SEPS-track
Veselin Raychev DeepCode AG Author of Beyond Neural Networks for Programming: How to Learn from Programs within the NJR 2019-track in NJR 2019
Josh Reese University of Maryland, College Park Author of Program Synthesis with Algebraic Library Specifications within the OOPSLA Artifacts-track in SPLASH 2019 Author of Program Synthesis with Algebraic Library Specifications within the OOPSLA-track in SPLASH 2019
Christoph Reichenbach Lund University Sweden Poster Chair in Organizing Committee for SPLASH 2019 Session Chair of Synthesis (part of SPLASH OOPSLA) Session Chair of GPCE Keynote (part of GPCE) Co-chair in Organising Committee within the SPLASH Posters-track PC Co-Chair in Organizing Committee within the GPCE-track
Patrick Rein Hasso Plattner Institute, Germany Germany Author of Ambiguous, Informal, and Unsound: Metaprogramming for Naturalness within the META 2019-track in META 2019 Author of An Exploratory Literature Study on Live-Tooling in the Game Industry within the LIVE 2019-track in LIVE 2019 Committee Member in Program Committee within the LIVE-track
Alessandro Ricci University of Bologna, Italy Committee Member in Program Committee within the AGERE-track
Gregor Richards University of Waterloo Canada Committee Member in Program Committee within the MPLR-track Committee Member in Program Committee within the DLS-track
David Richter Technische Universität Darmstadt Author of Turning Unobservable into Unreachable: Dynamic Reactive Programming without Leaks within the REBLS-track in REBLS 2019 Author of Turning Unobservable into Unreachable: Dynamic Reactive Programming without Leaks within the Posters-track in SPLASH 2019
Karina Rigby Greg Marshall Design Author of Challenges and Considerations in 3D Interactive Interfaces within the STOKED 2019-track in STOKED 2019
Manuel Rigger ETH Zurich Switzerland Author of Supporting On-Stack Replacement in Unstructured Languages by Loop Reconstruction and Extraction within the MPLR 2019-track in MPLR 2019 Author of Supporting On-Stack Replacement in Unstructured Languages by Loop Reconstruction and Extraction within the Posters-track in SPLASH 2019 Committee Member in Program Committee within the MPLR-track
Alexander Rimer itemis AG Author of Shadow Models [Tool Demo] -- Incremental Transformations for MPS within the SLE 2019-track in SLE 2019
Martin Rinard MIT United States Author of Active Learning for Software Engineering within the Onward! Papers-track in SPLASH 2019 Author of AL: Autogenerating Supervised Learning Programs within the OOPSLA-track in SPLASH 2019
Michael Ringenburg Cray, Inc. United States Committee Member in Program Committee within the AI-SEPS-track
Richard Roberts Victoria University of Wellington New Zealand Author of Which of my Transient Type Checks are not (Almost) Free? within the VMIL 2019-track in VMIL 2019 Committee Member in Program Committee within the DLS-track
Patrick Robrecht Independent Author of A Feature-Based Classification of Triple Graph Grammar Variants within the SLE 2019-track in SLE 2019
Juri Di Rocco Università di L'Aquila Italy Committee Member in Artifact Evaluation Committee within the SLE-track
Noemi Rodrigues PUC-Rio Committee Member in Program Committee within the REBLS-track
Julius Roede University of Amsterdam Author of Component-Based Computation-Energy Modeling for Embedded Systems within the Posters-track in SPLASH 2019
Jake Roemer Ohio State University Author of Dependence-Aware, Unbounded Sound Predictive Race Detection within the Posters-track in SPLASH 2019 Author of Dependence-Aware, Unbounded Sound Predictive Race Detection within the OOPSLA-track in SPLASH 2019
Jared Roesch University of Washington, USA United States Author of Theia: Automatically Generating Correct Program State Visualizations within the SPLASH-E-track in SPLASH 2019
Tiark Rompf Purdue University United States Session Chair of Language Design (part of SPLASH OOPSLA) Author of A Stage-Polymorphic IR for Compiling MATLAB-Style Dynamic Tensor Expressions within the GPCE 2019-track in GPCE 2019 Author of Staged Abstract Interpreters: Fast and Modular Whole-Program Analysis via Meta-programming within the OOPSLA-track in SPLASH 2019 Author of Staged Abstract Interpreters within the OOPSLA Artifacts-track in SPLASH 2019 Author of Precise Reasoning with Structured Time, Structured Heaps, and Collective Operations within the OOPSLA-track in SPLASH 2019 Committee Member in Review Committee within the SPLASH OOPSLA-track
Eduardo Rosales University of Lugano, Switzerland Author of NAB: Automated Large-scale Multi-language Dynamic Program Analysis in Public Code Repositories within the Posters-track in SPLASH 2019
Chris Rossbach The University of Texas at Austin and VMware Research Group Author of PorcE: A Deparallelizing Compiler within the MPLR 2019-track in MPLR 2019 Author of Design, Implementation, and Application of GPU-based Java Bytecode Interpreters within the OOPSLA Artifacts-track in SPLASH 2019 Author of Design, Implementation, and Application of GPU-Based Java Bytecode Interpreters within the OOPSLA-track in SPLASH 2019
Andreas Rossberg Dfinity Stiftung Germany Author of Keynote 2: Who is afraid of the Turnstile? within the VMIL 2019-track in VMIL 2019 Author of Weakening WebAssembly within the OOPSLA-track in SPLASH 2019 Keynote Speaker of Keynote: Bridging the Gap (or Falling into It) within the Doctoral Symposium-track in SPLASH 2019
Matti Rossi Aalto University School of Business Session Chair of Experience reports and demo (part of DSM) Session Chair of Introduction and keynote (part of DSM) Committee Member in Organizing Committee within the DSM-track
Grigore Rosu University of Illinois at Urbana-Champaign United States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Andrea Rosà University of Lugano, Switzerland Switzerland Session Chair of Session #4 (part of VMIL) Session Chair of Applications (part of MPLR) Author of NAB: Automated Large-scale Multi-language Dynamic Program Analysis in Public Code Repositories within the NJR 2019-track in NJR 2019 Author of NAB: Automated Large-scale Multi-language Dynamic Program Analysis in Public Code Repositories within the Posters-track in SPLASH 2019 Author of Renaissance: A Modern Benchmark Suite for Parallel Applications on the JVM within the Posters-track in SPLASH 2019 Committee Member in Program Committee within the MPLR-track
Benjamin Rouxel University of Amsterdam Author of Component-Based Computation-Energy Modeling for Embedded Systems within the Posters-track in SPLASH 2019
Bernhard Rumpe RWTH Aachen Germany Committee Member in Program Committee within the SLE-track
Jake Runzer Prodo United Kingdom Committee Member in Program Committee within the LIVE-track
Jacqueline Russell Microsoft Author of Microsoft MakeCode: Embedded Programming for Education, in Blocks and TypeScript within the SPLASH-E-track in SPLASH 2019
Yann Régis-Gianas IRIF, University Paris Diderot and CNRS, France / INRIA PI.R2 France Committee Member in Program Committee within the SLE-track
Aleksandar S. Dimovski Author of Lifted Static Analysis using a Binary Decision Diagram Abstract Domain within the GPCE 2019-track in GPCE 2019
Warren Sack University of California, Santa Cruz United States Keynote Speaker of The Software Arts within the Keynotes-track in SPLASH 2019
Caitlin Sadowski Google United States Sponsorship Chair in Organizing Committee for SPLASH 2019
Konstantinos (Kostis) Sagonas Uppsala University, Sweden Sweden Author of Optimal Stateless Model Checking for Reads-from Equivalence under Sequential Consistency within the OOPSLA Artifacts-track in SPLASH 2019 Author of Optimal Stateless Model Checking for Reads-From Equivalence under Sequential Consistency within the OOPSLA-track in SPLASH 2019
Kostas Saidis University of Athens Greece Accessibility Chair in Organizing Committee for SPLASH 2019
Makoto Sakane Japan Women’s University Author of Puppy: An Educational Simplification of Python with a Live Playground within the LIVE 2019-track in LIVE 2019 Author of Puppy: An Educational Simplification of Python with a Live Playground within the Posters-track in SPLASH 2019
Yoshitaka Sakurai Tokyo Institute of Technology Author of Towards a Statically Scheduled Parallel Execution of an FRP Language for Embedded Systems within the REBLS-track in REBLS 2019
Kouhei Sakurai Graduate School of Natural Science & Technology, Kanazawa University Author of Actor-based Incremental Tree Data Processing for Large-scale Machine Learning Applications within the AGERE 2019-track in AGERE 2019
Salim S. Salim University of Manchester Author of Towards a WebAssembly Standalone Runtime on GraalVM within the Posters-track in SPLASH 2019
Guido Salvaneschi Technische Universität Darmstadt Session Chair of Product lines (part of GPCE) Author of Multitier Reactive Programming in High Performance Computing within the REBLS-track in REBLS 2019 Author of GRASS: Generic Reactive Application-Specific Scheduling within the REBLS-track in REBLS 2019 Author of A Fault-Tolerant Programming Model for Distributed Interactive Applications within the Posters-track in SPLASH 2019 Author of A Fault-Tolerant Programming Model for Distributed Interactive Applications within the OOPSLA-track in SPLASH 2019 Author of Distributed Object-oriented Programming with Multiple Consistency Levels in ConSysT within the Posters-track in SPLASH 2019 Author of Multitier Reactive Programming in High Performance Computing within the Posters-track in SPLASH 2019 Author of Language-Integrated Privacy-Aware Distributed Queries within the Posters-track in SPLASH 2019 Author of Language-Integrated Privacy-Aware Distributed Queries within the OOPSLA-track in SPLASH 2019 Committee Member in Program Committee within the MPLR-track Committee Member in Program Committee within the SPLASH Doctoral Symposium-track Committee Member in Organizing Committee within the IC-track Committee Member in Organizing Committee within the REBLS-track Committee Member in Organizing Committee within the REBLS-track
Malavika Samak CSAIL, MIT United States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Yuyang Sang Yale University Author of DeepSEA: A Language for Certified System Software within the Posters-track in SPLASH 2019 Author of DeepSEA: A Language for Certified System Software within the OOPSLA-track in SPLASH 2019
Francisco Sant'Anna Rio de Janeiro State University Brazil Committee Member in Organizing Committee within the REBLS-track
Vinícius Fernandes dos Santos UFMG Author of Qubit Allocation as a Combination of Subgraph Isomorphism and Token Swapping within the OOPSLA Artifacts-track in SPLASH 2019 Author of Qubit Allocation as a Combination of Subgraph Isomorphism and Token Swapping within the OOPSLA-track in SPLASH 2019
Yasmin Sarita Cornell University Author of ApproxHPVM: A Portable Compiler IR for Accuracy-Aware Optimizations within the OOPSLA-track in SPLASH 2019
John Sarracino University of California, San Diego Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Jennifer B. Sartor Ghent University and Vrije Universiteit Brussel Belgium Committee Member in External Review Committee within the SPLASH OOPSLA-track
Yukinori Sato Toyohashi University of Technology Japan Session Chair of Papers (part of AI-SEPS) Steering Committee Member in Steering Committee within the AI-SEPS-track
Mikiko Sato Tokai University Author of Context-Oriented Live Programming Environments with Mixed Reality System for IoT Education within the LIVE 2019-track in LIVE 2019 Author of Context-Oriented Live Programming Environments with Mixed Reality System for IoT Education within the Posters-track in SPLASH 2019
Shigeyuki Sato The University of Tokyo Author of A Symmetry-Based $N$-Body Solver Compiler within the Posters-track in SPLASH 2019
Vibha Sazawal University of Maryland United States Committee Member in Program Commitee within the SPLASH -E-track
Ina Schaefer Technische Universität Braunschweig Germany General Chair in Organizing Committee within the GPCE-track
Roland Schatz Johannes Kepler University Linz Author of Supporting On-Stack Replacement in Unstructured Languages by Loop Reconstruction and Extraction within the MPLR 2019-track in MPLR 2019 Author of Supporting On-Stack Replacement in Unstructured Languages by Loop Reconstruction and Extraction within the Posters-track in SPLASH 2019
Alexander Schlecht University of Louisiana at Lafayette Author of Generating Precise Error Specifications for C: A Zero Shot Learning Approach within the OOPSLA-track in SPLASH 2019
Christophe Scholliers Universiteit Gent, Belgium Session Chair of Concurrency and Data Structures (part of META) Session Chair of Tooling (part of META) Author of WARDuino: A Dynamic WebAssembly Virtual Machine for Programming Microcontrollers within the MPLR 2019-track in MPLR 2019 Author of WARDuino: A Dynamic WebAssembly Virtual Machine for Programming Microcontrollers within the Posters-track in SPLASH 2019 Committee Member in Program Committee within the SPLASH Doctoral Symposium-track Organizing Committee in Organizing Committee within the META-track
Bernhard Scholz University of Sydney, Australia Author of Incremental Datalog Prototype in Soufflé within the IC 2019-track in IC 2019 Committee Member in Program Committee within the IC-track
Markus Schordan Lawrence Livermore National Laboratory United States Committee Member in Program Committee within the SLE-track
Ulrik Schultz University of Southern Denmark Session Chair of Domain-specific languages and modeling (part of GPCE) Author of Component-Based Computation-Energy Modeling for Embedded Systems within the Posters-track in SPLASH 2019 Committee Member in Program Committee within the GPCE-track
Richard Schulze University of Münster Author of Performance, Portability, and Productivity for Data-Parallel Applications on Multi- and Many-Core Architectures within the Posters-track in SPLASH 2019
Sandro Schulze University of Magdeburg, Germany Germany Committee Member in Program Committee within the GPCE-track
Christopher Schuster Google United States Committee Member in Program Committee within the LIVE-track
Andy Schürr Technische Universität Darmstadt Author of Consistency Management via a Combination of Triple Graph Grammars and Linear Programming within the SLE 2019-track in SLE 2019
Lars Schütze Technische Universität Dresden Germany Author of Efficient Late Binding of Dynamic Function Compositions within the SLE 2019-track in SLE 2019
Andrew Scott Facebook Author of Getafix: Learning to Fix Bugs Automatically within the OOPSLA-track in SPLASH 2019 Author of Getafix: Learning to Fix Bugs Automatically within the Posters-track in SPLASH 2019
Elizabeth Scott Royal Holloway University of London Session Chair of Session 2: Grammars (part of SLE) Author of Multiple Lexicalisation - A Java Based Study within the SLE 2019-track in SLE 2019 Committee Member in Program Committee within the SLE-track Committee Member in Program Committee within the SLE-track
Neil Sculthorpe Nottingham Trent University, UK Committee Member in Program Committee within the SLE-track
Chris Seaton Shopify United Kingdom Committee Member in Program Committee within the DLS-track
Adam Seewald University of Southern Denmark Author of Component-Based Computation-Energy Modeling for Embedded Systems within the Posters-track in SPLASH 2019
Christoph Seidl Technische Universität Braunschweig Author of Automated Metamodel Augmentation for Seamless Model Evolution Tracking and Planning within the GPCE 2019-track in GPCE 2019 Author of Harmonized Temporal Feature Modeling to Uniformly Perform, Track, Analyze and Replay Software Product Line Evolution within the GPCE 2019-track in GPCE 2019 Committee Member in Program Committee within the GPCE-track
Philipp Seifer University of Koblenz-Landau, Germany Author of Empirical Study on the Usage of Graph Query Languages in Open Source Java Projects within the SLE 2019-track in SLE 2019
Koushik Sen University of California, Berkeley United States Author of Efficient Fail-Fast Dynamic Subtype Checking within the VMIL 2019-track in VMIL 2019 Author of AutoPandas: Neural-Backed Generators for Program Synthesis within the OOPSLA-track in SPLASH 2019 Author of FuzzFactory: Domain-Specific Fuzzing with Waypoints within the OOPSLA Artifacts-track in SPLASH 2019 Author of FuzzFactory: Domain-Specific Fuzzing with Waypoints within the OOPSLA-track in SPLASH 2019 Author of ChocoPy: A Programming Language for Compilers Courses within the SPLASH-E-track in SPLASH 2019 Author of Aroma: Code Recommendation via Structural Code Search within the OOPSLA-track in SPLASH 2019 Author of Aroma: Code Recommendation via Structural Code Search within the Posters-track in SPLASH 2019
Ilya Sergey Yale-NUS College and National University of Singapore Singapore Author of Safer Smart Contract Programming with Scilla within the OOPSLA-track in SPLASH 2019 Author of Safer Smart Contract Programming with Scilla within the OOPSLA Artifacts-track in SPLASH 2019
Manuel Serrano Inria, France Committee Member in Program Committee within the DLS-track
Marco Servetto Victoria University Wellington, New Zealand Author of Mμl: The Power of Dynamic Multi-Methods within the META 2019-track in META 2019 Author of CallƐ: An Effect System for Method Calls within the Onward! Papers-track in SPLASH 2019 Committee Member in Program Committee within the SLE-track
Peter Sewell University of Cambridge Committee Member in External Review Committee within the SPLASH OOPSLA-track
Amir Shaikhha University of Oxford Author of Compiler Generation for Performance-Oriented Embedded DSLs (Short Paper) within the GPCE 2019-track in GPCE 2019 Author of Polymorphic Extractors for Semantic and Portable Pattern Matching (Short Paper) within the GPCE 2019-track in GPCE 2019
Ariya Shajii MIT Author of Seq: A High-Performance Language for Bioinformatics within the OOPSLA-track in SPLASH 2019 Author of Seq: A High-Performance Language for Bioinformatics within the OOPSLA Artifacts-track in SPLASH 2019
Alex Shan University of California, Berkeley Author of Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential Privacy within the OOPSLA-track in SPLASH 2019 Author of Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy within the OOPSLA Artifacts-track in SPLASH 2019
Zhong Shao Yale University United States Author of DeepSEA: A Language for Certified System Software within the Posters-track in SPLASH 2019 Author of DeepSEA: A Language for Certified System Software within the OOPSLA-track in SPLASH 2019
Hashim Sharif University of Illinois at Urbana-Champaign Author of ApproxHPVM: A Portable Compiler IR for Accuracy-Aware Optimizations within the OOPSLA-track in SPLASH 2019
Nikhil Sharma University of California, Berkeley Author of Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential Privacy within the OOPSLA-track in SPLASH 2019 Author of Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy within the OOPSLA Artifacts-track in SPLASH 2019
Gali Sheffi Technion - Israel Author of Efficient Lock-Free Durable Sets within the OOPSLA-track in SPLASH 2019
Bo Shen Peking University China Author of IntelliMerge: A Refactoring-Aware Software Merging Technique within the OOPSLA-track in SPLASH 2019
Xipeng Shen North Carolina State University United States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Jiasi Shen Massachusetts Institute of Technology Author of Active Learning for Software Engineering within the Onward! Papers-track in SPLASH 2019
Taiki Shimizu Graduate School of Natural Science & Technology, Kanazawa University Author of Actor-based Incremental Tree Data Processing for Large-scale Machine Learning Applications within the AGERE 2019-track in AGERE 2019
Boris Shingarov LabWare Canada Author of Formal Verification of JIT by Symbolic Execution within the VMIL 2019-track in VMIL 2019
August Shi University of Illinois at Urbana-Champaign Author of Reflection-Aware Static Regression Test Selection within the OOPSLA-track in SPLASH 2019
Jeremy G. Siek Indiana University, USA United States Author of Optimizing and Evaluating Transient Gradual Typing within the DLS 2019-track in DLS 2019
Maarten P. Sijm Delft University of Technology Netherlands Author of Incremental Scannerless Generalized LR Parsing within the SRC-track in SPLASH 2019 Author of Incremental Scannerless Generalized LR Parsing within the Posters-track in SPLASH 2019
Laurent Simon Samsung Research America Author of FuzzFactory: Domain-Specific Fuzzing with Waypoints within the OOPSLA Artifacts-track in SPLASH 2019 Author of FuzzFactory: Domain-Specific Fuzzing with Waypoints within the OOPSLA-track in SPLASH 2019
Doug Simon Oracle Labs Switzerland Author of Renaissance: A Modern Benchmark Suite for Parallel Applications on the JVM within the Posters-track in SPLASH 2019
Jeremy Singer University of Glasgow United Kingdom Author of Python Programmers have GPUs too: Automatic Python Loop Parallelization with Staged Dependence Analysis within the DLS 2019-track in DLS 2019 Committee Member in Program Committee within the DLS-track
Marcos Yukio Siraichi UFMG Author of Qubit Allocation as a Combination of Subgraph Isomorphism and Token Swapping within the OOPSLA Artifacts-track in SPLASH 2019 Author of Qubit Allocation as a Combination of Subgraph Isomorphism and Token Swapping within the OOPSLA-track in SPLASH 2019
KC Sivaramakrishnan IIT Madras India Author of Mergeable Replicated Data Types within the OOPSLA-track in SPLASH 2019
Vilhelm Sjöberg Yale University Author of DeepSEA: A Language for Certified System Software within the Posters-track in SPLASH 2019 Author of DeepSEA: A Language for Certified System Software within the OOPSLA-track in SPLASH 2019
Jan Sliacky Faculty of Informatics, Czech Technical University Czech Republic Author of Lambdulus: Teaching Lambda Calculus Practically within the SPLASH-E-track in SPLASH 2019
Yannis Smaragdakis University of Athens Steering Committee Member in Steering Committee for SPLASH 2019 General Chair in Organizing Committee for SPLASH 2019 Session Chair of Dellaert keynote (closing) (part of SPLASH Keynotes) Session Chair of Rebase Keynote (Might) (part of SPLASH Rebase) Speaker of Why do a PhD? within the PLMW-track in SPLASH 2019 Author of Next-Paradigm Programming Languages: What Will They Look Like and What Changes Will They Bring? within the Onward! Essays-track in SPLASH 2019 Chair of Welcome, Introduction within the Rebase-track in SPLASH 2019 Speaker in Speakers & Panelists within the SPLASH PLMW-track
Ben Smith Graduate Student intern at Urthecast Canada Author of Machine Learning with Remote Sensing Data within the STOKED 2019-track in STOKED 2019
Jeff Smits Delft University of Technology Netherlands Author of From Whole Program Compilation to Incremental Compilation: A Critical Case within the IC 2019-track in IC 2019
Steven Smyth Kiel University Committee Member in Program Committee within the REBLS-track
Gustavo Soares Microsoft United States Author of On the Fly Synthesis of Edit Suggestions within the OOPSLA-track in SPLASH 2019 Author of On the Fly Synthesis of Edit Suggestions within the Posters-track in SPLASH 2019 Author of On the Fly Synthesis of Edit Suggestions within the OOPSLA Artifacts-track in SPLASH 2019
Larissa Soares Universidade Federal da Bahia Committee Member in Program Committee within the GPCE-track
Tim Soethout ING Bank and Centrum Wiskunde & Informatica (CWI), The Netherlands Author of Static Local Coordination Avoidance for Distributed Objects within the AGERE 2019-track in AGERE 2019 Author of Exploiting Models for Scalable and High Throughput Distributed Software within the Doctoral Symposium-track in SPLASH 2019
Daniel Sokolowski Technische Universität Darmstadt Germany Author of Multitier Reactive Programming in High Performance Computing within the REBLS-track in REBLS 2019 Author of Multitier Reactive Programming in High Performance Computing within the Posters-track in SPLASH 2019 Author of Language-Integrated Privacy-Aware Distributed Queries within the Posters-track in SPLASH 2019 Author of Language-Integrated Privacy-Aware Distributed Queries within the OOPSLA-track in SPLASH 2019
Armando Solar-Lezama Massachusetts Institute of Technology United States Author of Probabilistic Verification of Fairness Properties via Concentration within the OOPSLA-track in SPLASH 2019 Author of Program Synthesis with Algebraic Library Specifications within the OOPSLA Artifacts-track in SPLASH 2019 Author of Program Synthesis with Algebraic Library Specifications within the OOPSLA-track in SPLASH 2019
Roelof Sol Delft University of Technology Author of Precise, Efficient, and Expressive Incremental Build Scripts with PIE within the IC 2019-track in IC 2019
Neel Somani University of California, Berkeley Author of Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential Privacy within the OOPSLA-track in SPLASH 2019 Author of Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy within the OOPSLA Artifacts-track in SPLASH 2019
Dawn Song University of California, Berkeley Author of Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential Privacy within the OOPSLA-track in SPLASH 2019 Author of Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy within the OOPSLA Artifacts-track in SPLASH 2019
Dowon Song Korea University Author of Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments within the OOPSLA-track in SPLASH 2019 Author of Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments within the Posters-track in SPLASH 2019 Author of Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments within the OOPSLA Artifacts-track in SPLASH 2019
Vasco Sousa Université de Montréal Author of Operationalizing the Integration of User Interaction Specifications in the Synthesis of Modeling Editors within the SLE 2019-track in SLE 2019
Beatriz Souza Federal University of Campina Grande Author of Is Mutation Score a Fair Metric? within the SRC-track in SPLASH 2019
Sunbeom So Korea University Author of Precise Safety Verification of Smart Contracts within the Posters-track in SPLASH 2019
Diomidis Spinellis Athens University of Economics and Business Greece Invited Speaker of Growing thousandfold over a half-century: Form and forces of Unix architectural evolution within the Rebase-track in SPLASH 2019
Jonathan Sprinkle University of Arizona Session Chair of Introduction and keynote (part of DSM) Committee Member in Organizing Committee within the DSM-track
Manu Sridharan University of California Riverside United States Steering Committee Member in Steering Committee for SPLASH 2019 Author of Optimization of Swift Protocols within the OOPSLA-track in SPLASH 2019 Author of Optimization of Swift Protocols within the OOPSLA Artifacts-track in SPLASH 2019 Committee Member in Review Committee within the SPLASH OOPSLA-track
Prakalp Srivastava University of Illinois at Urbana-Champaign Author of ApproxHPVM: A Portable Compiler IR for Accuracy-Aware Optimizations within the OOPSLA-track in SPLASH 2019
Steffen Staab University of Koblenz-Landau and University of Southampton, Germany Author of Empirical Study on the Usage of Graph Query Languages in Open Source Java Projects within the SLE 2019-track in SLE 2019
Lukas Stadler Oracle Labs, Austria Austria Committee Member in Program Committee within the MPLR-track
Kai Stadtmüller Karlsruhe University of Applied Sciences Germany Author of Predicting All Data Race Pairs for a Specific Schedule within the MPLR 2019-track in MPLR 2019
Codrut Stancu Oracle Labs Author of Initialize Once, Start Fast: Application Initialization at Build Time within the OOPSLA-track in SPLASH 2019
Phillip Stanley-Marbell University of Cambridge United Kingdom Invited Speaker of Augmenting Raw Materials with Sensing and Computation within the Rebase-track in SPLASH 2019
Kalliopi Evangelia Stavroulia Cyprus University of Technology Author of Designing immersive virtual training environments for experiential learning within the SRC-track in SPLASH 2019
Guy L. Steele Jr. Oracle Labs United States PC Member in Program Committee within the SPLASH Onward! Papers-track
Friedrich Steimann Fernuni Hagen Session Chair of Modular Verification (part of SPLASH OOPSLA) Author of Transactional Editing: Giving ACID to Programmers within the SLE 2019-track in SLE 2019 Committee Member in Review Committee within the SPLASH OOPSLA-track
Michael Steindorfer Delft University of Technology, Netherlands Committee Member in External Review Committee within the SPLASH OOPSLA-track
Benno Stein University of Colorado Boulder Author of Static Analysis with Demand-Driven Value Refinement within the OOPSLA-track in SPLASH 2019 Author of Static Analysis with Demand-Driven Value Refinement within the Posters-track in SPLASH 2019
Michel Steuwer University of Glasgow United Kingdom Committee Member in Program Committee within the GPCE-track
Tim Stevens University of Vermont Author of Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential Privacy within the OOPSLA-track in SPLASH 2019 Author of Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy within the OOPSLA Artifacts-track in SPLASH 2019
Quentin Stiévenart Vrije Universiteit Brussel, Belgium Belgium Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Jouke Stoel CWI Author of AlleAlle: Bounded Relational Model Finding with Unbounded Data within the Onward! Papers-track in SPLASH 2019
Ion Stoica UC Berkeley Author of AutoPandas: Neural-Backed Generators for Program Synthesis within the OOPSLA-track in SPLASH 2019
Alen Stojanov ETH Zurich Switzerland Author of A Stage-Polymorphic IR for Compiling MATLAB-Style Dynamic Tensor Expressions within the GPCE 2019-track in GPCE 2019
Daniel Stolpe Hasso-Plattner-Institut Author of Language-independent Development Environment Support For Dynamic Runtimes within the DLS 2019-track in DLS 2019
Martin Studener JKU Linz, Austria Author of Renaissance: A Modern Benchmark Suite for Parallel Applications on the JVM within the Posters-track in SPLASH 2019
Pavle Subotic Amazon United Kingdom Author of Incremental Datalog Prototype in Soufflé within the IC 2019-track in IC 2019
Martin Sulzmann Karlsruhe University of Applied Sciences, Germany Author of Predicting All Data Race Pairs for a Specific Schedule within the MPLR 2019-track in MPLR 2019
Matúš Sulír Technical University of Košice Slovakia Author of Toward a Benchmark Repository for Software Maintenance Tool Evaluations with Humans within the Posters-track in SPLASH 2019
Alexander J. Summers ETH Zurich Author of Leveraging Rust Types for Modular Specification and Verification within the OOPSLA-track in SPLASH 2019 Author of Modular Verification of Heap Reachability Properties in Separation Logic within the OOPSLA-track in SPLASH 2019 Author of Modular Verification of Heap Reachability Properties in Separation Logic within the OOPSLA Artifacts-track in SPLASH 2019 Author of Leveraging Rust Types for Modular Specification and Verification within the OOPSLA Artifacts-track in SPLASH 2019
Joshua Sunshine Carnegie Mellon University Author of Obsidian: Typestate and Assets for Safer Smart Contracts within the Posters-track in SPLASH 2019
Haiyang Sun Università della Svizzera italiana Switzerland Author of NAB: Automated Large-scale Multi-language Dynamic Program Analysis in Public Code Repositories within the Posters-track in SPLASH 2019
Milijana Surbatovich Carnegie Mellon University Author of I/O Dependent Idempotence Bugs in Intermittent Systems within the OOPSLA-track in SPLASH 2019 Author of I/O Dependent Idempotence Bugs in Intermittent Systems within the Posters-track in SPLASH 2019
Nikolai Suslov Fund for Supporting Development of RT Russia Author of Krestianstvo Luminary: Decentralized Virtual Time for Croquet architecture within the AGERE 2019-track in AGERE 2019
Zhendong Su ETH Zurich Switzerland Author of Detecting Nondeterministic Payment Bugs in Ethereum Smart Contracts within the OOPSLA-track in SPLASH 2019
Janwillem Swalens Vrije Universiteit Brussel, Belgium Belgium Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in Program Committee within the AGERE-track
Eugene Syriani Université de Montréal Canada Session Chair of Session 7: DSLs and Composition (part of SLE) Author of Operationalizing the Integration of User Interaction Specifications in the Synthesis of Modeling Editors within the SLE 2019-track in SLE 2019 Author of Domain-specific model differencing in visual concrete syntax within the SLE 2019-track in SLE 2019 Committee Member in Program Committee within the SLE-track
Tamás Szabó itemis / JGU Mainz Germany Session Chair of Incremental IDE services (part of IC) Session Chair of Keynote (part of IC) Author of Incrementalizing inter-procedural program analyses with recursive aggregation in Datalog within the IC 2019-track in IC 2019 Committee Member in Organizing Committee within the IC-track
Emma Söderberg Lund University Sweden Artifact Evaluation Co-Chair in Organizing Committee within the SLE-track
Taku Tada Yokohama National University Author of Puppy: An Educational Simplification of Python with a Live Playground within the LIVE 2019-track in LIVE 2019 Author of Puppy: An Educational Simplification of Python with a Live Playground within the Posters-track in SPLASH 2019
Hiroyuki Takizawa Tohoku University Committee Member in Program Committee within the AI-SEPS-track Committee Member in Organizing Committee within the AI-SEPS-track
Carolyn Talcott SRI International Committee Member in Program Committee within the AGERE-track
Jan Taljaard Stellenbosch University Author of Breaking Parsers: Mutation-based Generation of Programs with Guaranteed Syntax Errors within the SLE 2019-track in SLE 2019
Qiyi Tang Imperial College London United Kingdom Author of Compiler Fuzzing: How Much Does It Matter? within the OOPSLA-track in SPLASH 2019 Author of Compiler Fuzzing: How Much Does It Matter? within the OOPSLA Artifacts-track in SPLASH 2019 Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Ikuta Tanigawa Kyushu University Author of Context-Oriented Live Programming Environments with Mixed Reality System for IoT Education within the LIVE 2019-track in LIVE 2019
Ikuta Tanigawa Kyusyu University Author of Context-Oriented Live Programming Environments with Mixed Reality System for IoT Education within the Posters-track in SPLASH 2019
Éric Tanter University of Chile & Inria Paris Chile Doctoral Symposium Chair in Organizing Committee for SPLASH 2019 Session Chair of Types (part of SPLASH OOPSLA) Author of Gradual Program Analysis within the Posters-track in SPLASH 2019 Author of Gradual Program Analysis within the SRC-track in SPLASH 2019 Committee Member in Review Committee within the SPLASH OOPSLA-track Chair in Program Committee within the SPLASH Doctoral Symposium-track Committee Member in Program Committee within the META-track
Wende Tan Tsinghua University, China Author of IVT: An Efficient Method for Sharing Subtype Polymorphic Objects within the OOPSLA-track in SPLASH 2019 Author of IVT: An Efficient Method for Sharing Subtype Polymorphic Objects within the Posters-track in SPLASH 2019
Tian Tan Aarhus University, Denmark China Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Gang Tan The Pennsylvania State University, University Park, USA Author of IVT: An Efficient Method for Sharing Subtype Polymorphic Objects within the OOPSLA-track in SPLASH 2019
Guanhong Tao Purdue University Author of BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-Program Path Sampling and Per-Path Abstract Interpretation within the OOPSLA-track in SPLASH 2019
Ross Tate Cornell University United States Committee Member in Review Committee within the SPLASH OOPSLA-track
Zachary Tatlock University of Washington United States Author of Theia: Automatically Generating Correct Program State Visualizations within the SPLASH-E-track in SPLASH 2019 Author of Modular Verification of Web Page Layout within the OOPSLA-track in SPLASH 2019
Alex Taylor Williams College Author of Evaluating ProDirect Manipulation in Hour of Code within the SPLASH-E-track in SPLASH 2019
Arshavir Ter-Gabrielyan ETH Zurich Switzerland Author of Modular Verification of Heap Reachability Properties in Separation Logic within the OOPSLA-track in SPLASH 2019 Author of Modular Verification of Heap Reachability Properties in Separation Logic within the OOPSLA Artifacts-track in SPLASH 2019
Manas Thakur IIT Madras India Author of PYE: A Framework for Precise-Yet-Efficient Just-In-Time Analyses for Java Programs within the OOPSLA-track in SPLASH 2019
Peter Thiemann University of Freiburg, Germany Committee Member in External Review Committee within the SPLASH OOPSLA-track
John A. Thywissen The University of Texas at Austin United States Author of PorcE: A Deparallelizing Compiler within the MPLR 2019-track in MPLR 2019
Ulyana Tikhonova CWI Committee Member in Program Committee within the SLE-track
Eli Tilevich Virginia Tech United States Steering Committee Member in Steering Committee within the MPLR-track
Ben L. Titzer Google Germany Committee Member in Program Committee within the MPLR-track
Ashish Tiwari Microsoft Author of On the Fly Synthesis of Edit Suggestions within the OOPSLA-track in SPLASH 2019 Author of On the Fly Synthesis of Edit Suggestions within the Posters-track in SPLASH 2019 Author of On the Fly Synthesis of Edit Suggestions within the OOPSLA Artifacts-track in SPLASH 2019
Sam Tobin-Hochstadt Indiana University United States Committee Member in Program Committee within the GPCE-track Committee Member in Program Committee within the DLS-track
David Tolpin PUB+ Israel Author of Deployable Probabilistic Programming within the Onward! Papers-track in SPLASH 2019
Juha-Pekka Tolvanen MetaCase Finland Session Chair of Language engineering (part of DSM) Session Chair of Introduction and keynote (part of DSM) Committee Member in Organizing Committee within the DSM-track Committee Member in Program Committee within the SLE-track
Viktor Toman IST Austria (Institute of Science and Technology Austria) Author of Value-Centric Dynamic Partial Order Reduction within the OOPSLA-track in SPLASH 2019
Bernardo Toninho Universidade Nova de Lisboa and NOVA LINCS Portugal Author of Refinement Kinds: Type-Safe Programming with Practical Type-Level Computation within the OOPSLA-track in SPLASH 2019 Author of Refinement Kinds: Type-safe Programming with Practical Type-level Computation within the OOPSLA Artifacts-track in SPLASH 2019 Committee Member in Judges within the SPLASH SRC-track
Emina Torlak University of Washington United States Steering Committee Member in Steering Committee for SPLASH 2019 Committee Member in Review Committee within the SPLASH OOPSLA-track Author in Onward! Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Matías Toro University of Chile Chile Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Emma Tosch University of Massachusetts Amherst Author of PlanAlyzer: Assessing Threats to the Validity of Online Experiments within the OOPSLA-track in SPLASH 2019 Panelist of Panel: Current PhD Students and Postdocs within the PLMW-track in SPLASH 2019 Panelist in Speakers & Panelists within the SPLASH PLMW-track Committee Member in Artifact Evaluation Committee within the SLE-track
Michael Tran Department of Computer Science, Aalborg University, Denmark Author of Locations and Session Types in a Language with Higher-Order Reflection within the AGERE 2019-track in AGERE 2019
Thanh-Hai Tran TU Wien, Austria Author of TLA+ model checking made symbolic within the Posters-track in SPLASH 2019 Author of TLA+ Model Checking Made Symbolic within the OOPSLA-track in SPLASH 2019 Author of TLA+ model checking made symbolic within the OOPSLA Artifacts-track in SPLASH 2019
Laurence Tratt King's College London United Kingdom Author of Keynote 1: How did we get here and where can we go next? (Joint with MPLR, in Room 1) within the VMIL 2019-track in VMIL 2019 Author of How did we get here and where can we go next? within the MPLR 2019-track in MPLR 2019 Author of Default disambiguation for online parsers within the SLE 2019-track in SLE 2019 Committee Member in Steering Committee within the DLS-track
Phil Trinder University of Glasgow Author of Python Programmers have GPUs too: Automatic Python Loop Parallelization with Staged Dependence Analysis within the DLS 2019-track in DLS 2019
Anton Trunov Zilliqa Research Russia Author of Safer Smart Contract Programming with Scilla within the OOPSLA-track in SPLASH 2019 Author of Safer Smart Contract Programming with Scilla within the OOPSLA Artifacts-track in SPLASH 2019
Kanae Tsushima National Institute of Informatics, Japan Japan Committee Member in Program Committee within the GPCE-track
Michele Tucci University of L'Aquila, Italy Committee Member in Artifact Evaluation Committee within the SLE-track
Petr Tuma Charles University Czech Republic Author of Renaissance: A Modern Benchmark Suite for Parallel Applications on the JVM within the Posters-track in SPLASH 2019 Steering Committee Member in Steering Committee within the MPLR-track
Alexi Turcotte Northeastern University United States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Naoyasu Ubayashi Kyushu University Japan PC Member in Program Committee within the DSM-track
Abhishek Udupa Microsoft Author of On the Fly Synthesis of Edit Suggestions within the OOPSLA-track in SPLASH 2019 Author of On the Fly Synthesis of Edit Suggestions within the Posters-track in SPLASH 2019 Author of On the Fly Synthesis of Edit Suggestions within the OOPSLA Artifacts-track in SPLASH 2019
Viktor Vafeiadis MPI-SWS, Germany Greece Author of Effective Lock Handling In Stateless Model Checking within the OOPSLA Artifacts-track in SPLASH 2019 Author of Weak Persistency Semantics from the Ground Up: Formalising the Persistency Semantics of ARMv8 and Transactional Models within the OOPSLA-track in SPLASH 2019 Author of Effective Lock Handling in Stateless Model Checking within the Posters-track in SPLASH 2019 Author of Effective Lock Handling in Stateless Model Checking within the OOPSLA-track in SPLASH 2019 Committee Member in External Review Committee within the SPLASH OOPSLA-track
Mojtaba Valinataj Babol Noshirvani University of Technology Committee Member in Program Committee within the AI-SEPS-track
Antonio Vallecillo University of Málaga, Spain Spain Committee Member in Program Committee within the SLE-track
Tom Van Cutsem Nokia Bell Labs Belgium Committee Member in Program Committee within the META-track
Michael Van Den Bergh Esri, R&D Center Zurich Author of Immersive Urban Planning: CityEngine and ArcGIS Urban (Esri, R&D Center Zurich) within the STOKED 2019-track in STOKED 2019
David Van Horn University of Maryland, USA United States Committee Member in Review Committee within the SPLASH OOPSLA-track
Wolfgang Van Raemdonck Nokia Bell Labs Author of FlashFreeze: Low-Overhead JavaScript Instrumentation for Function Serialization within the META 2019-track in META 2019
Eric Van Wyk University of Minnesota, USA United States Session Chair of DSLs and Parsing (part of SPLASH OOPSLA) Author of Parallel Nondeterministic Programming as a Language Extension to C (Short Paper) within the GPCE 2019-track in GPCE 2019 Author of Reflection in Attribute Grammars within the GPCE 2019-track in GPCE 2019 Author of Reflection in Attribute Grammars within the Posters-track in SPLASH 2019 Committee Member in Review Committee within the SPLASH OOPSLA-track
Jonathan Van der Cruysse Author of FlashFreeze: Low-Overhead JavaScript Instrumentation for Function Serialization within the META 2019-track in META 2019
Christos Vasiladiotis University of Edinburgh Author of “It Looks Like You’re Writing a Parallel Loop” - A Machine Learning Based Parallelization Assistant within the AI-SEPS-track in AI-SEPS 2019
Nikos Vasilakis MIT CSAIL, USA Greece Author of Active Learning for Software Engineering within the Onward! Papers-track in SPLASH 2019
Mandana Vaziri IBM Research PC Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the DLS-track
Niki Vazou IMDEA Software Institute Author in Reviewers within the SPLASH SRC-track
Jyothi Vedurada IIT Madras Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Hayawardh Vijayakumar Samsung Research America Author of FuzzFactory: Domain-Specific Fuzzing with Waypoints within the OOPSLA Artifacts-track in SPLASH 2019 Author of FuzzFactory: Domain-Specific Fuzzing with Waypoints within the OOPSLA-track in SPLASH 2019
Alex Villazón Universidad Privada Boliviana, Bolivia Bolivia Author of NAB: Automated Large-scale Multi-language Dynamic Program Analysis in Public Code Repositories within the Posters-track in SPLASH 2019 Author of Renaissance: A Modern Benchmark Suite for Parallel Applications on the JVM within the Posters-track in SPLASH 2019
Jurgen Vinju CWI, Netherlands Netherlands Author of Static Local Coordination Avoidance for Distributed Objects within the AGERE 2019-track in AGERE 2019 Author of AlleAlle: Bounded Relational Model Finding with Unbounded Data within the Onward! Papers-track in SPLASH 2019
Mirko Viroli University of Bologna Committee Member in Program Committee within the REBLS-track
Eelco Visser Delft University of Technology Netherlands Steering Committee Member in Steering Committee for SPLASH 2019 OOPSLA Review Committee Chair in Organizing Committee for SPLASH 2019 Session Chair of Awards / SIGPLAN Town Hall Meeting (part of SPLASH OOPSLA) Session Chair of Dillig keynote (part of SPLASH Keynotes) Author of From Definitional Interpreter To Symbolic Executor within the META 2019-track in META 2019 Author of From Whole Program Compilation to Incremental Compilation: A Critical Case within the IC 2019-track in IC 2019 Author of Precise, Efficient, and Expressive Incremental Build Scripts with PIE within the IC 2019-track in IC 2019 Speaker of What is PL Research? within the PLMW-track in SPLASH 2019 Author of Language-Parametric Semantic Editor Services based on Declarative Type System Specifications within the Posters-track in SPLASH 2019 Chair in Review Committee within the SPLASH OOPSLA-track Speaker in Speakers & Panelists within the SPLASH PLMW-track Committee Member in Program Committee within the IC-track
Jan Vitek Northeastern University United States Steering Committee Member in Steering Committee for SPLASH 2019 OOPSLA Artifact Evaluation Chair in Organizing Committee for SPLASH 2019 Session Chair of Analysis (part of SPLASH OOPSLA) Keynote Speaker of Meta-programming in Data Science within the META 2019-track in META 2019 Author of R Melts Brains -- An IR for First-Class Environments and Lazy Effectful Arguments within the DLS 2019-track in DLS 2019 Author of Adversarial Compilation within the MPLR 2019-track in MPLR 2019 Author of On the Design, Implementation, and Use of Laziness in R within the OOPSLA-track in SPLASH 2019 Author of Scala Implicits Are Everywhere: A Large-Scale Study of the Use of Scala Implicits in the Wild within the OOPSLA-track in SPLASH 2019 Author of Scala Implicits are Everywhere within the OOPSLA Artifacts-track in SPLASH 2019 Author of On The Design, Implementation and Use of Laziness in R within the OOPSLA Artifacts-track in SPLASH 2019 Author of On the Impact of Programming Languages on Code Quality within the OOPSLA-track in SPLASH 2019 Chair in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in Program Committee within the VMIL-track Author in Onward! Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Olga Vitek Northeastern University United States Author of On the Impact of Programming Languages on Code Quality within the OOPSLA-track in SPLASH 2019
Nicolas Voirol EPFL, Switzerland Author of System FR: Formalized Foundations for the Stainless Verifier within the Posters-track in SPLASH 2019 Author of System FR: Formalized Foundations for the Stainless Verifier within the OOPSLA-track in SPLASH 2019
Keval Vora Simon Fraser University Author of DProf: Distributed Profiler with Strong Guarantees within the OOPSLA-track in SPLASH 2019
Ivana Vukotic SnT, University of Luxembourg Author of Asphalion: Trustworthy Shielding against Byzantine Faults within the OOPSLA-track in SPLASH 2019 Author of Asphalion: Trustworthy Shielding against Byzantine Faults within the Posters-track in SPLASH 2019 Author of Asphalion: Trustworthy Shielding Against Byzantine Faults within the OOPSLA Artifacts-track in SPLASH 2019
Markus Völter itemis/independent Session Chair of Databases & Semantics (part of IC) Author of Shadow Models [Tool Demo] -- Incremental Transformations for MPS within the SLE 2019-track in SLE 2019
Philip Wadler University of Edinburgh, UK United Kingdom Committee Member in Program Committee within the GPCE-track
Eric Walkingshaw Oregon State University United States Committee Member in Program Committee within the GPCE-track
Yu-Ping Wang Tsinghua University, China China Author of IVT: An Efficient Method for Sharing Subtype Polymorphic Objects within the OOPSLA-track in SPLASH 2019 Author of IVT: An Efficient Method for Sharing Subtype Polymorphic Objects within the Posters-track in SPLASH 2019
Shaohua Wang New Jersey Institute of Technology, USA United States Author of Improving Bug Detection via Context-Based Code Representation Learning and Attention-Based Neural Networks within the OOPSLA-track in SPLASH 2019 Author of Improving Bug Detection via Context-based Code Representation Learning and Attention-based Neural Networks within the Posters-track in SPLASH 2019
Yiting Wang Cornell University Author of Towards Answering "Am I On the Right Track?" Automatically Using Program Synthesis within the SPLASH-E-track in SPLASH 2019
Lun Wang University of California, Berkeley Author of Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential Privacy within the OOPSLA-track in SPLASH 2019 Author of Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy within the OOPSLA Artifacts-track in SPLASH 2019
Qianxiang Wang Huawei Technologies Co. Ltd Author of IntelliMerge: A Refactoring-Aware Software Merging Technique within the OOPSLA-track in SPLASH 2019
Shuai Wang Hong Kong University of Science and Technology Author of Detecting Nondeterministic Payment Bugs in Ethereum Smart Contracts within the OOPSLA-track in SPLASH 2019
Shengyi Wang National University of Singapore Author of Certifying Graph-Manipulating C Programs via Localizations within Data Structures within the OOPSLA-track in SPLASH 2019 Author of Certifying Graph-Manipulating C Programs via Localizations within Data Structures within the Posters-track in SPLASH 2019 Author of Certifying Graph-Manipulating C Programs via Localizations within Data Structures within the OOPSLA Artifacts-track in SPLASH 2019
Chengcheng Wan The University of Chicago United States Author of Improving Performance and Quality of Database-Backed Software within the Posters-track in SPLASH 2019
Harumi Watanabe Tokai University Japan Author of Context-Oriented Live Programming Environments with Mixed Reality System for IoT Education within the LIVE 2019-track in LIVE 2019 Author of Context-Oriented Live Programming Environments with Mixed Reality System for IoT Education within the Posters-track in SPLASH 2019 Committee Member in Program Committee within the REBLS-track
Takuo Watanabe Tokyo Institute of Technology Japan Author of Towards a Statically Scheduled Parallel Execution of an FRP Language for Embedded Systems within the REBLS-track in REBLS 2019 Committee Member in Program Committee within the REBLS-track
Conrad Watt University of Cambridge Author of Weakening WebAssembly within the OOPSLA-track in SPLASH 2019
Nils Weidmann Paderborn University Author of Consistency Management via a Combination of Triple Graph Grammars and Linear Programming within the SLE 2019-track in SLE 2019 Author of A Feature-Based Classification of Triple Graph Grammar Variants within the SLE 2019-track in SLE 2019
Marcel Weiher Hasso-Plattner-Institut (HPI), Germany Germany Author of Standard Object Out: Streaming Objects with Polymorphic Write Streams within the DLS 2019-track in DLS 2019 Author of Storage Combinators within the Onward! Papers-track in SPLASH 2019
Pascal Weisenburger Technische Universität Darmstadt Germany Author of GRASS: Generic Reactive Application-Specific Scheduling within the REBLS-track in REBLS 2019
Jiayi Wei University of Texas at Austin United States Author of Relational Verification using Reinforcement Learning within the OOPSLA-track in SPLASH 2019
Guannan Wei Purdue University Author of Staged Abstract Interpreters: Fast and Modular Whole-Program Analysis via Meta-programming within the OOPSLA-track in SPLASH 2019 Author of Staged Abstract Interpreters within the OOPSLA Artifacts-track in SPLASH 2019 Author of Precise Reasoning with Structured Time, Structured Heaps, and Collective Operations within the OOPSLA-track in SPLASH 2019 Author of BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-Program Path Sampling and Per-Path Abstract Interpretation within the OOPSLA-track in SPLASH 2019
Adam Welc Uber Technologies United States Session Chair of Language extension (part of GPCE) Author of Challenges in Large-Scale Application Development within the Rebase-track in SPLASH 2019 Committee Member in Program Committee within the VMIL-track Committee Member in Program Committee within the GPCE-track
Shu-chun Weng Yale University Author of DeepSEA: A Language for Certified System Software within the Posters-track in SPLASH 2019 Author of DeepSEA: A Language for Certified System Software within the OOPSLA-track in SPLASH 2019
Markus Weninger Christian Doppler Lab. MEVSS, Johannes Kepler University Linz Author of Detection of Suspicious Time Windows in Memory Monitoring within the MPLR 2019-track in MPLR 2019
Oliver Wenz Heidelberg University Author of Agile Construction of Data Science DSLs (Tool Demo) within the GPCE 2019-track in GPCE 2019 Author of Agile Construction of Data Science DSLs (Tool Demo) within the Posters-track in SPLASH 2019
John Wickerson Imperial College London United Kingdom Author of Weak Persistency Semantics from the Ground Up: Formalising the Persistency Semantics of ARMv8 and Transactional Models within the OOPSLA-track in SPLASH 2019
Adam Wiggins Ink & Switch Germany Author of Local-first software: You own your data, in spite of the cloud within the Onward! Essays-track in SPLASH 2019
Christian Wimmer Oracle Labs Author of Initialize Once, Start Fast: Application Initialization at Build Time within the OOPSLA-track in SPLASH 2019
Jenna Wise Carnegie Mellon University United States Author of Gradual Program Analysis within the Posters-track in SPLASH 2019 Author of Gradual Program Analysis within the SRC-track in SPLASH 2019
Doug Woos University of Washington United States Author of Theia: Automatically Generating Correct Program State Visualizations within the SPLASH-E-track in SPLASH 2019
Tobias Wrigstad Uppsala University Sweden Session Chair of Optimization (part of SPLASH OOPSLA) Session Chair of Onward! Papers 3 (part of SPLASH Onward! Papers) Author of Run, Actor, Run - Towards Cross-Actor Language Benchmarking within the AGERE 2019-track in AGERE 2019 Author of Towards Gradual Checking of Reference Capabilities within the VMIL 2019-track in VMIL 2019 Author of Performance of an OO Compute Kernel on the JVM -- Revisiting Java as a Language for Scientific Computing Applications within the MPLR 2019-track in MPLR 2019 PC Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Program Commitee within the SPLASH -E-track
Thomas Wuerthinger Oracle Labs Author of Initialize Once, Start Fast: Application Initialization at Build Time within the OOPSLA-track in SPLASH 2019 Author of Renaissance: A Modern Benchmark Suite for Parallel Applications on the JVM within the Posters-track in SPLASH 2019
Baijun Wu University of Louisiana at Lafayette Author of Generating Precise Error Specifications for C: A Zero Shot Learning Approach within the OOPSLA-track in SPLASH 2019
Peng Wu Huawei America Research Lab United States Committee Member in Program Committee within the GPCE-track
Jerry Wu MIT Author of Active Learning for Software Engineering within the Onward! Papers-track in SPLASH 2019
Paul Wögerer Oracle Labs Author of Initialize Once, Start Fast: Application Initialization at Build Time within the OOPSLA-track in SPLASH 2019
Thomas Würthinger Steering Committee Member in Steering Committee within the MPLR-track
Jingling Xue UNSW Sydney Australia Author of Precision-Preserving Yet Fast Object-Sensitive Pointer Analysis with Partial Context Sensitivity within the OOPSLA-track in SPLASH 2019 Author of Precision-Preserving Yet Fast Object-Sensitive Pointer Analysis with Partial Context Sensitivity within the OOPSLA Artifacts-track in SPLASH 2019
Gaowei Xu University of Wisconsin Madison Author of Automatic Repair of Regular Expressions within the OOPSLA-track in SPLASH 2019 Author of Automatic Repair of Regular Expressions within the OOPSLA Artifacts-track in SPLASH 2019
Harry Xu UCLA United States Committee Member in Review Committee within the SPLASH OOPSLA-track
Siyuan Xu Purdue University Author of Program Synthesis with Algebraic Library Specifications within the OOPSLA Artifacts-track in SPLASH 2019 Author of Program Synthesis with Algebraic Library Specifications within the OOPSLA-track in SPLASH 2019
Yufan Xu Ohio State University Author of Dependence-Aware, Unbounded Sound Predictive Race Detection within the Posters-track in SPLASH 2019 Author of Dependence-Aware, Unbounded Sound Predictive Race Detection within the OOPSLA-track in SPLASH 2019
Tetsuro Yamazaki Graduate School of Information Science and Technology, The University of Tokyo Author of Generating a Fluent API with Syntax Checking from an LR Grammar within the Posters-track in SPLASH 2019 Author of Generating a Fluent API with Syntax Checking from an LR Grammar within the OOPSLA-track in SPLASH 2019 Author of Generating a fluent API with syntax checking from an LR grammar within the OOPSLA Artifacts-track in SPLASH 2019
Di Yang University of California, Irvine Author of Aroma: Code Recommendation via Structural Code Search within the OOPSLA-track in SPLASH 2019 Author of Aroma: Code Recommendation via Structural Code Search within the Posters-track in SPLASH 2019
Junwen Yang university of chicago China Author of Improving Performance and Quality of Database-Backed Software within the Posters-track in SPLASH 2019 Author of Improving Performance and Quality of Database-Backed Software within the Doctoral Symposium-track in SPLASH 2019
Cong Yan University of Washington Author of Improving Performance and Quality of Database-Backed Software within the Posters-track in SPLASH 2019
Masahiro Yasugi Kyushu Institute of Technology Committee Member in Program Committee within the AI-SEPS-track
Ming-Ho Yee Northeastern University United States Author of R Melts Brains -- An IR for First-Class Environments and Lazy Effectful Arguments within the DLS 2019-track in DLS 2019
Jaeheon Yi Google United States Sponsorship Chair in Organizing Committee for SPLASH 2019
He Yi University of Louisiana at Lafayette Author of Generating Precise Error Specifications for C: A Zero Shot Learning Approach within the OOPSLA-track in SPLASH 2019
Nobuko Yoshida Imperial College London Committee Member in Review Committee within the SPLASH OOPSLA-track
Wei You Purdue University Author of BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-Program Path Sampling and Per-Path Abstract Interpretation within the OOPSLA-track in SPLASH 2019
Manouchehr Zadahmad Université de Montréal Canada Author of Domain-specific model differencing in visual concrete syntax within the SLE 2019-track in SLE 2019
Foivos S. Zakkak University of Manchester, UK Author of An Analysis of Call-site Patching Without Strong Hardware Support for Self-Modifying-Code within the MPLR 2019-track in MPLR 2019
Francesco Zappa Nardelli Inria France Author of Reliable and Fast DWARF-based Unwinding within the OOPSLA Artifacts-track in SPLASH 2019 Author of Reliable and Fast DWARF-Based Stack Unwinding within the OOPSLA-track in SPLASH 2019 Committee Member in Review Committee within the SPLASH OOPSLA-track
Vadim Zaytsev Raincode Labs, Belgium Belgium Session Chair of Sessions 8: Types, ACID and Governance (part of SLE) Author of Event-Based Parsing within the REBLS-track in REBLS 2019 Committee Member in Program Committee within the SLE-track
Xiangyu Zhang Purdue University Author of BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-Program Path Sampling and Per-Path Abstract Interpretation within the OOPSLA-track in SPLASH 2019
Tian Zhang Nanjing University China Committee Member in Program Committee within the SLE-track
Zhuo Zhang Purdue University United States Author of BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-Program Path Sampling and Per-Path Abstract Interpretation within the OOPSLA-track in SPLASH 2019
Mu Zhang University of Utah United States Author of Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential Privacy within the OOPSLA-track in SPLASH 2019 Author of Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy within the OOPSLA Artifacts-track in SPLASH 2019
Xin Zhang Massachusetts Institute of Technology United States Author of Probabilistic Verification of Fairness Properties via Concentration within the OOPSLA-track in SPLASH 2019
Wei Zhang Peking University Author of IntelliMerge: A Refactoring-Aware Software Merging Technique within the OOPSLA-track in SPLASH 2019
Chengyu Zhang East China Normal University China Author of Detecting Nondeterministic Payment Bugs in Ethereum Smart Contracts within the OOPSLA-track in SPLASH 2019
Lingming Zhang The University of Texas at Dallas Author of Reflection-Aware Static Regression Test Selection within the OOPSLA-track in SPLASH 2019
David Zhao The University of Sydney Author of Incremental Datalog Prototype in Soufflé within the IC 2019-track in IC 2019
Tian Zhao University of Wisconsin-Milwaukee Author of Concurrency Control of JavaScript with Arrows within the REBLS-track in REBLS 2019
Nathan Zhao University of Illinois at Urbana-Champaign Author of ApproxHPVM: A Portable Compiler IR for Accuracy-Aware Optimizations within the OOPSLA-track in SPLASH 2019
Haiyan Zhao Peking University Author of IntelliMerge: A Refactoring-Aware Software Merging Technique within the OOPSLA-track in SPLASH 2019
Xinghui Zhao Washington State University Committee Member in Program Committee within the AI-SEPS-track
Yudi Zheng Oracle Labs Switzerland Author of Renaissance: A Modern Benchmark Suite for Parallel Applications on the JVM within the Posters-track in SPLASH 2019
YungYu Zhuang National Central University Taiwan Committee Member in Program Committee within the REBLS-track
Lukasz Ziarek SUNY Buffalo, USA United States Committee Member in Organizing Committee within the REBLS-track
Zi-Xin Zou Tsinghua Univeraity, China Author of IVT: An Efficient Method for Sharing Subtype Polymorphic Objects within the OOPSLA-track in SPLASH 2019 Author of IVT: An Efficient Method for Sharing Subtype Polymorphic Objects within the Posters-track in SPLASH 2019
Yoav Zuriel Technion - Israel Israel Author of Efficient Lock-Free Durable Sets within the OOPSLA-track in SPLASH 2019
Peli de Halleux Microsoft Research Author of Static TypeScript: An Implementation of a Static Compiler for the TypeScript Language within the MPLR 2019-track in MPLR 2019 Author of Microsoft MakeCode: Embedded Programming for Education, in Blocks and TypeScript within the SPLASH-E-track in SPLASH 2019
Juan de Lara Universidad Autonoma de Madrid Author of Domain-specific model differencing in visual concrete syntax within the SLE 2019-track in SLE 2019 PC Member in Program Committee within the DSM-track Committee Member in Program Committee within the SLE-track
Ana Lúcia de Moura Pontifical Catholic University of Rio de Janeiro (PUC-Rio) Committee Member in Program Committee within the MPLR-track Committee Member in Program Committee within the REBLS-track
Pablo de Oliveira Castro University of Versailles, France Committee Member in Program Committee within the AI-SEPS-track
Hendrik van Antwerpen TU Delft Netherlands Author of From Definitional Interpreter To Symbolic Executor within the META 2019-track in META 2019 Author of Language-Parametric Semantic Editor Services based on Declarative Type System Specifications within the Posters-track in SPLASH 2019
Peter van Hardenberg Ink & Switch Author of Local-first software: You own your data, in spite of the cloud within the Onward! Essays-track in SPLASH 2019
Mark van den Brand Committee Member in Program Committee within the SLE-track
Tijs van der Storm CWI & University of Groningen, Netherlands Netherlands Publicity Chair in Organizing Committee for SPLASH 2019 Author of Static Local Coordination Avoidance for Distributed Objects within the AGERE 2019-track in AGERE 2019 Author of AlleAlle: Bounded Relational Model Finding with Unbounded Data within the Onward! Papers-track in SPLASH 2019 PC Co-Chair in Organizing Committee within the GPCE-track Committee Member in Program Committee within the LIVE-track
Beatriz A. Sanchez University of York United Kingdom Session Chair of Session 1: SLE Welcome (part of SLE)
Takeshi Ohkawa Tokai Univ. Author of Context-Oriented Live Programming Environments with Mixed Reality System for IoT Education within the LIVE 2019-track in LIVE 2019 Author of Context-Oriented Live Programming Environments with Mixed Reality System for IoT Education within the Posters-track in SPLASH 2019
Ezgi Çiçek Facebook London Committee Member in Program Committee within the IC-track

SPLASH 2019 Contributors

Results (929)

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposiums