SPLASH 2020 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Affiliation

Name

Results (1243)

Erika Abraham RWTH Aachen University Germany Invited Speaker of Invited Talk: Abstract Domains in SMT Solving for Real Algebra within the NSAD-track in NSAD 2020
Umut A. Acar Carnegie Mellon University, USA Author of Program Equivalence for Assisted Grading of Functional Programs within the OOPSLA-track in SPLASH 2020
Andrew Adams Adobe Author of Verifying and Improving Halide’s Term Rewriting System with Program Synthesis within the OOPSLA-track in SPLASH 2020
Justus Adam University of Kent, UK United Kingdom Author of Type checking beyond type checkers, via Slice & Run within the TAPAS-track in TAPAS 2020
Vikram S. Adve University of Illinois at Urbana-Champaign, USA United States Author of Guided Linking: Dynamic Linking Without the Costs within the OOPSLA-track in SPLASH 2020 Author of Guided Linking: Dynamic Linking Without the Costs within the OOPSLA Artifacts-track in SPLASH 2020 Keynote Speaker of Why Digital Agriculture is Fertile Ground for Software Systems Research within the Keynotes-track in SPLASH 2020 Author of Guided Linking: Dynamic Linking Without the Costs within the Posters-track in SPLASH 2020 Committee Member in Program Committe within the SPLASH CARES-track
Maaz Bin Safeer Ahmad University of Washington, Seattle United States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Umair Z. Ahmed National University of Singapore Singapore Committee Member in Artifact Evaluation Committee within the SAS-track
Amal Ahmed Northeastern University, USA United States Speaker of Ask Me Anything: Amal Ahmed within the PLMW-track in SPLASH 2020 Committee Member in Review Committee within the SPLASH OOPSLA-track AMA Speaker in Speakers & Panelists within the SPLASH PLMW-track
Wolfgang Ahrendt Chalmers University of Technology Sweden Programme Committee in Program Committee within the FTfJP-track
Benny Akesson University of Amsterdam, Netherlands and TNO, the Netherlands Organisation Author of PReGO: a Generative Methodology for Satisfying Real-Time Requirements on COTS-based Systems - Definition and Experience Report within the GPCE-track in GPCE 2020
Shoaib Akram Australian National University Australia Committee Member in External Review Committee within the SPLASH OOPSLA-track
Manuel Alabor University of Applied Sciences of Eastern Switzerland (OST) Switzerland Author of Debugging RxJS-based Applications within the REBLS 2020-track in REBLS 2020
Elvira Albert Complutense University of Madrid Author of Taming Callbacks for Smart Contract Modularity within the OOPSLA-track in SPLASH 2020
Jonathan Aldrich Carnegie Mellon University United States Committee Member in Steering Committee for SPLASH 2020 Session Chair of (part of GPCE) Author of User-Centered Programming Language Design: A Course-Based Case Study within the HATRA-track in HATRA 2020 Author of A Case Study in Language-Based Security: Building an I/O Library for Wyvern within the Onward! Papers-track in SPLASH 2020 Author of Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian within the OOPSLA-track in SPLASH 2020 Author of Gradual Verification of Recursive Heap Data Structures within the OOPSLA-track in SPLASH 2020 Author of Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian within the OOPSLA Artifacts-track in SPLASH 2020 Author of Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian within the Posters-track in SPLASH 2020 Author of Gradual Verification of Recursive Heap Data Structures within the Posters-track in SPLASH 2020 Author of A Case Study in Language-Based Security: Building an I/O Library for Wyvern within the Posters-track in SPLASH 2020 Committee Member in External Review Committee within the SPLASH OOPSLA-track Steering Committee Chair in Onward! Steering Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the SLE-track Steering Committee Chair in Onward! Steering Committee within the SPLASH Onward! Essays-track
Saba Alimadadi Simon Fraser University Canada Publications Chair in Organizing Committee for SPLASH 2020 Committee Member in Program Committee within the SySEPL-track
Karim Ali University of Alberta PLMW Co-Chair in Organizing Committee for SPLASH 2020 Author of Toward a Simpler Syntactic Soundness for DOT (Student Talk) within the Scala-track in Scala 2020 Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Review Committee within the SPLASH OOPSLA-track PLMW Co-Chair in Organizing Committee within the SPLASH PLMW-track Committee Member in Program Committee within the SySEPL-track
Marcelo Almeida University of Michigan Author of RustViz: Interactively Visualizing Ownership and Borrowing within the HATRA-track in HATRA 2020
Uri Alon Technion Israel Author of A Structural Model for Contextual Code Changes within the OOPSLA Artifacts-track in SPLASH 2020 Author of Adversarial Examples for Models of Code within the OOPSLA-track in SPLASH 2020 Author of A Structural Model for Contextual Code Changes within the OOPSLA-track in SPLASH 2020 Author of Neural Reverse Engineering of Stripped Binaries using Augmented Control Flow Graphs within the OOPSLA-track in SPLASH 2020
Kalev Alpernas Tel Aviv University Israel Author of The Wonderful Wizard of LoC: Paying Attention to the Man Behind the Curtain of Line-of-Code Metrics within the Onward! Essays-track in SPLASH 2020
Rajeev Alur University of Pennsylvania United States Author of DiffStream: Differential Output Testing for Stream Processing Programs within the OOPSLA Artifacts-track in SPLASH 2020 Author of DiffStream: Differential Output Testing for Stream Processing Programs within the OOPSLA-track in SPLASH 2020
Juliana Alves Pereira PUC-Rio Brazil Committee Member in Program Committee (to be completed) within the GPCE-track
Saman Amarasinghe MIT United States Author of A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra within the OOPSLA-track in SPLASH 2020 Author of A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra within the Posters-track in SPLASH 2020
Nada Amin Harvard University United States Conference Chair in Program Committee within the Scala-track Conference Chair in Organizing Committee within the Scala-track
Edward Amsden Black River Software, LLC PC Member in Program Committee within the REBLS-track
Davide Ancona DIBRIS, University of Genova, Italy Italy Author of A big step from finite to infinite computations within the Research Papers-track in ECOOP 2020 Author of Sound regular corecursion in coFJ within the Research Papers-track in ECOOP 2020 Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Steering Committee within the DLS-track Co-chair in Organizing Committee within the VORTEX-track
Leif Andersen Northeastern University, USA Author of Adding Interactive Visual Syntax to Textual Code within the OOPSLA Artifacts-track in SPLASH 2020 Author of Adding Interactive Visual Syntax to Textual Code within the OOPSLA-track in SPLASH 2020
Mauricio Aniche Delft University of Technology, Netherlands Co-chair in Organizing Committee within the SySEPL-track
Anthony Anjorin Paderborn University, Germany Author of A Search-Based and Fault-Tolerant Approach to Concurrent Model Synchronisation within the SLE-track in SLE 2020
Luthfan Anshar Lubis Co-reviewer in Program Committee within the SPLASH Onward! Essays-track
Anastasios Antoniadis University of Athens, Greece Author of Static Analysis of Shape in TensorFlow Programs within the Artifacts-track in ECOOP 2020 Author of Static Analysis of Shape in TensorFlow Programs within the Research Papers-track in ECOOP 2020
Timos Antonopoulos Yale University United States Author of DynamiTe: Dynamic Termination and Non-termination Proofs within the OOPSLA-track in SPLASH 2020
Tomoyuki Aotani Mamezou Co.,Ltd. Author of Managing Persistent Signals using Signal Classes within the REBLS 2020-track in REBLS 2020
Heinrich Apfelmus independent Germany PC Member in Program Committee within the REBLS-track
Ellen Arteca Northeastern University United States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Sepideh Asadi PhD Student Author of Farkas-Based Tree Interpolation within the SAS-track in SAS 2020
Mohammadreza Ashouri University of Potsdam, Germany Germany Author of Asterisk: Secure Programming Language for Smart Contracts (Student Talk) within the Scala-track in Scala 2020 Author of Kaizen: A Scalable Concolic Fuzzing Tool for Scala (Extended Abstract) within the Scala-track in Scala 2020
Vytautas Astrauskas ETH Zurich, Switzerland Author of How Do Programmers Use Unsafe Rust? within the OOPSLA-track in SPLASH 2020
Eric Atkinson MIT Author of Programming and Reasoning with Partial Observability within the OOPSLA Artifacts-track in SPLASH 2020 Author of Programming and Reasoning with Partial Observability within the OOPSLA-track in SPLASH 2020
Joanne M. Atlee University of Waterloo Canada Committee Member in Program Commitee within the SPLASH -E-track
Dominik Aumayr Johannes Kepler University Linz, Austria Austria Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Alex Auvolat University of Rennes, Inria, CNRS, IRISA Author of Modular and distributed IDE within the SLE-track in SLE 2020
Martin Avanzini INRIA Sophia Antipolis, France France Author of A Modular Cost Analysis for Probabilistic Programs within the OOPSLA-track in SPLASH 2020
Uwe Aßmann TU Dresden, Germany Committee Member in Program Committee within the SLE-track
Christiaan Baaij QBayLogic B.V. Netherlands PC Member in Program Committee within the REBLS-track
Dmitry Babokin Intel Corporation Author of Random Testing for C and C++ Compilers with YARPGen within the OOPSLA-track in SPLASH 2020
Casper Bach Poulsen Delft University of Technology Author of Knowing When to Ask: Sound Scheduling of Name Resolution in Type Checkers Derived from Declarative Specifications within the OOPSLA-track in SPLASH 2020 Author of Knowing When to Ask: Artifact within the OOPSLA Artifacts-track in SPLASH 2020 Author of Knowing When to Ask: Sound Scheduling of Name Resolution in Type Checkers Derived from Declarative Specifications within the Posters-track in SPLASH 2020 Committee Member in External Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the SySEPL-track
Johannes Bader Facebook United States Author of Gradual Verification of Recursive Heap Data Structures within the OOPSLA-track in SPLASH 2020 Author of Gradual Verification of Recursive Heap Data Structures within the Posters-track in SPLASH 2020
Anya Helene Bagge University of Bergen Norway Committee Member in Program Committee within the SPLASH Onward! Essays-track
Mehdi Bagherzadeh Oakland University United States Workshops Co-Chair in Organizing Committee for SPLASH 2020 Author of Actor Concurrency Bugs: A Comprehensive Study on Symptoms, Root Causes, API Usages, and Differences within the OOPSLA-track in SPLASH 2020 Committee Member in Organizing Committee within the SPLASH Workshops-track Committee Member in External Review Committee within the SPLASH OOPSLA-track
Patrick Bahr IT University of Copenhagen Denmark PC Member in Program Committee within the REBLS-track
Bill Bail MITRE Committee Member in Program Committee within the HILT-track
Gogul Balakrishnan Google United States Invited Speaker of Invited Talk within the SAS-track in SAS 2020 Invited Speaker in Invited Speakers within the SAS-track
Michael Ballantyne PLT @ Northeastern University United States Author of Macros For Domain-Specific Languages within the OOPSLA Artifacts-track in SPLASH 2020 Author of Macros For Domain-Specific Languages within the OOPSLA-track in SPLASH 2020 Author of Adding Interactive Visual Syntax to Textual Code within the OOPSLA-track in SPLASH 2020 Author of Macros For Domain-Specific Languages within the Posters-track in SPLASH 2020
Hampus Balldin Advenica AB, Malmö Author of A Domain-Specific Language for Filtering in Application Level Gateways within the GPCE-track in GPCE 2020
Michael Ballentyne PLT @ Northeastern University Author of Adding Interactive Visual Syntax to Textual Code within the OOPSLA Artifacts-track in SPLASH 2020
Subarno Banerjee University of Michigan United States Author of Sound Garbage Collection for C Using Pointer Provenance within the OOPSLA-track in SPLASH 2020
Anindya Banerjee National Science Foundation United States Author of Relational Reasoning in Object-based Programs within the REBASE-track in SPLASH 2020
Elisa Baniassad University of British Columbia SPLASH-E Co-Chair in Organizing Committee for SPLASH 2020 Session Chair of Welcome and Keynote (part of SPLASH -E) Co-chair of Welcome within the SPLASH-E-track in SPLASH 2020 Author of Nudging Student Learning Strategies Using Formative Feedback in Automatically Graded Assessments within the SPLASH-E-track in SPLASH 2020 Committee Member in Program Committee within the SPLASH Onward! Papers-track Chair in Program Commitee within the SPLASH -E-track
Sorav Bansal IIT Delhi, India Author of Counterexample-Guided Correlation Algorithm for Translation Validation within the OOPSLA Artifacts-track in SPLASH 2020 Author of Counterexample-Guided Correlation Algorithm for Translation Validation within the OOPSLA-track in SPLASH 2020
Olivier Barais (Univ Rennes, Inria, IRISA) Author of Modular and distributed IDE within the SLE-track in SLE 2020 Author of A principled approach to REPL interpreters within the Onward! Papers-track in SPLASH 2020 Committee Member in Program Committee within the SLE-track
Mikhail Barash University of Bergen, Norway Norway Author of Manipulating GUI Structures Declaratively within the GPCE-track in GPCE 2020 Author of Example-Driven Software Language Engineering within the SLE-track in SLE 2020
Mohamad Barbar University of Technology, Sydney Author of Flow-Sensitive Type Based Heap Cloning (Artifact) within the Artifacts-track in ECOOP 2020 Author of Flow-Sensitive Type-Based Heap Cloning within the Research Papers-track in ECOOP 2020
Pietro Barbieri Università di Genova Author of An inductive abstract semantics for coFJ within the FTfJP-track in FTfJP 2020 Author of Sound regular corecursion in coFJ within the Research Papers-track in ECOOP 2020
Raj Barik Uber Technologies Inc. Committee Member in External Review Committee within the SPLASH OOPSLA-track
Shraddha Barke University of California, San Diego United States Author of Just-in-Time Learning for Inductive Program Synthesis within the OOPSLA Artifacts-track in SPLASH 2020 Author of Just-in-Time Learning for Bottom-up Enumerative Synthesis within the OOPSLA-track in SPLASH 2020 Author of Feedback-Driven Semi-Supervised Synthesis of Program Transformations within the OOPSLA-track in SPLASH 2020
Dan Barowy Williams College United States Committee Member in External Review Committee within the SPLASH OOPSLA-track Committee Member in Program Commitee within the SPLASH -E-track
Chelsea Barraball Stellenbosch University Author of Tool Demo: A Gamified Interactive Feedback System for Grammar Development within the SLE-track in SLE 2020
Sean Bartell University of Illinois at Urbana-Champaign United States Author of Guided Linking: Dynamic Linking Without the Costs within the OOPSLA-track in SPLASH 2020 Author of Guided Linking: Dynamic Linking Without the Costs within the OOPSLA Artifacts-track in SPLASH 2020 Author of Guided Linking: Dynamic Linking Without the Costs within the Posters-track in SPLASH 2020
Alexandre Bartel University of Luxembourg Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
David Basin ETH Zurich, Switzerland Author of Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification within the OOPSLA Artifacts-track in SPLASH 2020 Author of Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification within the OOPSLA-track in SPLASH 2020
Antranig Basman Raising the Floor - International United Kingdom Committee Member in Program Committee within the SPLASH Onward! Papers-track
Raef Bassily Ohio State University, USA Author of Differentially-Private Software Frequency Profiling Under Linear Constraints within the OOPSLA-track in SPLASH 2020
Don Batory University of Texas, Austin United States Committee Member in Program Committee (to be completed) within the GPCE-track
Matt Bauman Julia Computing United States Author of The impact of differentiable programming: how ∂P is enabling new science in Julia within the REBASE-track in SPLASH 2020
Santiago Bautista Univ Rennes, ENS Rennes, Inria, IRISA France Author of Numeric Domains Meet Algebraic Data Types within the NSAD-track in NSAD 2020
Rohan Bavishi UC Berkeley United States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Ira Baxter Semantic Designs United States Committee Member in Program Committee (to be completed) within the GPCE-track
Jonathan Bell Northeastern University United States PLMW Co-Chair in Organizing Committee for SPLASH 2020 Author of A Large-Scale Longitudinal Study of Flaky Tests within the OOPSLA-track in SPLASH 2020 Keynote Speaker of Catching More Bugs with Fewer False Alarms within the Keynotes-track in SPLASH 2020 PLMW Co-Chair in Organizing Committee within the SPLASH PLMW-track
Julia Belyakova Northeastern University, USA Russia Diversity Chair in Organizing Committee for ECOOP 2020 Author of World Age in Julia: Optimizing Method Dispatch in the Presence of Eval within the OOPSLA-track in SPLASH 2020
Aaron Bembenek Harvard University United States Author of Formulog: Datalog for SMT-based Static Analysis within the OOPSLA-track in SPLASH 2020 Author of Formulog: Datalog for SMT-Based Static Analysis within the OOPSLA Artifacts-track in SPLASH 2020 Author of Formulog: Datalog for SMT-based Static Analysis within the Posters-track in SPLASH 2020
Josh Berdine Facebook Committee Member in Program Committee within the SAS-track
Alexandre Bergel University of Chile Chile Committee Member in Program Committee within the COP-track Committee Member in Program Committee within the DLS-track Committee Member in Program Committee within the SPLASH Onward! Essays-track
Federico Bergenti Università degli Studi di Parma Italy Committee Member in Program Committee within the AGERE-track
Adam Berger University of Wisconsin -- Milwaukee Author of Asynchronous Monad for Reactive IoT Programming within the REBLS 2020-track in REBLS 2020
Emery Berger University of Massachusetts Amherst United States Author of Mossad: Defeating Software Plagiarism Detection within the OOPSLA-track in SPLASH 2020 Author of Performance Really Matters within the REBASE-track in SPLASH 2020
Thorsten Berger Chalmers University of Technology, Sweden / University of Gothenburg, Sweden Sweden Author of Behavior Trees in Action: A Study of Robotics Applications within the SLE-track in SLE 2020
Aggelos Biboudis EPFL, Switzerland Switzerland Author of Semantics-Preserving Inlining for Metaprogramming within the Scala-track in Scala 2020 Author of A Type-and-Effect System for Object Initialization within the OOPSLA Artifacts-track in SPLASH 2020 Author of A Type-and-Effect System for Object Initialization within the OOPSLA-track in SPLASH 2020
Walter Binder University of Lugano, Switzerland Committee Member in Program Committee within the COP-track
Christian Bischof Scientific Computing, TU Darmstadt Author of MetaCG: Annotated call-graphs to facilitate whole-program analysis within the TAPAS-track in TAPAS 2020
Paola Bisogno Casavo Italy Author of Back to the Future! A History of UIs through Trends and Mass Culture within the REBASE-track in SPLASH 2020
Arpita Biswas Indian Institute of Science India Author of Learning-based Controlled Concurrency Testing within the OOPSLA Artifacts-track in SPLASH 2020 Author of Learning-based Controlled Concurrency Testing within the OOPSLA-track in SPLASH 2020
Sumon Biswas Iowa State University, USA United States Accessibility Chair in Organizing Committee for SPLASH 2020
Xuan Bi The University of Hong Kong Author of Row and Bounded Polymorphism via Disjoint Polymorphism within the Posters-track in ECOOP 2020 Author of Row and Bounded Polymorphism via Disjoint Polymorphism within the Research Papers-track in ECOOP 2020 Author of Row and Bounded Polymorphism via Disjoint Polymorphism within the Posters-track in SPLASH 2020
Steve Blackburn Australian National University Australia Virtualization Co-Chair in Organizing Committee for SPLASH 2020 Committee Member in Review Committee within the SPLASH OOPSLA-track
Sandrine Blazy Univ Rennes- IRISA France Committee Member in Program Committee (to be completed) within the GPCE-track
Martin Blicha Author of Farkas-Based Tree Interpolation within the SAS-track in SAS 2020
Robert Bocchino NASA/Caltech Jet Propulsion Laboratory Committee Member in Program Committee within the HILT-track
Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM Sponsorship Chair in Organizing Committee for ECOOP 2020
Rastislav Bodik University of Washington United States Author of Verifying and Improving Halide’s Term Rewriting System with Program Synthesis within the OOPSLA-track in SPLASH 2020
Hans-J. Boehm Google Committee Member in External Review Committee within the SPLASH OOPSLA-track
Mathieu Boespflug Tweag I/O France Author of Miniaturize All States! within the REBASE-track in SPLASH 2020
Carl Friedrich Bolz-Tereick Germany Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Steering Committee within the DLS-track
Michael D. Bond Ohio State University, USA Committee Member in External Review Committee within the SPLASH OOPSLA-track
Daniele Bonetta Oracle Labs United States Committee Member in Steering Committee within the VMIL-track
Tabea Bordis TU Braunschweig Author of Correctness-by-Construction for Feature-Oriented Software Product Lines within the GPCE-track in GPCE 2020
James Bornholt University of Texas at Austin United States Committee Member in Review Committee within the SPLASH OOPSLA-track
Artur Boronat University of Leicester Committee Member in Program Committee within the SLE-track
Sylvain Boulmé Grenoble-INP - VERIMAG Author of Certified and efficient instruction scheduling and application to interlocked VLIW processors within the OOPSLA Artifacts-track in SPLASH 2020 Author of Certified and efficient instruction scheduling within the OOPSLA-track in SPLASH 2020 Author of Certified and Efficient Instruction Scheduling within the Posters-track in SPLASH 2020
Erwan Bousse University of Nantes France Session Chair of (part of GPCE) Publicity Chair in Organizing Committee within the GPCE-track Committee Member in Program Committee within the SLE-track
John Boyland Univeristy of Wisconsin, Milwaukee United States Committee Member in Program Committee within the ECOOP Research Papers-track
Gilad Bracha F5 Networks Israel Author of A Ray of Hope: Array Programming for the 21st Century within the REBASE-track in SPLASH 2020
Jonathan Immanuel Brachthäuser University of Tübingen, Germany Author of Effects as Capabilities: Effect Handlers and Lightweight Effect Polymorphism within the OOPSLA Artifacts-track in SPLASH 2020 Author of Effects as Capabilities: Effect Handlers and Lightweight Effect Polymorphism within the OOPSLA-track in SPLASH 2020
Edwin Brady University of St. Andrews United Kingdom Author of A Framework for Resource Dependent EDSLs in a Dependently-Typed Language (Artifact) within the Artifacts-track in ECOOP 2020 Author of A Framework for Resource Dependent EDSLs in a Dependently Typed Language within the Research Papers-track in ECOOP 2020 Author of Quantitative Types in Idris 2 within the REBASE-track in SPLASH 2020
Julien Braine Author of Proving array properties using data abstraction within the NSAD-track in NSAD 2020
Oliver Bračevac Purdue University United States Author of Compiling Symbolic Execution with Staging and Algebraic Effects within the OOPSLA-track in SPLASH 2020 Committee Member in Program Committee within the Scala-track
Jean Bresson Ableton Germany Committee Member in Program Committee within the SPLASH Onward! Essays-track
Einar Broch Johnsen University of Oslo Author of Behavior Trees in Action: A Study of Robotics Applications within the SLE-track in SLE 2020 Committee Member in Program Committee within the AGERE-track
Shaked Brody Technion Israel Author of A Structural Model for Contextual Code Changes within the OOPSLA Artifacts-track in SPLASH 2020 Author of A Structural Model for Contextual Code Changes within the OOPSLA-track in SPLASH 2020
Yerom-David Bromberg University of Rennes, Inria, CNRS, IRISA Author of Modular and distributed IDE within the SLE-track in SLE 2020
Ben Brosgol AdaCore Committee Member in Program Committee within the HILT-track
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 at Amherst, USA United States Author of Wasm/k: Delimited Continuations for WebAssembly within the DLS-track in DLS Author of TacTok: Semantics-Aware Proof Synthesis within the OOPSLA-track in SPLASH 2020
Gary Brandt Bucher, II Research Affiliates, LLC United States Author of Dynamic Pattern Matching with Python within the DLS-track in DLS
Didier Buchs University of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland Author of Functional Block Programming and Debugging within the LIVE 2020-track in LIVE 2020 Author of Featherweight Swift: A Core Calculus for Swift’s Type System within the SLE-track in SLE 2020
Lubomír Bulej Charles University Czech Republic Committee Member in Organizing Committee within the ICOOOLPS-track
Oleksandra Bulgakova Ukraine PC Member in Program Committee within the REBLS-track
Sebastian Burckhardt Microsoft Research Switzerland Committee Member in Review Committee within the SPLASH OOPSLA-track
Loli Burgueño Open University of Catalonia & CEA LIST Author of Towards the Optical Character Recognition of DSLs within the SLE-track in SLE 2020 Publicity Chair in Organizing Committee within the SLE-track
Samuele Buro Università degli Studi di Verona Author of On Multi-Language Abstraction: Towards a Static Analysis of Multi-Language Programs within the SAS-track in SAS 2020
Manuel Bärenz sonnen eServices GmbH Germany Author of The essence of live coding: Change the program, keep the state! within the REBLS 2020-track in REBLS 2020 PC Member in Program Committee within the REBLS-track
Thibault Béziers la Fosse IMT Atlantique, ICAM France Author of Annotating Executable DSLs with Energy Estimation Formulas within the SLE-track in SLE 2020
Jordi Cabot ICREA - UOC Author of Towards the Optical Character Recognition of DSLs within the SLE-track in SLE 2020
Cristian Cadar Imperial College London, UK United Kingdom Author of Invited Talk (Title TBD) within the TAPAS-track in TAPAS 2020
Jose Cambronero Massachusetts Institute of Technology, USA United States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Ting Cao Microsoft Research China Committee Member in External Review Committee within the SPLASH OOPSLA-track
Michael Carbin Massachusetts Institute of Technology, USA Author of Programming and Reasoning with Partial Observability within the OOPSLA Artifacts-track in SPLASH 2020 Author of Programming and Reasoning with Partial Observability within the OOPSLA-track in SPLASH 2020
Elias Castegren KTH Royal Institute of Technology Sweden Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in Organizing Committee within the AGERE-track Committee Member in Organizing Committee within the IWACO-track
Matthew Castellana Stony Brook University Publicity Chair in Publicity Chair within the LPOP-track
David Castro-Perez Imperial College London Author of CAMP: Cost-Aware Multiparty Session Protocols within the OOPSLA Artifacts-track in SPLASH 2020
David Castro Imperial College London United Kingdom Author of CAMP: Cost-Aware Multiparty Session Protocols within the OOPSLA-track in SPLASH 2020 Author of CAMP: Cost-Aware Multiparty Session Protocols within the Posters-track in SPLASH 2020
Walter Cazzola Università degli Studi di Milano Italy Committee Member in Program Committee within the SLE-track
Andrea Cerone Football Radar Author of Data Consistency in Transactional Storage Systems: A Centralised Semantics within the Research Papers-track in ECOOP 2020 Author of Data Consistency in Transactional Storage Systems: A Centralised Semantics within the Posters-track in ECOOP 2020 Author of Data Consistency in Transactional Storage Systems: A Centralised Semantics within the Posters-track in SPLASH 2020
Milind Chabbi Uber Technologies Inc. United States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Emmanuel Chailloux UPMC, France Author of Programming Microcontrollers through High-Level Abstractions within the VMIL 2020-track in VMIL 2020
Soham Chakraborty IIT Delhi, India India Committee Member in External Review Committee within the SPLASH OOPSLA-track
Stefanos Chaliasos Athens University of Economics and Business Author of A Model for Detecting Faults in Build Specifications within the OOPSLA Artifacts-track in SPLASH 2020 Author of A Model for Detecting Faults in Build Specifications within the OOPSLA-track in SPLASH 2020
Satish Chandra Facebook, USA United States Rebase Co-chair in Organizing Committee for SPLASH 2020 Co-chair in REBASE Chicago within the SPLASH REBASE-track
Angela Chang University of Waterloo Author of Scala with Explicit Nulls within the Artifacts-track in ECOOP 2020 Author of Scala with Explicit Nulls within the Research Papers-track in ECOOP 2020
Bor-Yuh Evan Chang University of Colorado Boulder & Amazon Committee Member in Program Committee within the SAS-track
Alexandre Chapoutot Author of Abstract Domains for Constraint Programming with Differential Equations within the NSAD-track in NSAD 2020
Kyle Chard University of Chicago United States Panelist of Panel: Language support for parallel and distributed computing within the HILT 2020-track in HILT 2020 Author of Productive Parallel Programming with Parsl within the HILT 2020-track in HILT 2020 Committee Member in Program Committee within the HILT-track
Guido Chari ASAPP Inc Argentina Author of Contextual Dispatch for Function Specialization within the OOPSLA Artifacts-track in SPLASH 2020 Author of Contextual Dispatch for Function Specialization within the OOPSLA-track in SPLASH 2020
Sarah E. Chasins University of California, Berkeley Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the HATRA-track Committee Member in Organizing Committee within the PLATEAU-track
Marsha Chechik University of Toronto Canada Author of Automatic and Efficient Variability-Aware Lifting of Functional Programs within the OOPSLA-track in SPLASH 2020 Committee Member in Program Committee within the SLE-track Committee Member in Program Committee within the SySEPL-track
Natalia Chechina Bournemouth University United Kingdom Committee Member in Program Committee within the AGERE-track
Yueqiang Cheng Baidu Security Author of Exposing Cache Timing Side-channel Leaks through Out-of-order Symbolic Execution within the OOPSLA-track in SPLASH 2020
Xiao Cheng Beijing University of Posts and Telecommunications Author of Flow2Vec: Value-Flow-Based Precise Code Embedding within the OOPSLA-track in SPLASH 2020
Jianyi Cheng Imperial College London United Kingdom Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Xiaohong Chen University of Illinois at Urbana-Champaign United States Author of Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic within the OOPSLA-track in SPLASH 2020
lingyun Chen Alibaba Group China Author of Hidden Inheritance: An Inline Caching Design for TypeScript Performance within the OOPSLA Artifacts-track in SPLASH 2020 Author of Hidden Inheritance: An Inline Caching Design for TypeScript Performance within the OOPSLA-track in SPLASH 2020
Sheng Chen University of Louisiana at Lafayette United States Session Chair of (part of GPCE) Author of Taming Type Annotations in Gradual Typing within the OOPSLA-track in SPLASH 2020 Committee Member in Program Committee (to be completed) within the GPCE-track
Shiping Chen Data61 at CSIRO, Australia / UNSW, Australia Australia Author of Flow-Sensitive Type Based Heap Cloning (Artifact) within the Artifacts-track in ECOOP 2020 Author of Flow-Sensitive Type-Based Heap Cloning within the Research Papers-track in ECOOP 2020
Yueqi Chen The Pennsylvania State University Author of Exposing Cache Timing Side-channel Leaks through Out-of-order Symbolic Execution within the OOPSLA-track in SPLASH 2020
Peter M. Chen University of Michigan, USA Author of Sound Garbage Collection for C Using Pointer Provenance within the OOPSLA-track in SPLASH 2020
Yanju Chen University of California, Santa Barbara United States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Liqian Chen National University of Defense Technology, China China Author of Rigorous Linear Programming Techniques for Numerical Abstract Domains within the NSAD-track in NSAD 2020 Co-chair in Organizing Committee within the NSAD-track
Maxime Chevalier-Boisvert Université de Montréal Committee Member in Program Committee within the SPLASH Onward! Essays-track
Marc Chevalier ENS, CNRS, PSL University, INRIA France Committee Member in Artifact Evaluation Committee within the SAS-track
Shigeru Chiba The University of Tokyo Japan Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Program Committee within the COP-track Committee Member in Program Committee (to be completed) within the GPCE-track Committee Member in Program Committee within the DLS-track
Stephen Chong Harvard University United States Author of Formulog: Datalog for SMT-based Static Analysis within the OOPSLA-track in SPLASH 2020 Author of Formulog: Datalog for SMT-Based Static Analysis within the OOPSLA Artifacts-track in SPLASH 2020 Author of Formulog: Datalog for SMT-based Static Analysis within the Posters-track in SPLASH 2020
Vikraman Choudhury Indiana University & University of Cambridge United States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Stephen Chou Massachusetts Institute of Technology, USA Author of A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra within the OOPSLA-track in SPLASH 2020 Author of A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra within the Posters-track in SPLASH 2020
Maria Christakis MPI-SWS, Germany Germany Author of Perfectly Parallel Fairness Certification of Neural Networks within the OOPSLA Artifacts-track in SPLASH 2020 Author of Perfectly Parallel Fairness Certification of Neural Networks within the OOPSLA-track in SPLASH 2020
Ravi Chugh University of Chicago Local Arrangements Chair in Organizing Committee for SPLASH 2020 Author of ManipML: Towards Bimodal Tangible Functional Programming within the LIVE 2020-track in LIVE 2020 PC Member in Programme Committee within the LIVE-track Committee Member in Program Committee within the HATRA-track
Benjamin Chung Northeastern University United States AV Co-Chair in Organizing Committee for SPLASH 2020 Author of World Age in Julia: Optimizing Method Dispatch in the Presence of Eval within the OOPSLA-track in SPLASH 2020
Guerric Chupin ENSTA ParisTech PC Member in Program Committee within the REBLS-track
Luke Church University of Cambridge United Kingdom Author of Towards making formal methods normal: meeting developers where they are within the HATRA-track in HATRA 2020 Committee Member in Organizing Committee within the HATRA-track
Duc-Hiep Chu Google Author of Inter-Theory Dependency Analysis for SMT String Solvers within the OOPSLA Artifacts-track in SPLASH 2020 Author of Inter-Theory Dependency Analysis for SMT String Solvers within the OOPSLA-track in SPLASH 2020
Paolo Ciancarini University of Bologna Author of Software design as story telling -- Reflecting on the work of Italo Calvino within the Onward! Essays-track in SPLASH 2020
Cristina Cifuentes Oracle Labs Australia Committee Member in Program Committee within the TAPAS-track
Matteo Cimini University of Massachusetts Lowell United States Author of Extrinsically Typed Operational Semantics for Functional Languages within the SLE-track in SLE 2020
Tony Clark Aston University United Kingdom Committee Member in Program Committee within the SLE-track
Cliff Click Self United States Author of Tales from the Frontlines: Startup War Stories within the REBASE-track in SPLASH 2020
Martin Clochard ETH Zürich Author of Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification within the OOPSLA Artifacts-track in SPLASH 2020 Author of Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification within the OOPSLA-track in SPLASH 2020
Joshua Clune Carnegie Mellon University Author of Program Equivalence for Assisted Grading of Functional Programs within the OOPSLA-track in SPLASH 2020
Yvonne Coady University of Victoria Canada Doctoral Symposium Co-Chair in Organizing Committee for SPLASH 2020 Co-chair in Program Committee within the SPLASH Doctoral Symposium-track
Michael Coblenz University of Maryland at College Park, USA United States Author of User-Centered Programming Language Design: A Course-Based Case Study within the HATRA-track in HATRA 2020 Author of Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian within the OOPSLA-track in SPLASH 2020 Author of Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian within the OOPSLA Artifacts-track in SPLASH 2020 Author of Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian within the Posters-track in SPLASH 2020 Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in Organizing Committee within the HATRA-track
Jean-Louis Colaço Keynote Speaker of SCADE 6 within the REBLS 2020-track in REBLS 2020
Murray Cole University of Edinburgh, UK Author of DelayRepay: Delayed Execution for Kernel Fusion in Python within the DLS-track in DLS
Bruce Collie University of Edinburgh Author of Modeling Black-Box Components with Probabilistic Synthesis within the GPCE-track in GPCE 2020
Benoit Combemale University of Toulouse and Inria France Session Chair of (part of GPCE) Author of Modular and distributed IDE within the SLE-track in SLE 2020 Author of A principled approach to REPL interpreters within the Onward! Papers-track in SPLASH 2020
Youyou Cong Tokyo Institute of Technology Japan Author of Toward a Multi-Language and Multi-Environment Framework for Live Programming within the LIVE 2020-track in LIVE 2020 Committee Member in Program Committee within the Scala-track
Thomas Conte Georgia Institute of Technology Author of Intrepydd: Performance, Productivity and Portability for Data Science Application Kernels within the Onward! Papers-track in SPLASH 2020
Mistral Contrastin Facebook London United Kingdom Author of Guiding user annotations for units-of-measure verification within the HATRA-track in HATRA 2020
William Cook University of Texas at Austin Austin in Program Committee within the SPLASH Onward! Papers-track
David Corral-Plaza University of Cadiz Committee Member in Artifact Evaluation Committee within the SLE-track
Fabien Coulon University of Toulouse / Obeo Author of Modular and distributed IDE within the SLE-track in SLE 2020
Patrick Cousot New York University United States Author of Logic in Program Analysis and Verification within the LPOP 2020-track in LPOP 2020 Panelist of Logic in Program Specification: Where Has It Failed? How Can We Fix It? within the LPOP 2020-track in LPOP 2020 Committee Member in Program Committee within the SAS-track
Will Crichton Stanford University Author of The Usability of Ownership within the HATRA-track in HATRA 2020
Roy Crole University of Leicester United Kingdom Author of On Multi-Language Abstraction: Towards a Static Analysis of Multi-Language Programs within the SAS-track in SAS 2020
Shaobo Cui Author of The Duality of Subtyping within the Research Papers-track in ECOOP 2020 Author of The Duality of Subtyping (artifact) within the Artifacts-track in ECOOP 2020
Charlie Curtsinger Grinnell College SPLASH-E Co-Chair in Organizing Committee for SPLASH 2020 Session Chair of Welcome and Keynote (part of SPLASH -E) Author of Welcome within the SPLASH-E-track in SPLASH 2020 Chair in Program Commitee within the SPLASH -E-track
Javier Luis Cánovas Izquierdo IN3 - UOC Spain Committee Member in Program Committee within the SLE-track
Theo D'Hondt Vrije Universiteit Brussel Belgium Committee Member in Program Committee within the ECOOP Research Papers-track
Francesco Dagnino DIBRIS, University of Genova, Italy Italy Author of An inductive abstract semantics for coFJ within the FTfJP-track in FTfJP 2020 Author of A big step from finite to infinite computations within the Research Papers-track in ECOOP 2020 Author of Sound regular corecursion in coFJ within the Research Papers-track in ECOOP 2020 Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Erin Dahlgren Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Mila Dalla Preda University of Verona, Italy Author of Harming Dynamic Analysis within the SAS-track in SAS 2020
Sadegh Dalvandi University of Surrey Author of Owicki-Gries Reasoning for C11 RAR within the Research Papers-track in ECOOP 2020 Author of Owicki-Gries Reasoning for C11 RAR within the Artifacts-track in ECOOP 2020 Author of Owicki-Gries Reasoning for C11 RAR within the Posters-track in ECOOP 2020 Author of Owicki-Gries Reasoning for C11 RAR within the Posters-track in SPLASH 2020
Matthew Danish University of Cambridge, UK Author of Guiding user annotations for units-of-measure verification within the HATRA-track in HATRA 2020
Eva Darulova MPI-SWS, Germany Author of Towards a Sound Approximating Compiler for Numerical Kernels (Keynote) within the Scala-track in Scala 2020 Author of Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis within the SAS-track in SAS 2020 Author of Interactive Synthesis of Temporal Specifications from Examples and Natural Language within the OOPSLA Artifacts-track in SPLASH 2020 Author of Interactive Synthesis of Temporal Specifications from Examples and Natural Language within the OOPSLA-track in SPLASH 2020 Invited Speaker in Invited Speakers within the Scala-track
Adnan Darwiche UCLA Invited Speaker of Tractable Boolean Circuits: Applications and Compilation Algorithms within the LPOP 2020-track in LPOP 2020 Panelist of Logic in Artificial Intelligence: Don’t Machine Learning and Neural Networks Do It All? within the LPOP 2020-track in LPOP 2020
Ankush Das Carnegie Mellon University United States Author of Exact and Linear-Time Gas-Cost Analysis within the SAS-track in SAS 2020
Yaniv David Technion Israel Author of Neural Reverse Engineering of Stripped Binaries using Augmented Control Flow Graphs within the OOPSLA-track in SPLASH 2020
Ariel Davis Carnegie Mellon University Author of User-Centered Programming Language Design: A Course-Based Case Study within the HATRA-track in HATRA 2020
Joeri De Koster Vrije Universiteit Brussel, Belgium Belgium Author of Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model within the Artifacts-track in ECOOP 2020 Author of Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model within the Research Papers-track in ECOOP 2020 Committee Member in Organizing Committee within the AGERE-track
Wolfgang De Meuter Vrije Universiteit Brussel Author of Reactive Sorting Networks within the REBLS 2020-track in REBLS 2020 Author of Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model within the Artifacts-track in ECOOP 2020 Author of Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model within the Research Papers-track in ECOOP 2020 Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Steering Committee within the REBLS-track
Rob DeLine Microsoft Research Committee Member in Program Committee within the HATRA-track
Thomas Degueule CNRS, LaBRI France Committee Member in Program Committee (to be completed) within the GPCE-track
Pantazis Deligiannis Microsoft Research United States Author of Learning-based Controlled Concurrency Testing within the OOPSLA Artifacts-track in SPLASH 2020 Author of Learning-based Controlled Concurrency Testing within the OOPSLA-track in SPLASH 2020
Brian Demsky University of California at Irvine, USA United States Author of SATUNE: Synthesizing Efficient SAT Encoders within the OOPSLA-track in SPLASH 2020 Author of Synthesizing Efficient SAT Encoders within the Posters-track in SPLASH 2020
David Devecsery Georgia Institute of Technology Author of Sound Garbage Collection for C Using Pointer Provenance within the OOPSLA-track in SPLASH 2020
Breanna Devore-McDonald University of Massachusetts Amherst Author of Mossad: Defeating Software Plagiarism Detection within the OOPSLA-track in SPLASH 2020
Dominique Devriese Vrije Universiteit Brussel Belgium Committee Member in Program Committee within the IWACO-track
Jacob Diamond-Reivich Author of Mito: Edit a spreadsheet. Generate production ready Python. within the LIVE 2020-track in LIVE 2020
Lukas Diekmann King's College London United Kingdom Author of Don't Panic! Better, Fewer, Syntax Errors for LR Parsers within the Research Papers-track in ECOOP 2020 Author of Don't Panic! Better, Fewer, Syntax Errors for LR Parsers within the Artifacts-track in ECOOP 2020 Artifact Evaluation Co-Chair in Organizing Committee within the SLE-track Committee Member in Program Committee within the ICOOOLPS-track
Werner Dietl University of Waterloo, Canada Canada Author of Precise Inference of Expressive Units of Measurement Types within the OOPSLA-track in SPLASH 2020 Author of Precise Inference of Expressive Units of Measurement Types within the OOPSLA Artifacts-track in SPLASH 2020 Author of Precise Inference of Expressive Units of Measurement Types within the Posters-track in SPLASH 2020 Steering Committee Member in Steering Commitee within the FTfJP-track
Jens Dietrich Victoria University of Wellington New Zealand Author of Putting the Semantics into Semantic Versioning within the Onward! Essays-track in SPLASH 2020
Will Dietz University of Illinois at Urbana-Champaign United States Author of Guided Linking: Dynamic Linking Without the Costs within the OOPSLA-track in SPLASH 2020 Author of Guided Linking: Dynamic Linking Without the Costs within the OOPSLA Artifacts-track in SPLASH 2020 Author of Guided Linking: Dynamic Linking Without the Costs within the Posters-track in SPLASH 2020
Isil Dillig University of Texas at Austin, USA Author of Automated Policy Synthesis for System Call Sandboxing within the OOPSLA-track in SPLASH 2020 Committee Member in External Review Committee within the SPLASH OOPSLA-track
Christos Dimoulas PLT @ Northwestern University United States Poster Co-Chair in Organizing Committee for SPLASH 2020 Committee Member in External Review Committee within the SPLASH OOPSLA-track Poster Co-Chair in Organizing Committee within the SPLASH Posters-track
Yufei Ding UCSB China Author of Projection-based Runtime Assertions for Testing and Debugging Quantum Programs within the OOPSLA Artifacts-track in SPLASH 2020 Author of Projection-based Runtime Assertions for Testing and Debugging Quantum Programs within the OOPSLA-track in SPLASH 2020
Cynthia Disenfeld Foretellix and Open University of Israel Israel Committee Member in Program Committee within the COP-track
Sébastien Doeraene EPFL, Switzerland Switzerland Author of Semantics-Preserving Inlining for Metaprogramming within the Scala-track in Scala 2020
Simon Doherty University of Sheffield Author of Owicki-Gries Reasoning for C11 RAR within the Research Papers-track in ECOOP 2020 Author of Owicki-Gries Reasoning for C11 RAR within the Artifacts-track in ECOOP 2020 Author of Owicki-Gries Reasoning for C11 RAR within the Posters-track in ECOOP 2020 Author of Owicki-Gries Reasoning for C11 RAR within the Posters-track in SPLASH 2020
Julian Dolby IBM Research, USA Author of Python 3 Types in the Wild: A Tale of Two Type Systems within the DLS-track in DLS Author of Static Analysis of Shape in TensorFlow Programs within the Artifacts-track in ECOOP 2020 Author of Static Analysis of Shape in TensorFlow Programs within the Research Papers-track in ECOOP 2020 Committee Member in External Review Committee within the SPLASH OOPSLA-track Organizer in Organizing Committee within the PRIDE-track Organizer in Organizing Committee within the JSTools-track
Philipp Dominik Schubert Heinz Nixdorf Institut, Paderborn University Germany Doctoral Symposium Co-Chair in Organizing Committee for ECOOP 2020 Doctoral Symposium Co-Chair in Organizing Committee within the ECOOP Doctoral Symposium-track
Alastair Donaldson Imperial College London United Kingdom Author of Putting Randomized Compiler Testing into Production within the Artifacts-track in ECOOP 2020 Author of Putting Randomized Compiler Testing into Production within the Research Papers-track in ECOOP 2020 Author of Test-Case Reduction via Test-Case Generation: Insights From the Hypothesis Reducer within the Research Papers-track in ECOOP 2020 Author of Test-Case Reduction via Test-Case Generation: Insights From the Hypothesis Reducer within the Posters-track in ECOOP 2020 Author of Test-Case Reduction via Test-Case Generation: Insights From the Hypothesis Reducer within the Posters-track in SPLASH 2020 Committee Member in Academic Panel within the ECOOP Doctoral Symposium-track
Brijesh Dongol University of Surrey Author of Owicki-Gries Reasoning for C11 RAR within the Research Papers-track in ECOOP 2020 Author of Owicki-Gries Reasoning for C11 RAR within the Artifacts-track in ECOOP 2020 Author of Owicki-Gries Reasoning for C11 RAR within the Posters-track in ECOOP 2020 Author of Owicki-Gries Reasoning for C11 RAR within the Posters-track in SPLASH 2020
Vlastimil Dort Charles University Author of Reference immutability for DOT within the Research Papers-track in ECOOP 2020
Shivani Doshi Cornell University United States Author of Digging for Fold: Synthesis-Aided API Discovery for Haskell within the OOPSLA Artifacts-track in SPLASH 2020 Author of Digging for Fold: Synthesis-Aided API Discovery for Haskell within the OOPSLA-track in SPLASH 2020
Swaib Dragule Chalmers \| University of Gothenburg Author of Behavior Trees in Action: A Study of Robotics Applications within the SLE-track in SLE 2020
Sophia Drossopoulou Imperial College London United Kingdom Author of Reshape your layouts, not your programs: A safe language extension for better cache locality within the Research Papers-track in ECOOP 2020 Author of Reshape your layouts, not your programs: A safe language extension for better cache locality within the Posters-track in ECOOP 2020 Author of Implementation of SHAPES case studies within the Artifacts-track in ECOOP 2020 Author of Reshape Your Layouts, Not Your Programs: A Safe Language Extension for Better Cache Locality within the Posters-track in SPLASH 2020 Committee Member in Review Committee within the SPLASH OOPSLA-track
Cezara Drăgoi INRIA, ENS, CNRS France Author of Testing Consensus Implementations Using Communication Closure within the OOPSLA-track in SPLASH 2020 Author of Programming at the Edge of Synchrony within the OOPSLA-track in SPLASH 2020
Christophe Dubach McGill University United Kingdom Author of DelayRepay: Delayed Execution for Kernel Fusion in Python within the DLS-track in DLS
Stéphane Ducasse INRIA Lille Committee Member in Program Committee within the DLS-track
Benoît Duhoux Université catholique de Louvain, Belgium Belgium Committee Member in Program Committee within the COP-track
Saikat Dutta University of Illinois at Urbana-Champaign, USA United States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Ke Du University of Michigan Author of RustViz: Interactively Visualizing Ownership and Borrowing within the HATRA-track in HATRA 2020
Robert Dyer University of Nebraska - Lincoln United States Student Volunteer Co-Chair in Organizing Committee for SPLASH 2020 Committee Member in External Review Committee within the SPLASH OOPSLA-track Student Volunteer Co-Chair in Organizers within the SPLASH Student Volunteers-track
Jakob Edding Hasso Plattner Institute, University of Potsdam Author of Example-Based Live Programming for Everyone: Building Language-agnostic Tools for Live Programming with LSP and GraalVM within the Onward! Papers-track in SPLASH 2020
Jonathan Edwards United States Committee Member in Program Committee within the SPLASH Onward! Papers-track PC Member in Programme Committee within the LIVE-track
Vyacheslav Egorov Google Denmark Keynote Speaker of 10 years of Dart within the VMIL 2020-track in VMIL 2020
Marco Eilers ETH Zurich Switzerland Author of Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification within the OOPSLA Artifacts-track in SPLASH 2020 Author of Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification within the OOPSLA-track in SPLASH 2020
Susan Eisenbach Imperial College London United Kingdom Author of Reshape your layouts, not your programs: A safe language extension for better cache locality within the Research Papers-track in ECOOP 2020 Author of Reshape your layouts, not your programs: A safe language extension for better cache locality within the Posters-track in ECOOP 2020 Author of Implementation of SHAPES case studies within the Artifacts-track in ECOOP 2020 Author of Reshape Your Layouts, Not Your Programs: A Safe Language Extension for Better Cache Locality within the Posters-track in SPLASH 2020
Michael Emmi Amazon Web Services Committee Member in External Review Committee within the SPLASH OOPSLA-track
Constantin Enea IRIF, University Paris Diderot & CNRS France Author of Testing Consensus Implementations Using Communication Closure within the OOPSLA-track in SPLASH 2020 Author of Proving Highly-Concurrent Traversals Correct within the OOPSLA-track in SPLASH 2020
Esra Erdem Sabanci University, Turkey Turkey Committee Member in Program Committee within the LPOP-track
Sebastian Erdweg JGU Mainz Germany Author of A Systematic Approach to Deriving Incremental Type Checkers within the OOPSLA-track in SPLASH 2020 Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Program Committee within the SLE-track
Erik Ernst Google Inc. Denmark Author of Herding Nulls in Dart within the REBASE-track in SPLASH 2020 Committee Member in External Review Committee within the ECOOP Research Papers-track
Martin Erwig Oregon State University United States Session Chair of GPCE/SLE Opening (part of GPCE) Session Chair of GPCE/SLE Opening (part of GPCE) General Chair in Organizing Committee within the GPCE-track
Nafise Eskandani Masoule Technical University of Darmstadt Germany Doctoral Symposium Co-Chair in Organizing Committee for ECOOP 2020 Author of ConSysT: Tunable, Safe Consistency meets Object-Oriented Programming within the FTfJP-track in FTfJP 2020 Author of Rethinking Safe Consistency in Distributed Object-Oriented Programming within the OOPSLA-track in SPLASH 2020 Doctoral Symposium Co-Chair in Organizing Committee within the ECOOP Doctoral Symposium-track
Patrick Eugster Universita della Svizzera Italiana, Switzerland Author of Scalable and Serializable Networked Multi-Actor Programming within the OOPSLA-track in SPLASH 2020 Committee Member in Steering Committee within the REBLS-track
Hugues Evrard Google Author of Putting Randomized Compiler Testing into Production within the Artifacts-track in ECOOP 2020 Author of Putting Randomized Compiler Testing into Production within the Research Papers-track in ECOOP 2020
Fola-Dami Eyitemi University of Leicester United Kingdom Committee Member in Artifact Evaluation Committee within the SLE-track
Maxmilian Falkenstein ETH Zurich Author of Fast Linear Programming through Transprecision Computing on Small and Sparse Data within the OOPSLA-track in SPLASH 2020
Chris Fallin Mozilla Author of Safe, Flexible Aliasing with Deferred Borrows within the Research Papers-track in ECOOP 2020
Umar Farooq University of California Riverside United States Author of LiveDroid: Identifying and Preserving Mobile App State in Volatile Runtime Environments within the OOPSLA-track in SPLASH 2020
Marie Farrell University of Liverpool Programme Committee in Program Committee within the FTfJP-track
Parisa Fathololumi Stevens Institute of Technology Author of DynamiTe: Dynamic Termination and Non-termination Proofs within the OOPSLA-track in SPLASH 2020
Grigory Fedyukovich Florida State University United States Author of Farkas-Based Tree Interpolation within the SAS-track in SAS 2020
Marc Feeley Université de Montréal Canada Session Chair of Invited Talks (part of VMIL) Author of VMIL Welcome within the VMIL 2020-track in VMIL 2020 Committee Member in Program Committee within the VMIL-track Committee Member in Organizing Committee within the VMIL-track
Yotam Feldman Tel Aviv University Israel Author of Proving Highly-Concurrent Traversals Correct within the OOPSLA-track in SPLASH 2020 Author of The Wonderful Wizard of LoC: Paying Attention to the Man Behind the Curtain of Line-of-Code Metrics within the Onward! Essays-track in SPLASH 2020
Molly Feldman Williams College United States Committee Member in Program Commitee within the SPLASH -E-track Committee Member in Program Committee within the HATRA-track
Tim Felgentreff Oracle Labs, Potsdam Germany Web Technology Chair in Organizing Committee for ECOOP 2020 Organizer of Polyglot Programming within the Tutorials-track in ECOOP 2020 Organizer of SqueakLive within the Tutorials-track in ECOOP 2020 Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Steering Committee within the DLS-track Committee Member in Program Committee within the DLS-track
Matthias Felleisen PLT @ Northeastern University Author of Macros For Domain-Specific Languages within the OOPSLA Artifacts-track in SPLASH 2020 Author of Macros For Domain-Specific Languages within the OOPSLA-track in SPLASH 2020 Author of Adding Interactive Visual Syntax to Textual Code within the OOPSLA Artifacts-track in SPLASH 2020 Author of Adding Interactive Visual Syntax to Textual Code within the OOPSLA-track in SPLASH 2020 Author of Macros For Domain-Specific Languages within the Posters-track in SPLASH 2020
Yu Feng University of California, Santa Barbara China Committee Member in External Review Committee within the SPLASH OOPSLA-track
Jerome Feret INRIA Paris France Committee Member in Program Committee within the SAS-track
Kiko Fernandez-Reyes Uppsala University Sweden Author of Dalarna: A Simplistic Capability-Based Dynamic Language Design For Data Race Freedom within the FTfJP-track in FTfJP 2020 Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Pietro Ferrara Università Ca' Foscari, Venezia, Italy Italy Committee Member in Program Committee within the NSAD-track
Francisco Ferreira Imperial College London Author of Statically Verified Refinements for Multiparty Protocols within the OOPSLA-track in SPLASH 2020 Author of Statically Verified Refinements for Multiparty Protocols within the OOPSLA Artifacts-track in SPLASH 2020 Author of Statically Verified Refinements for Multiparty Protocols within the Posters-track in SPLASH 2020
John Feser MIT CSAIL Author of Deductive Optimization of Relational Data Storage within the OOPSLA-track in SPLASH 2020
Ismael Figueroa University of Valparaíso Chile Committee Member in Program Committee within the COP-track
Stephen J Fink Facebook United States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Nicholas Fireman Oakland University Author of Actor Concurrency Bugs: A Comprehensive Study on Symptoms, Root Causes, API Usages, and Differences within the OOPSLA-track in SPLASH 2020
Emily First University of Massachusetts Amherst Author of TacTok: Semantics-Aware Proof Synthesis within the OOPSLA-track in SPLASH 2020
Bernd Fischer Stellenbosch University South Africa Author of Tool Demo: A Gamified Interactive Feedback System for Grammar Development within the SLE-track in SLE 2020 Author of Grammar-based Testing for Little Languages: An Experience Report with Student Compilers within the SLE-track in SLE 2020 Author of Test Case Generation from Context-Free Grammars Using Generalized Traversal of LR-Automata within the SLE-track in SLE 2020
Keno Fischer Julia Computing United States Author of Non-local compiler transformations in the presence of dynamic dispatch within the REBASE-track in SPLASH 2020
Yannic Fischler TU Darmstadt Author of MetaCG: Annotated call-graphs to facilitate whole-program analysis within the TAPAS-track in TAPAS 2020
Jennifer Fish Carnegie Mellon University Author of A Case Study in Language-Based Security: Building an I/O Library for Wyvern within the Onward! Papers-track in SPLASH 2020 Author of A Case Study in Language-Based Security: Building an I/O Library for Wyvern within the Posters-track in SPLASH 2020
Kathi Fisler Brown University Committee Member in Steering Committee within the SPLASH -E-track
Cormac Flanagan University of California, Santa Cruz Ireland Author of The Anchor Verifier for Blocking and Non-Blocking Concurrent Software within the OOPSLA Artifacts-track in SPLASH 2020 Author of The Anchor Verifier for Blocking and Non-Blocking Concurrent Software within the OOPSLA-track in SPLASH 2020
Matthew Flatt University of Utah, USA Keynote Speaker of Racket’s Intermediate Language for Control within the VMIL 2020-track in VMIL 2020 Committee Member in External Review Committee within the ECOOP Research Papers-track Program Chair in Program Committee within the DLS-track
Shaked Flur Google Research Author of Towards making formal methods normal: meeting developers where they are within the HATRA-track in HATRA 2020
Olivier Flückiger Northeastern University, USA Author of Sampling Optimized Code for Type Feedback within the DLS-track in DLS Author of Contextual Dispatch for Function Specialization within the OOPSLA Artifacts-track in SPLASH 2020 Author of Contextual Dispatch for Function Specialization within the OOPSLA-track in SPLASH 2020 Committee Member in Program Committee within the ECOOP Research Papers-track
Niklas Fors Lund University Author of Principles and Patterns of JastAdd-style Reference Attribute Grammars within the SLE-track in SLE 2020
Jeffrey S. Foster Tufts University United States Author of Sound, Heuristic Type Annotation Inference For Ruby within the DLS-track in DLS
Simon Fowler University of Glasgow United Kingdom Author of Model-View-Update-Communicate: Session Types meet the Elm Architecture within the Artifacts-track in ECOOP 2020 Author of Model-View-Update-Communicate: Session Types meet the Elm Architecture within the Research Papers-track in ECOOP 2020 PC Member in Programme Committee within the LIVE-track
José Fragoso Santos INESC-ID/Instituto Superior Técnico, Portugal Author of A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications within the Research Papers-track in ECOOP 2020 Author of A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications within the Artifacts-track in ECOOP 2020 Committee Member in Review Committee within the SPLASH OOPSLA-track
Adrian Francalanza University of Malta Malta Committee Member in Organizing Committee within the VORTEX-track
Juliana Franco Author of Reshape your layouts, not your programs: A safe language extension for better cache locality within the Research Papers-track in ECOOP 2020 Author of Reshape your layouts, not your programs: A safe language extension for better cache locality within the Posters-track in ECOOP 2020 Author of Reshape Your Layouts, Not Your Programs: A Safe Language Extension for Better Cache Locality within the Posters-track in SPLASH 2020
Juliana Franco Microsoft Research, Cambridge United Kingdom Author of Implementation of SHAPES case studies within the Artifacts-track in ECOOP 2020 PC Member in Programme Committee within the LIVE-track Organizer in Organizing Committee within the SOOP-track Committee Member in Program Committee within the AGERE-track Committee Member in Program Committee within the IWACO-track
Vanessa Freudenberg Croquet Corp United States Presenter of Croquet: A Unique Collaboration Architecture (Keynote) within the DLS-track in DLS
Stephen Freund Williams College United States Author of The Anchor Verifier for Blocking and Non-Blocking Concurrent Software within the OOPSLA Artifacts-track in SPLASH 2020 Author of The Anchor Verifier for Blocking and Non-Blocking Concurrent Software within the OOPSLA-track in SPLASH 2020
Lars Fritsche Author of A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars within the SLE-track in SLE 2020 Author of A Search-Based and Fault-Tolerant Approach to Concurrent Model Synchronisation within the SLE-track in SLE 2020
Florian Frohn Max Planck Institute for Informatics Germany Author of Termination of Polynomial Loops within the SAS-track in SAS 2020
Lidia Fuentes Universidad de Málaga, Spain Spain Committee Member in Program Committee within the ECOOP Research Papers-track
Hiroaki Fukuda Shibaura Institute of Technology Committee Member in Program Committee within the COP-track
Juan Fumero University of Manchester, UK United Kingdom Session Chair of Invited Talks (part of VMIL) Author of VMIL Welcome within the VMIL 2020-track in VMIL 2020 Committee Member in Program Committee within the VMIL-track Committee Member in Organizing Committee within the VMIL-track
Zhoulai Fu IT University of Copenhagen, Denmark Committee Member in Program Committee within the NSAD-track
Roi Gabay Technion Author of Programming with a Read-Eval-Synth Loop within the OOPSLA Artifacts-track in SPLASH 2020 Author of Programming with a Read-Eval-Synth Loop within the OOPSLA-track in SPLASH 2020
Julia Gabet Imperial College London Author of Static Race Detection and Mutex Safety and Liveness for Go Programs within the Research Papers-track in ECOOP 2020 Author of Static Race Detection and Mutex Safety and Liveness for Go Programs (Artifact) within the Artifacts-track in ECOOP 2020 Author of Static Race Detection and Mutex Safety and Liveness for Go Programs within the Posters-track in ECOOP 2020 Author of Static Race Detection and Mutex Safety and Liveness for Go Programs within the Posters-track in SPLASH 2020
Richard P. Gabriel Dream Songs, Inc. & HPI Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Carlos Galindo Author of Program Slicing with Exception Handling within the TAPAS-track in TAPAS 2020 Author of Data Dependence for Object-Oriented Programs within the TAPAS-track in TAPAS 2020
Xiang Gao National University of Singapore, Singapore Author of Feedback-Driven Semi-Supervised Synthesis of Program Transformations within the OOPSLA-track in SPLASH 2020
Fenjuan Gao Nanjing University Author of Learning Semantic Program Embeddings with Graph Interval Neural Network within the OOPSLA-track in SPLASH 2020 Author of Learning Semantic Program Embeddings with Graph Interval Neural Network within the Posters-track in SPLASH 2020
Antonio Garcia-Dominguez Aston University United Kingdom Artifact Evaluation Co-Chair in Organizing Committee within the SLE-track
Philippa Gardner Imperial College London United Kingdom Author of A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications within the Research Papers-track in ECOOP 2020 Author of A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications within the Artifacts-track in ECOOP 2020 Author of Data Consistency in Transactional Storage Systems: A Centralised Semantics within the Research Papers-track in ECOOP 2020 Author of Data Consistency in Transactional Storage Systems: A Centralised Semantics within the Posters-track in ECOOP 2020 Author of Gillian: a Multi-language Platform for Compositional Symbolic Analysis within the REBASE-track in SPLASH 2020 Author of Data Consistency in Transactional Storage Systems: A Centralised Semantics within the Posters-track in SPLASH 2020
Isaac Oscar Gariano Author of Dalarna: A Simplistic Capability-Based Dynamic Language Design For Data Race Freedom within the FTfJP-track in FTfJP 2020
Christophe Garion ISAE-SUPAERO France Author of Abstract Domains for Constraint Programming with Differential Equations within the NSAD-track in NSAD 2020
Antonio Garmendia JKU Linz Austria Author of Automated Variability Injection for Graphical Modelling Languages within the GPCE-track in GPCE 2020
Ivan Gavran MPI-SWS Author of Interactive Synthesis of Temporal Specifications from Examples and Natural Language within the OOPSLA Artifacts-track in SPLASH 2020 Author of Interactive Synthesis of Temporal Specifications from Examples and Natural Language within the OOPSLA-track in SPLASH 2020 Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Martin Gebser University of Klagenfurt, Austria Austria Committee Member in Program Committee within the LPOP-track
Timon Gehr ETH Zurich, Switzerland Committee Member in Reviewers/Judges within the SPLASH Student Research Competition-track
Dietrich Geisler Cornell University Author of Online Verification of Commutativity within the TAPAS-track in TAPAS 2020 Author of Geometry Types for Graphics Programming within the OOPSLA Artifacts-track in SPLASH 2020 Author of Geometry Types for Graphics Programming within the OOPSLA-track in SPLASH 2020 Author of Geometry Types for Graphics Programming within the Posters-track in SPLASH 2020
Jack Gelinas Northeastern University United States Author of World Age in Julia: Optimizing Method Dispatch in the Presence of Eval within the OOPSLA-track in SPLASH 2020
Samir Genaim Universidad Complutense de Madrid Spain Committee Member in Program Committee within the SAS-track
Kaan Genç Ohio State University, USA Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Pritam Gharat Committee Member in Artifact Evaluation Committee within the SAS-track
Khalil Ghorbal Inria, France France Co-chair in Organizing Committee within the NSAD-track
Ritwika Ghosh UIUC Author of Koord: a language for programming and verifying distributed robotics applications within the OOPSLA-track in SPLASH 2020
Razan Ghzouli Chalmers \| University of Gothenburg Sweden Author of Behavior Trees in Action: A Study of Robotics Applications within the SLE-track in SLE 2020
Roberto Giacobazzi University of Verona and IMDEA Software Institute Italy Author of Harming Dynamic Analysis within the SAS-track in SAS 2020
Paolo G. Giarrusso BedRock Systems Author of A Type-and-Effect System for Object Initialization within the OOPSLA Artifacts-track in SPLASH 2020 Author of A Type-and-Effect System for Object Initialization within the OOPSLA-track in SPLASH 2020
Jeremy Gibbons Department of Computer Science, University of Oxford United Kingdom Committee Member in External Review Committee within the ECOOP Research Papers-track
Jürgen Giesl RWTH Aachen University Germany Author of Termination of Polynomial Loops within the SAS-track in SAS 2020
Elena Glassman Harvard University United States Author of PL and HCI: Better Together within the REBASE-track in SPLASH 2020 Committee Member in Program Committee within the HATRA-track Committee Member in Organizing Committee within the PLATEAU-track
Milos Gligoric University of Texas at Austin, USA United States Author of Unifying Execution of Imperative Generators and Declarative Specifications within the OOPSLA-track in SPLASH 2020 Author of Unifying Execution of Imperative Generators and Declarative Specifications within the Posters-track in SPLASH 2020 Committee Member in Program Committee within the SySEPL-track
Robert Glück University of Copenhagen Denmark Committee Member in Program Committee (to be completed) within the GPCE-track
Aviral Goel Northeastern University United States Author of Designing Types for R, Empirically within the OOPSLA Artifacts-track in SPLASH 2020 Author of Designing Types for R, Empirically within the OOPSLA-track in SPLASH 2020 Co-chair in REBASE Berlin within the SPLASH REBASE-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Aman Goel University of Michigan United States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Anirüddhā Gokhālé Vanderbilt University Committee Member in Program Committee (to be completed) within the GPCE-track
Anitha Gollamudi Harvard University Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in External Review Committee within the SPLASH OOPSLA-track
Kai Gong Alibaba Group China Author of Hidden Inheritance: An Inline Caching Design for TypeScript Performance within the OOPSLA Artifacts-track in SPLASH 2020 Author of Hidden Inheritance: An Inline Caching Design for TypeScript Performance within the OOPSLA-track in SPLASH 2020
Laure Gonnord University of Lyon & LIP, France France Author of Proving array properties using data abstraction within the NSAD-track in NSAD 2020
Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium Belgium Committee Member in Steering Committee for SPLASH 2020 Author of Framework-Aware Debugging with Stack Tailoring within the DLS-track in DLS Committee Member in Program Committee within the VMIL-track Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Program Committee (to be completed) within the GPCE-track Committee Member in Program Committee within the DLS-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track Committee Member in Program Committee within the SPLASH Onward! Essays-track
April Gonçalves Roskilde University, Denmark Author of Towards user-friendliness in proof assistants: automated strategies algebraic effects and handlers within the HATRA-track in HATRA 2020 PC Member in Programme Committee within the LIVE-track
Colin Gordon Drexel University United States Artifact Evaluation Chair in Organizing Committee for SPLASH 2020 Author of Designing with Static Capabilities and Effects within the Research Papers-track in ECOOP 2020 Author of Lifting Sequential Effects to Control Operators within the Research Papers-track in ECOOP 2020 Artifact Evaluation Chair in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in Program Committee within the AGERE-track
Maria I. Gorinova The University of Edinburgh United Kingdom Author of Probabilistic Programming: The What, Why and How within the REBASE-track in SPLASH 2020
Hamed Gorjiara University of California at Irvine, USA United States Author of SATUNE: Synthesizing Efficient SAT Encoders within the OOPSLA-track in SPLASH 2020 Author of Synthesizing Efficient SAT Encoders within the Posters-track in SPLASH 2020
Jeff Gray University of Alabama Session Chair of (part of GPCE) Session Chair of (part of GPCE) Session Chair of GPCE/SLE Opening (part of GPCE) Session Chair of GPCE/SLE Opening (part of GPCE) PC Chair in Organizing Committee within the GPCE-track Committee Member in Program Committee within the SLE-track
Neville Grech University of Athens, Greece Workshops Co-Chair in Organizing Committee for SPLASH 2020 Author of Static Analysis of Shape in TensorFlow Programs within the Artifacts-track in ECOOP 2020 Author of Static Analysis of Shape in TensorFlow Programs within the Research Papers-track in ECOOP 2020 Author of Precise Static Modeling of Ethereum ``Memory'' within the OOPSLA Artifacts-track in SPLASH 2020 Author of Precise Static Modeling of Ethereum ``Memory'' within the OOPSLA-track in SPLASH 2020 Committee Member in Organizing Committee within the SPLASH Workshops-track
Michael Greenberg Pomona College Author of Formulog: Datalog for SMT-based Static Analysis within the OOPSLA-track in SPLASH 2020 Author of Formulog: Datalog for SMT-Based Static Analysis within the OOPSLA Artifacts-track in SPLASH 2020 Author of Formulog: Datalog for SMT-based Static Analysis within the Posters-track in SPLASH 2020
Erin Greenwood-Thessman Author of Dalarna: A Simplistic Capability-Based Dynamic Language Design For Data Race Freedom within the FTfJP-track in FTfJP 2020
Clemens Grelck University of Amsterdam Netherlands Author of PReGO: a Generative Methodology for Satisfying Real-Time Requirements on COTS-based Systems - Definition and Experience Report within the GPCE-track in GPCE 2020
Robert Griesemer Google Author of Featherweight Go within the OOPSLA-track in SPLASH 2020 Author of Featherweight Go within the OOPSLA Artifacts-track in SPLASH 2020
Radu Grigore University of Kent United Kingdom Steering Committee Member in Steering Commitee within the FTfJP-track
Robert Grimm Self Germany Author of Technology Today: A Paucity of Integrity and Imagination within the REBASE-track in SPLASH 2020
Tobias Grosser ETH Zurich, Switzerland Author of Fast Linear Programming through Transprecision Computing on Small and Sparse Data within the OOPSLA-track in SPLASH 2020
Shelly Grossman Tel Aviv University Israel Author of Taming Callbacks for Smart Contract Modularity within the OOPSLA-track in SPLASH 2020
Dan Grossman University of Washington, USA Committee Member in External Review Committee within the SPLASH OOPSLA-track
David Grove IBM Research United States OOPSLA Review Committee Chair in Organizing Committee for SPLASH 2020 Committee Member in Steering Committee for SPLASH 2020 Chair in Review Committee within the SPLASH OOPSLA-track
Esther Guerra Universidad Autonoma de Madrid Author of Automated Variability Injection for Graphical Modelling Languages within the GPCE-track in GPCE 2020
Arjun Guha Northeastern University Author of Wasm/k: Delimited Continuations for WebAssembly within the DLS-track in DLS Author of TacTok: Semantics-Aware Proof Synthesis within the OOPSLA-track in SPLASH 2020 Committee Member in Program Commitee within the SPLASH -E-track
Sumit Gulwani Microsoft Author of Structure Interpretation of Text Formats within the OOPSLA-track in SPLASH 2020 Author of Feedback-Driven Semi-Supervised Synthesis of Program Transformations within the OOPSLA-track in SPLASH 2020
Elsa Gunter University of Illinois United States Author of K-LLVM: A Relatively Complete Semantics of LLVM IR within the Research Papers-track in ECOOP 2020
Zheng Guo University of California, San Diego United States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Zheng Guo Author of Digging for Fold: Synthesis-Aided API Discovery for Haskell within the OOPSLA Artifacts-track in SPLASH 2020 Author of Digging for Fold: Synthesis-Aided API Discovery for Haskell within the OOPSLA-track in SPLASH 2020
Shengjian Guo Baidu X-Lab Author of Exposing Cache Timing Side-channel Leaks through Out-of-order Symbolic Execution within the OOPSLA-track in SPLASH 2020
Philip Guo University of California San Diego Author of Data Theater: A Live Programming Environment for Prototyping Data-Driven Explorable Explanations within the LIVE 2020-track in LIVE 2020
Arie Gurfinkel University of Waterloo Canada Committee Member in Program Committee within the SAS-track
Sam Guyer Tufts University United States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Tudor Gîrba CompuGroup Medical Schweiz AG Committee Member in Program Committee within the SPLASH Onward! Papers-track
Alejandro Gómez-Londoño Chalmers University of Technology Author of Do You Have Space for Dessert? A Verified Space Cost Semantics for CakeML Programs within the OOPSLA Artifacts-track in SPLASH 2020 Author of Do You Have Space for Dessert? A Verified Space Cost Semantics for CakeML Programs within the OOPSLA-track in SPLASH 2020
Elena Gómez-Martínez Universidad Autonoma de Madrid Author of Automated Variability Injection for Graphical Modelling Languages within the GPCE-track in GPCE 2020
Oskar Haarklou Veileborg Aarhus University Denmark Author of Eliminating Abstraction Overhead of Java Stream Pipelines using Ahead-of-Time Program Optimization within the OOPSLA Artifacts-track in SPLASH 2020 Author of Eliminating Abstraction Overhead of Java Stream Pipelines using Ahead-of-Time Program Optimization within the OOPSLA-track in SPLASH 2020 Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Andreas Haeberlen University of Pennsylvania, USA Author of Testing Differential Privacy with Dual Interpreters within the OOPSLA Artifacts-track in SPLASH 2020 Author of Testing Differential Privacy with Dual Interpreters within the OOPSLA-track in SPLASH 2020
Seyed Hossein Haeri Université Catholique de Louvain Committee Member in Program Committee within the LPOP-track
Jürgen Hahn University of Regensburg Germany Author of Sketchable Interaction - End-User Customization via Interactive Regions within the LIVE 2020-track in LIVE 2020
Jakob Hain Northeastern University United States Author of Contextual Dispatch for Function Specialization within the OOPSLA Artifacts-track in SPLASH 2020 Author of Contextual Dispatch for Function Specialization within the OOPSLA-track in SPLASH 2020
Philipp Haller KTH Royal Institute of Technology Germany Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in External Review Committee within the SPLASH OOPSLA-track
Drew Hamilton Mississippi State University, CCI Committee Member in Program Committee within the HILT-track
Christian Hammer University of Potsdam Germany General Chair in Organizing Committee for ECOOP 2020 Committee Member in Program Committee within the ECOOP Research Papers-track
Jitao Han School of Software, Tsinghua University Author of Termination Analysis for Evolving Programs within the OOPSLA-track in SPLASH 2020
Yu Hao Author of Differentially-Private Software Frequency Profiling Under Linear Constraints within the OOPSLA-track in SPLASH 2020
Ben Hardekopf UC Santa Barbara Committee Member in External Review Committee within the SPLASH OOPSLA-track
Marcel Hark RWTH Aachen University, Germany Author of Termination of Polynomial Loops within the SAS-track in SAS 2020
Bjoern Hartmann UC Berkeley Author of Opportunities and Challenges for Circuit Board Level Hardware Description Languages within the HATRA-track in HATRA 2020
Gautier Hattenberger ENAC France Author of Paparazzi, an open source UAV for research within the REBASE-track in SPLASH 2020
Timothée Haudebourg ENS Rennes France Committee Member in Artifact Evaluation Committee within the SAS-track
Matthias Hauswirth Università della Svizzera italiana Switzerland Doctoral Symposium Co-Chair in Organizing Committee for SPLASH 2020 Co-chair in Program Committee within the SPLASH Doctoral Symposium-track
Byron Hawkins INRIA Rennes France Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Görel Hedin Lund University Author of Principles and Patterns of JastAdd-style Reference Attribute Grammars within the SLE-track in SLE 2020 Committee Member in Program Committee within the SLE-track
Brian Hempel University of Chicago Author of ManipML: Towards Bimodal Tangible Functional Programming within the LIVE 2020-track in LIVE 2020 Co-chair in Organising Committee within the LIVE-track
Kihong Heo Korea Advanced Institute of Science and Technology (KAIST) South Korea Committee Member in Program Committee within the TAPAS-track
Paula Herber University of Munster, Germany Germany Programme Committee in Program Committee within the FTfJP-track
Jonas Hering Hasso Plattner Institute, University of Potsdam Author of Example-Based Live Programming for Everyone: Building Language-agnostic Tools for Live Programming with LSP and GraalVM within the Onward! Papers-track in SPLASH 2020
Yann Herklotz Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Maurice Herlihy Brown University United States Author of Speculation in Smart Contracts within the REBASE-track in SPLASH 2020
Ben Hermann Technical University Dortmund Germany Committee Member in Academic Panel within the ECOOP Doctoral Symposium-track Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Felienne Hermans Leiden University Netherlands Committee Member in Program Committee within the ECOOP Research Papers-track PC Member in Programme Committee within the LIVE-track Committee Member in Program Committee within the HATRA-track
Manuel Hermenegildo IMDEA Software Institute and T.U. of Madrid Spain Invited Speaker of Invited Talk: Cost Analysis of Smart Contracts via Parametric Resource Analysis within the SAS-track in SAS 2020 Invited Speaker in Invited Speakers within the SAS-track Committee Member in Program Committee within the LPOP-track
Pinjia He ETH Zurich, Switzerland Switzerland Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Horace He Cornell University Author of Geometry Types for Graphics Programming within the OOPSLA Artifacts-track in SPLASH 2020 Author of Geometry Types for Graphics Programming within the OOPSLA-track in SPLASH 2020 Author of Geometry Types for Graphics Programming within the Posters-track in SPLASH 2020
Paul He University of Pennsylvania United States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Fei He Tsinghua University, China Author of Termination Analysis for Evolving Programs within the OOPSLA-track in SPLASH 2020 Author of Incremental Predicate Analysis for Regression Verification within the OOPSLA-track in SPLASH 2020 Author of Incremental Predicate Analysis for Regression Verification within the Posters-track in SPLASH 2020
Michael Hicks University of Maryland United States Author of Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell within the OOPSLA Artifacts-track in SPLASH 2020 Author of Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell within the OOPSLA-track in SPLASH 2020
Hans-Dieter Hiep Author of History-based Specification and Verification of Java Collections in KeY within the FTfJP-track in FTfJP 2020
Raphael Hiesgen HAW Hamburg Germany Committee Member in Program Committee within the AGERE-track
Daniel Hines Author of Flamingo, a Compiler and Runtime for Reactive ALM Systems within the LPOP 2020-track in LPOP 2020 Panelist of Since Logic Languages Are So Good, Why Aren’t They Pervasive? within the LPOP 2020-track in LPOP 2020
Robert Hirschfeld Hasso-Plattner-Institut (HPI), Germany Germany Program Chair in Organizing Committee for ECOOP 2020 Organizer of Polyglot Programming within the Tutorials-track in ECOOP 2020 Organizer of SqueakLive within the Tutorials-track in ECOOP 2020 Author of Example-Based Live Programming for Everyone: Building Language-agnostic Tools for Live Programming with LSP and GraalVM within the Onward! Papers-track in SPLASH 2020 Chair in Program Committee within the ECOOP Research Papers-track Chair in External Review Committee within the ECOOP Research Papers-track Organizer in Organizing Committee within the COP-track Committee Member in Program Committee within the COP-track Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Steering Committee within the DLS-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Martin Hirzel IBM Research United States Author of Python 3 Types in the Wild: A Tale of Two Type Systems within the DLS-track in DLS
Torsten Hoefler ETH Zurich Switzerland Author of Assertion-based optimization of quantum programs within the OOPSLA-track in SPLASH 2020
Torsten Hoefler Department of Computer Science, ETH Zurich Author of Fast Linear Programming through Transprecision Computing on Small and Sparse Data within the OOPSLA-track in SPLASH 2020
Megan Hoffman Carnegie Mellon University Author of User-Centered Programming Language Design: A Course-Based Case Study within the HATRA-track in HATRA 2020
David Holland Harvard University Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Reid Holmes University of British Columbia Canada Author of Nudging Student Learning Strategies Using Formative Feedback in Automatically Graded Assessments within the SPLASH-E-track in SPLASH 2020
Jesper Holst Sky-Watch, Danemark Author of PReGO: a Generative Methodology for Satisfying Real-Time Requirements on COTS-based Systems - Definition and Experience Report within the GPCE-track in GPCE 2020
Steven Holtzen University of California, Los Angeles United States Author of Scaling Exact Inference for Discrete Probabilistic Programs within the OOPSLA-track in SPLASH 2020 Author of Scaling Exact Inference for Discrete Probabilistic Programs within the OOPSLA Artifacts-track in SPLASH 2020 Author of Scaling Exact Inference for Discrete Probabilistic Programs within the Posters-track in SPLASH 2020
Lukáš Holík Brno University of Technology, Czechia Author of Regex Matching with Counting-Set Automata within the OOPSLA Artifacts-track in SPLASH 2020 Author of Regex Matching with Counting-Set Automata within the OOPSLA-track in SPLASH 2020
Michael Homer Victoria University of Wellington Author of Dalarna: A Simplistic Capability-Based Dynamic Language Design For Data Race Freedom within the FTfJP-track in FTfJP 2020 Committee Member in Program Committee within the DLS-track
Changwan Hong MIT United States Author of A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra within the OOPSLA-track in SPLASH 2020 Author of A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra within the Posters-track in SPLASH 2020
Tony Hosking Australian National University / Data61 Australia Committee Member in Steering Committee within the VMIL-track Committee Member in Program Committee within the ICOOOLPS-track
Kate Howland University of Sussex PC Member in Programme Committee within the LIVE-track
Chiao Hsieh University of Illinois at Urbana-Champaign United States Author of Koord: a language for programming and verifying distributed robotics applications within the OOPSLA-track in SPLASH 2020
Justin Hsu University of Wisconsin-Madison, USA United States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Jian Huang University of Illinois at Urbana-Champaign United States Author of WATCHER: In-Situ Failure Diagnosis within the OOPSLA-track in SPLASH 2020
Vivian Huang Carnegie Mellon University Author of User-Centered Programming Language Design: A Course-Based Case Study within the HATRA-track in HATRA 2020
Xuejing Huang The University of Hong Kong Author of A Type-Directed Operational Semantics for a Calculus with a Merge Operator within the Posters-track in ECOOP 2020 Author of A Type-Directed Operational Semantics for a Calculus with a Merge Operator within the Artifacts-track in ECOOP 2020 Author of A Type-Directed Operational Semantics for a Calculus with a Merge Operator within the Research Papers-track in ECOOP 2020 Author of A Type-Directed Operational Semantics for a Calculus with a Merge Operator within the Posters-track in SPLASH 2020
Jeff Huang Texas A&M University Committee Member in Review Committee within the SPLASH OOPSLA-track
Jacob Hughes King's College London Student Volunteer Co-Chair in Organizing Committee for ECOOP 2020 Committee Member in Committee within the ECOOP Student Volunteers-track
Marieke Huisman University of Twente Netherlands Author of Towards Verified Construction of Correct and Optimised GPU Software within the FTfJP-track in FTfJP 2020 Committee Member in External Review Committee within the SPLASH OOPSLA-track
Christian Humer Oracle Labs Switzerland Author of Towards the tower of Babel: a Polyglot Language VM in Java within the REBASE-track in SPLASH 2020
Christopher Hundhausen Washington State University PC Member in Programme Committee within the LIVE-track
Raymond Hu University of Hertfordshire Author of Featherweight Go within the OOPSLA-track in SPLASH 2020 Author of Featherweight Go within the OOPSLA Artifacts-track in SPLASH 2020 Author of Statically Verified Refinements for Multiparty Protocols within the OOPSLA-track in SPLASH 2020 Author of Statically Verified Refinements for Multiparty Protocols within the OOPSLA Artifacts-track in SPLASH 2020 Author of Statically Verified Refinements for Multiparty Protocols within the Posters-track in SPLASH 2020
Zhenjiang Hu Peking University, China Author of Guiding Dynamic Programing via Structural Probability for Accelerating Programming by Example within the OOPSLA-track in SPLASH 2020 Author of Guiding Dynamic Programing via Structural Probability for Accelerating Programming by Example within the Posters-track in SPLASH 2020
Antti Hyvärinen Author of Farkas-Based Tree Interpolation within the SAS-track in SAS 2020
Thomas Häner ETH Zürich Author of Assertion-based optimization of quantum programs within the OOPSLA-track in SPLASH 2020
Thomas Häner Microsoft Author of Enabling Accuracy-Aware Quantum Compilers Using Symbolic Resource Estimation within the OOPSLA-track in SPLASH 2020
Alexander Hück Institute for Scientific Computing, TU Darmstadt Author of MetaCG: Annotated call-graphs to facilitate whole-program analysis within the TAPAS-track in TAPAS 2020
Abdulhakeem Ibrahim University of Leicester United Kingdom Committee Member in Artifact Evaluation Committee within the SLE-track
Atsushi Igarashi Kyoto University, Japan Japan Author of Space-Efficient Gradual Typing in Coercion-Passing Style within the Research Papers-track in ECOOP 2020 Committee Member in Program Committee within the ECOOP Research Papers-track Organizer in Organizing Committee within the COP-track Committee Member in Program Committee within the COP-track Committee Member in Review Committee within the SPLASH OOPSLA-track
Hugo Illous CEA & INRIA / ENS Paris France Author of Interprocedural Shape Analysis Using Separation Logic-based Transformer Summaries within the SAS-track in SAS 2020
Keigo Imai Gifu University Author of Multiparty Session Programming with Global Protocol Combinators within the Posters-track in ECOOP 2020 Author of Multiparty Session Programming with Global Protocol Combinators within the Research Papers-track in ECOOP 2020 Author of Multiparty Session Programming with Global Protocol Combinators within the Artifacts-track in ECOOP 2020 Author of Multiparty Session Programming with Global Protocol Combinators within the Posters-track in SPLASH 2020
Dan Iorga Imperial College London United Kingdom Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Md Johirul Islam Iowa State University United States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Shachar Itzhaky Technion, Israel Israel Author of Programming with a Read-Eval-Synth Loop within the OOPSLA Artifacts-track in SPLASH 2020 Author of Programming with a Read-Eval-Synth Loop within the OOPSLA-track in SPLASH 2020
Naoki Iwayama University of Tokyo, Japan Author of Predicate Abstraction and CEGAR for nuHFL(Z) Validity Checking within the SAS-track in SAS 2020
Yusuke Izawa Tokyo Institute of Technology Japan Author of Amalgamating Different JIT Compilations in a Meta-tracing JIT Compiler Framework within the DLS-track in DLS Author of Toward a Multi-Language and Multi-Environment Framework for Live Programming within the LIVE 2020-track in LIVE 2020 Co-reviewer in Program Committee within the SPLASH Onward! Essays-track
Anastasiia Izycheva Technical University of Munich Germany Author of Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis within the SAS-track in SAS 2020
Daniel Jackson MIT Author of Demystifying Dependence within the Onward! Papers-track in SPLASH 2020 Author of End-User Software Customization by Direct Manipulation of Tabular Data within the Onward! Papers-track in SPLASH 2020 Author of Demystifying Dependence within the Posters-track in SPLASH 2020
Bart Jacobs imec-DistriNet, Dept. CS, KU Leuven Belgium Author of A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit within the FTfJP-track in FTfJP 2020
Dejice Jacob University of Glasgow, UK United Kingdom Author of Pricing Python Parallelism: a Dynamic Language Cost Model for Heterogeneous Platforms within the DLS-track in DLS
Maxime Jacquemin CEA LIST, France France Committee Member in Artifact Evaluation Committee within the SAS-track
Joxan Jaffar National University of Singapore Singapore Author of Inter-Theory Dependency Analysis for SMT String Solvers within the OOPSLA Artifacts-track in SPLASH 2020 Author of Inter-Theory Dependency Analysis for SMT String Solvers within the OOPSLA-track in SPLASH 2020
Radha Jagadeesan DePaul University Author of Pomsets with Preconditions: A Simple Model of Relaxed Memory within the OOPSLA-track in SPLASH 2020
Suresh Jagannathan Purdue University United States Committee Member in Program Committee within the SAS-track
Anirudh Jain Georgia Institute of Technology Author of Intrepydd: Performance, Productivity and Portability for Data Science Application Kernels within the Onward! Papers-track in SPLASH 2020
Michael B. James University of California, San Diego United States Author of Digging for Fold: Synthesis-Aided API Discovery for Haskell within the OOPSLA Artifacts-track in SPLASH 2020 Author of Digging for Fold: Synthesis-Aided API Discovery for Haskell within the OOPSLA-track in SPLASH 2020
Abhinav Jangda University of Massachusetts Amherst Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Ali Jannesari Iowa State University United States Workshops Co-Chair in Organizing Committee for SPLASH 2020 Committee Member in Organizing Committee within the SPLASH Workshops-track
Pierre Jeanjean Inria, Univ Rennes, CNRS, IRISA Author of A principled approach to REPL interpreters within the Onward! Papers-track in SPLASH 2020
Nicolas Jeannerod IRIF, University Paris Diderot and CNRS, France France Committee Member in Artifact Evaluation Committee within the SAS-track
Jan Jecmen Czech Technical University Author of Contextual Dispatch for Function Specialization within the OOPSLA Artifacts-track in SPLASH 2020 Author of Contextual Dispatch for Function Specialization within the OOPSLA-track in SPLASH 2020
Alan Jeffrey Mozilla Research United States Author of Pomsets with Preconditions: A Simple Model of Relaxed Memory within the OOPSLA-track in SPLASH 2020 PC Member in Program Committee within the REBLS-track
Thomas P. Jensen INRIA Rennes Author of Numeric Domains Meet Algebraic Data Types within the NSAD-track in NSAD 2020
Minseok Jeon Korea University, South Korea Korea, South Author of Learning Graph-based Heuristics for Pointer Analysis without Handcrafting Application-Specific Features within the OOPSLA Artifacts-track in SPLASH 2020 Author of Learning Graph-based Heuristics for Pointer Analysis without Handcrafting Application-Specific Features within the OOPSLA-track in SPLASH 2020
Johan Jeuring Open University of the Netherlands, Netherlands Author of Reference-Driven Synthesis for Programming Tutors within the HATRA-track in HATRA 2020
Ranjit Jhala University of California at San Diego, USA Author of Digging for Fold: Synthesis-Aided API Discovery for Haskell within the OOPSLA Artifacts-track in SPLASH 2020 Author of Digging for Fold: Synthesis-Aided API Discovery for Haskell within the OOPSLA-track in SPLASH 2020
Limin Jia Carnegie Mellon University United States Author of Towards a Formal Foundation of Intermittent Computing within the OOPSLA-track in SPLASH 2020 Author of Towards a Formal Foundation of Intermittent Computing within the Posters-track in SPLASH 2020
Yihua Jin Alibaba Group China Author of Hidden Inheritance: An Inline Caching Design for TypeScript Performance within the OOPSLA Artifacts-track in SPLASH 2020 Author of Hidden Inheritance: An Inline Caching Design for TypeScript Performance within the OOPSLA-track in SPLASH 2020
Siyue Jin Carnegie Mellon University Author of User-Centered Programming Language Design: A Course-Based Case Study within the HATRA-track in HATRA 2020
Ruyi Ji Peking University, China Author of Guiding Dynamic Programing via Structural Probability for Accelerating Programming by Example within the OOPSLA-track in SPLASH 2020 Author of Guiding Dynamic Programing via Structural Probability for Accelerating Programming by Example within the Posters-track in SPLASH 2020
Brittany Johnson University of Massachusetts Amherst United States Keynote Speaker of Onward! Keynote within the Keynotes-track in SPLASH 2020
Maritza Johnson Google Research Author of Towards making formal methods normal: meeting developers where they are within the HATRA-track in HATRA 2020
Steven Johnson Google Author of Verifying and Improving Halide’s Term Rewriting System with Program Synthesis within the OOPSLA-track in SPLASH 2020
Matthew Johnson Google Brain United States Author of JAX: accelerated machine learning research via composable function transformations in Python within the REBASE-track in SPLASH 2020
Reese Jones Author of Salsa: Static Analysis of Serialization Features within the FTfJP-track in FTfJP 2020
Sung-Shik Jongmans Open University of the Netherlands Author of Discourje: Runtime Verification of Communication Protocols in Clojure within the FTfJP-track in FTfJP 2020
Ole Jorgensen Sky-Watch, Danemark Author of PReGO: a Generative Methodology for Satisfying Real-Time Requirements on COTS-based Systems - Definition and Experience Report within the GPCE-track in GPCE 2020
Ralf Jung MPI-SWS Germany Committee Member in Program Committee within the IWACO-track
Tina Jung Saarland Informatics Campus, Saarland University Germany Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Jaakko Järvi University of Bergen Norway Author of Manipulating GUI Structures Declaratively within the GPCE-track in GPCE 2020
Ifaz Kabir University of Alberta, Canada Canada Author of Toward a Simpler Syntactic Soundness for DOT (Student Talk) within the Scala-track in Scala 2020 Author of ιDOT: A DOT Calculus with Object Initialization within the OOPSLA Artifacts-track in SPLASH 2020 Author of ιDOT: A DOT Calculus with Object Initialization within the OOPSLA-track in SPLASH 2020
Aditi Kabra Cornell University Author of Online Verification of Commutativity within the TAPAS-track in TAPAS 2020 Author of Geometry Types for Graphics Programming within the OOPSLA Artifacts-track in SPLASH 2020 Author of Geometry Types for Graphics Programming within the OOPSLA-track in SPLASH 2020 Author of Geometry Types for Graphics Programming within the Posters-track in SPLASH 2020
Sophie Kaleba University of Kent United Kingdom Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Konstantinos Kallas University of Pennsylvania United States Author of DiffStream: Differential Output Testing for Stream Processing Programs within the OOPSLA Artifacts-track in SPLASH 2020 Author of DiffStream: Differential Output Testing for Stream Processing Programs within the OOPSLA-track in SPLASH 2020
Yukiyoshi Kameyama University of Tsukuba, Japan Japan Author of Reorganizing queries with grouping within the GPCE-track in GPCE 2020
Shoaib Kamil Adobe Author of Verifying and Improving Halide’s Term Rewriting System with Program Synthesis within the OOPSLA-track in SPLASH 2020 Author of A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra within the OOPSLA-track in SPLASH 2020 Author of A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra within the Posters-track in SPLASH 2020
Tetsuo Kamina Oita University Japan Author of Managing Persistent Signals using Signal Classes within the REBLS 2020-track in REBLS 2020 Committee Member in Program Committee within the COP-track PC Member in Program Committee within the REBLS-track
Eunsuk Kang Carnegie Mellon University, USA United States Committee Member in Reviewers/Judges within the SPLASH Student Research Competition-track
Pranav Kant University of Utah Author of Dataflow-based Pruning for Speeding up Superoptimization within the OOPSLA-track in SPLASH 2020
Georgios Karachalias Tweag Netherlands Author of Resolution as Intersection Subtyping via Modus Ponens within the OOPSLA-track in SPLASH 2020 Author of Resolution as Intersection Subtyping via Modus Ponens within the OOPSLA Artifacts-track in SPLASH 2020 Author of Resolution as Intersection Subtyping via Modus Ponens within the Posters-track in SPLASH 2020
Aarti Kashyap University of British Columbia Canada Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Vineeth Kashyap GrammaTech, Inc. India Author of API Analytics for Curating Static Analysis Rules within the TAPAS-track in TAPAS 2020
John Kassie Rockwell Collins Committee Member in Program Committee within the HILT-track
Kuba Kaszyk University of Edinburgh Author of DelayRepay: Delayed Execution for Kernel Fusion in Python within the DLS-track in DLS
Jun Kato National Institute of Advanced Industrial Science and Technology, Japan Japan PC Member in Programme Committee within the LIVE-track
Milod Kazerounian University of Maryland, College Park United States Author of Sound, Heuristic Type Annotation Inference For Ruby within the DLS-track in DLS
Stephen Kell University of Kent Onward! Papers Chair in Organizing Committee for SPLASH 2020 Committee Member in Steering Committee for SPLASH 2020 Author of Type checking beyond type checkers, via Slice & Run within the TAPAS-track in TAPAS 2020 Committee Member in Steering Committee within the VMIL-track Committee Member in Program Committee within the ECOOP Research Papers-track PC Chair in Program Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Mary Beth Kery Carnegie Mellon University Keynote Speaker of Liveliness, Reactivity, and Interactivity in the Future of Notebook Programming within the LIVE 2020-track in LIVE 2020
Samantha Syeda Khairunnesa Iowa State University United States Student Volunteer Co-Chair in Organizing Committee for SPLASH 2020 Student Volunteer Co-Chair in Organizers within the SPLASH Student Volunteers-track
Raffi Khatchadourian City University of New York (CUNY) Hunter College United States Author of Actor Concurrency Bugs: A Comprehensive Study on Symptoms, Root Causes, API Usages, and Differences within the OOPSLA-track in SPLASH 2020 Committee Member in Program Committee within the ECOOP Research Papers-track
Sarfraz Khurshid University of Texas at Austin, USA Author of Unifying Execution of Imperative Generators and Declarative Specifications within the OOPSLA-track in SPLASH 2020 Author of Unifying Execution of Imperative Generators and Declarative Specifications within the Posters-track in SPLASH 2020
Artem Khyzha Tel Aviv University Author of Proving Highly-Concurrent Traversals Correct within the OOPSLA-track in SPLASH 2020
Mijung Kim Purdue University United States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Alexis King Northwestern University Author of Macros For Domain-Specific Languages within the OOPSLA Artifacts-track in SPLASH 2020 Author of Macros For Domain-Specific Languages within the OOPSLA-track in SPLASH 2020 Author of Macros For Domain-Specific Languages within the Posters-track in SPLASH 2020
Jake Kirkham Princeton University Author of Foundations of Empirical Memory Consistency Testing within the OOPSLA-track in SPLASH 2020
Oleg Kiselyov Committee Member in Program Committee within the Scala-track
Fredrik Kjolstad Stanford University Author of A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra within the OOPSLA-track in SPLASH 2020 Author of A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra within the Posters-track in SPLASH 2020 Committee Member in Reviewers/Judges within the SPLASH Student Research Competition-track
Brian Kleinke Leidos United States Author of Challenges and lessons learned introducing an evolving open source technology into an established legacy Ada and C++ program within the HILT 2020-track in HILT 2020
Michael Klemm Intel Germany Panelist of Panel: OpenMP for High Integrity systems: Moving responsibility from users to vendors within the HILT 2020-track in HILT 2020 Keynote Speaker of Keynote: What's new with the OpenMP API Version 5.1 within the HILT 2020-track in HILT 2020 Committee Member in Program Committee within the HILT-track
Tobias Klenze ETH Zurich Author of Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification within the OOPSLA Artifacts-track in SPLASH 2020 Author of Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification within the OOPSLA-track in SPLASH 2020
Martin Kleppmann University of Cambridge United Kingdom Committee Member in Program Committee within the SPLASH Onward! Papers-track
Naoki Kobayashi University of Tokyo, Japan Japan Author of Predicate Abstraction and CEGAR for nuHFL(Z) Validity Checking within the SAS-track in SAS 2020
Tobias Kohn University of Cambridge, UK Author of Dynamic Pattern Matching with Python within the DLS-track in DLS
Wen Kokke University of Edinburgh United Kingdom Author of Featherweight Go within the OOPSLA-track in SPLASH 2020 Author of Featherweight Go within the OOPSLA Artifacts-track in SPLASH 2020 PC Member in Programme Committee within the LIVE-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Dimitris Kolovos University of York United Kingdom Committee Member in Program Committee within the SLE-track
Lingkun Kong Rice University Author of StreamQL: A Query Language for Processing Streaming Time Series within the OOPSLA-track in SPLASH 2020 Author of StreamQL: A Query Language for Processing Streaming Time Series within the OOPSLA Artifacts-track in SPLASH 2020 Author of StreamQL: A Query Language for Processing Streaming Time Series within the Posters-track in SPLASH 2020
Sung Kook Kim Author of Memory-Efficient Fixpoint Computation within the SAS-track in SAS 2020
James Koppel MIT Author of Demystifying Dependence within the Onward! Papers-track in SPLASH 2020 Author of Demystifying Dependence within the Posters-track in SPLASH 2020
Jens Kosiol Philipps-Universität Marburg Author of A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars within the SLE-track in SLE 2020
Eric Koskinen Stevens Institute of Technology Author of DynamiTe: Dynamic Termination and Non-termination Proofs within the OOPSLA-track in SPLASH 2020
Nikolai Kosmatov CEA List France Committee Member in Program Committee within the HILT-track Programme Committee in Program Committee within the FTfJP-track
Lucja Kot Author of API Analytics for Curating Static Analysis Rules within the TAPAS-track in TAPAS 2020
Robert Kowalski Author of Logical English within the LPOP 2020-track in LPOP 2020 Panelist of Since Logic Languages Are So Good, Why Aren’t They Pervasive? within the LPOP 2020-track in LPOP 2020
Lucas Kramer University of Minnesota Author of Strategic Tree Rewriting in Attribute Grammars within the SLE-track in SLE 2020
Robbert Krebbers Delft University of Technology Netherlands Author of Knowing When to Ask: Sound Scheduling of Name Resolution in Type Checkers Derived from Declarative Specifications within the OOPSLA-track in SPLASH 2020 Author of Knowing When to Ask: Artifact within the OOPSLA Artifacts-track in SPLASH 2020 Author of Knowing When to Ask: Sound Scheduling of Name Resolution in Type Checkers Derived from Declarative Specifications within the Posters-track in SPLASH 2020
Max Krieger Author of User-Centered Programming Language Design: A Course-Based Case Study within the HATRA-track in HATRA 2020
Filip Krikava Czech Technical University Czech Republic Author of Designing Types for R, Empirically within the OOPSLA Artifacts-track in SPLASH 2020 Author of Designing Types for R, Empirically within the OOPSLA-track in SPLASH 2020 Co-chair in REBASE Berlin within the SPLASH REBASE-track
Chandra Krintz UC Santa Barbara United States Committee Member in Review Committee within the SPLASH OOPSLA-track
Murali Krishna Ramanathan Uber Technologies Inc. United States Poster Co-Chair in Organizing Committee for SPLASH 2020 Committee Member in External Review Committee within the SPLASH OOPSLA-track Poster Co-Chair in Organizing Committee within the SPLASH Posters-track Committee Member in Program Committee within the SAS-track
Shriram Krishnamurthi Brown University, United States Committee Member in Program Committee within the HATRA-track Committee Member in Program Committe within the SPLASH CARES-track
Paddy Krishnan Oracle Labs, Australia Session Chair of (part of SLE) Session Chair of (part of SLE) Committee Member in Program Committee within the SLE-track
Neel Krishnaswami Computer Laboratory, University of Cambridge Committee Member in Program Committee within the HATRA-track Committee Member in Program Committee within the IWACO-track
Rebecca Krosnick University of Michigan United States Author of Toward Providing Live Feedback in Web Automation IDEs within the LIVE 2020-track in LIVE 2020
Srđan Krstić ETH Zürich Switzerland Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Michael Kruse Argonne National Laboratory Author of Fast Linear Programming through Transprecision Computing on Small and Sparse Data within the OOPSLA-track in SPLASH 2020
Sebastián Krynski Czech Technical University, National University of Quilmes Author of Sampling Optimized Code for Type Feedback within the DLS-track in DLS
Stefan Krüger Paderborn University Germany Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Thomas Kuehne Victoria University of Wellington Committee Member in Program Committee within the SLE-track
Burcu Kulahcioglu Ozkan Delft University of Technology Netherlands Author of Testing Consensus Implementations Using Communication Closure within the OOPSLA-track in SPLASH 2020 Committee Member in External Review Committee within the SPLASH OOPSLA-track
Aayan Kumar Microsoft Research India Author of Shiftry: RNN Inference in 2KB of RAM within the OOPSLA-track in SPLASH 2020
Viktor Kunčak EPFL, Switzerland Switzerland Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the Scala-track
Lindsey Kuper University of California, Santa Cruz United States Author of Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell within the OOPSLA Artifacts-track in SPLASH 2020 Author of Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell within the OOPSLA-track in SPLASH 2020
Yonghwi Kwon University of Virginia United States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Mirko Köhler Technische Universität Darmstadt Author of ConSysT: Tunable, Safe Consistency meets Object-Oriented Programming within the FTfJP-track in FTfJP 2020 Author of Rethinking Safe Consistency in Distributed Object-Oriented Programming within the OOPSLA-track in SPLASH 2020
Bastian König Hasso Plattner Institute, University of Potsdam Author of Example-Based Live Programming for Everyone: Building Language-agnostic Tools for Live Programming with LSP and GraalVM within the Onward! Papers-track in SPLASH 2020
Shadaj Laddad University of California, Berkeley Author of ScalaPy: Seamless Python Interoperability for Cross-Platform Scala Programs within the Scala-track in Scala 2020 Author of Fluid Quotes: Metaprogramming across Abstraction Boundaries with Dependent Types within the GPCE-track in GPCE 2020
Sifis Lagouvardos University of Athens, Greece Author of Static Analysis of Shape in TensorFlow Programs within the Artifacts-track in ECOOP 2020 Author of Static Analysis of Shape in TensorFlow Programs within the Research Papers-track in ECOOP 2020 Author of Precise Static Modeling of Ethereum ``Memory'' within the OOPSLA Artifacts-track in SPLASH 2020 Author of Precise Static Modeling of Ethereum ``Memory'' within the OOPSLA-track in SPLASH 2020
Ori Lahav Tel Aviv University, Israel Author of Reconciling Event Structures with Modern Multiprocessors within the Research Papers-track in ECOOP 2020 Author of Reconciling Event Structures with Modern Multiprocessors within the Posters-track in ECOOP 2020 Author of Reconciling Event Structures with Modern Multiprocessors within the Artifacts-track in ECOOP 2020 Author of Persistent Owicki-Gries Reasoning within the OOPSLA-track in SPLASH 2020 Author of Reconciling Event Structures with Modern Multiprocessors within the Posters-track in SPLASH 2020
Akash Lal Microsoft Research India India Author of Learning-based Controlled Concurrency Testing within the OOPSLA Artifacts-track in SPLASH 2020 Author of Learning-based Controlled Concurrency Testing within the OOPSLA-track in SPLASH 2020
Leslie Lamport Microsoft Research United States Invited Speaker of If You're Not Writing a Program, Don't Use a Programming Language within the LPOP 2020-track in LPOP 2020 Panelist of Logic in Program Specification: Where Has It Failed? How Can We Fix It? within the LPOP 2020-track in LPOP 2020
Leonidas Lampropoulos University of Maryland, College Park Greece Committee Member in External Review Committee within the SPLASH OOPSLA-track
Wing Lam University of Illinois at Urbana-Champaign United States Author of A Large-Scale Longitudinal Study of Flaky Tests within the OOPSLA-track in SPLASH 2020
Patrick Lam University of Waterloo Author of Putting the Semantics into Semantic Versioning within the Onward! Essays-track in SPLASH 2020 Committee Member in Review Committee within the SPLASH OOPSLA-track
Julien Lange Royal Holloway, University of London United Kingdom Author of Featherweight Go within the OOPSLA-track in SPLASH 2020 Author of Featherweight Go within the OOPSLA Artifacts-track in SPLASH 2020
Sufian Latif Ohio State University, USA Author of Differentially-Private Software Frequency Profiling Under Linear Constraints within the OOPSLA-track in SPLASH 2020
Ben Laurie Google Research Author of Towards making formal methods normal: meeting developers where they are within the HATRA-track in HATRA 2020
Sam Lau University of California San Diego United States Author of Data Theater: A Live Programming Environment for Prototyping Data-Driven Explorable Explanations within the LIVE 2020-track in LIVE 2020
Julia Lawall Inria Committee Member in Program Committee (to be completed) within the GPCE-track
Gary Leavens University of Central Florida United States Committee Member in Program Committee within the COP-track Steering Committee Member in Steering Commitee within the FTfJP-track
Doug Lea State University of New York (SUNY) Oswego United States Committee Member in External Review Committee within the ECOOP Research Papers-track Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Steering Committee within the SPLASH -E-track Committee Member in Academic Panel within the ECOOP Doctoral Symposium-track
Richard Leblanc Seattle University Committee Member in Steering Committee within the SPLASH -E-track
Myungho Lee Korea University Author of Learning Graph-based Heuristics for Pointer Analysis without Handcrafting Application-Specific Features within the OOPSLA Artifacts-track in SPLASH 2020 Author of Learning Graph-based Heuristics for Pointer Analysis without Handcrafting Application-Specific Features within the OOPSLA-track in SPLASH 2020
Woosuk Lee Hanyang University, South Korea Committee Member in Program Committee within the TAPAS-track
Paul Leger Universidad Católica del Norte, Chile Chile Organizing Chair in Organizing Committee within the COP-track Committee Member in Program Committee within the COP-track
Owolabi Legunsen Cornell University United States Committee Member in Reviewers/Judges within the SPLASH Student Research Competition-track
Jan-Patrick Lehr Scientific Computing, TU Darmstadt Germany Author of MetaCG: Annotated call-graphs to facilitate whole-program analysis within the TAPAS-track in TAPAS 2020
Adriaan Leijnse Universidade NOVA de Lisboa Author of An Introduction to Denotative Continuous Spacetime Programming (Work in Progress) within the REBLS 2020-track in REBLS 2020
Maya Lekova Google, Germany Germany Committee Member in Program Committee within the ICOOOLPS-track
Matthieu Lemerre Author of Interprocedural Shape Analysis Using Separation Logic-based Transformer Summaries within the SAS-track in SAS 2020
Caroline Lemieux University of California, Berkeley United States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Ondrej Lengal Brno University of Technology Czech Republic Author of Regex Matching with Counting-Set Automata within the OOPSLA Artifacts-track in SPLASH 2020 Author of Regex Matching with Counting-Set Automata within the OOPSLA-track in SPLASH 2020
Guilherme Leobas Universidade Federal de Minas Gerais Author of Semiring Optimizations: Dynamic Elision of Expressions with Identity and Absorbing Elements within the OOPSLA-track in SPLASH 2020
David Leopoldseder Oracle Labs Austria Committee Member in Program Committee within the VMIL-track Committee Member in Program Committee within the ICOOOLPS-track
Mohsen Lesani University of California at Riverside, USA Committee Member in Review Committee within the SPLASH OOPSLA-track
Alan Leung Microsoft Author of Feedback-Driven Semi-Supervised Synthesis of Program Transformations within the OOPSLA-track in SPLASH 2020
Ivan Levkivskyi Dropbox Ireland Author of Dynamic Pattern Matching with Python within the DLS-track in DLS
Ton Chanh Le Stevens Institute of Technology United States Author of DynamiTe: Dynamic Termination and Non-termination Proofs within the OOPSLA-track in SPLASH 2020 Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Vu Le Microsoft United States Author of Structure Interpretation of Text Formats within the OOPSLA-track in SPLASH 2020
Ondřej Lhoták University of Waterloo Canada Author of Blame for Null within the Artifacts-track in ECOOP 2020 Author of Scala with Explicit Nulls within the Artifacts-track in ECOOP 2020 Author of Reference immutability for DOT within the Research Papers-track in ECOOP 2020 Author of Scala with Explicit Nulls within the Research Papers-track in ECOOP 2020 Author of A Semantics for the Essence of React within the Research Papers-track in ECOOP 2020 Author of Blame for Null within the Research Papers-track in ECOOP 2020 Author of A Type-and-Effect System for Object Initialization within the OOPSLA Artifacts-track in SPLASH 2020 Author of ιDOT: A DOT Calculus with Object Initialization within the OOPSLA Artifacts-track in SPLASH 2020 Author of ιDOT: A DOT Calculus with Object Initialization within the OOPSLA-track in SPLASH 2020 Author of Fixpoints for the Masses: Programming with First-class Datalog Constraints within the OOPSLA-track in SPLASH 2020 Author of A Type-and-Effect System for Object Initialization within the OOPSLA-track in SPLASH 2020 Committee Member in External Review Committee within the SPLASH OOPSLA-track
Kyle Liang Carnegie Mellon University Author of User-Centered Programming Language Design: A Course-Based Case Study within the HATRA-track in HATRA 2020
Bin Liao Alibaba Group China Author of Hidden Inheritance: An Inline Caching Design for TypeScript Performance within the OOPSLA Artifacts-track in SPLASH 2020 Author of Hidden Inheritance: An Inline Caching Design for TypeScript Performance within the OOPSLA-track in SPLASH 2020
Jens Lincke Hasso Plattner Institute, University of Potsdam, Germany Germany Organizing Chair in Organizing Committee within the COP-track Committee Member in Program Committee within the COP-track PC Member in Programme Committee within the LIVE-track
Yun Lin National University of Singapore Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Richard Lin University of California, Berkeley Author of Opportunities and Challenges for Circuit Board Level Hardware Description Languages within the HATRA-track in HATRA 2020
Geoffrey Litt MIT Author of End-User Software Customization by Direct Manipulation of Tabular Data within the Onward! Papers-track in SPLASH 2020
Tongping Liu University of Massachusetts Amherst Author of WATCHER: In-Situ Failure Diagnosis within the OOPSLA-track in SPLASH 2020
Yin Liu Virginia Tech Author of VarSem: Declarative Expression and Automated Inference of Variable Usage Semantics within the GPCE-track in GPCE 2020
Hongyu Liu Purdue University Author of WATCHER: In-Situ Failure Diagnosis within the OOPSLA-track in SPLASH 2020
Zhengyang Liu University of Utah United States Author of Dataflow-based Pruning for Speeding up Superoptimization within the OOPSLA-track in SPLASH 2020 Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Jiangchao Liu College of Computer, National University of Defense Technology China Committee Member in Program Committee within the TAPAS-track
Fengyun Liu EPFL, Switzerland Switzerland Author of A Type-and-Effect System for Object Initialization within the OOPSLA Artifacts-track in SPLASH 2020 Author of A Type-and-Effect System for Object Initialization within the OOPSLA-track in SPLASH 2020 Committee Member in Program Committee within the Scala-track
Yu David Liu State University of New York (SUNY) Binghamton United States Rebase Co-chair in Organizing Committee for SPLASH 2020 Committee Member in Steering Committee within the VMIL-track Committee Member in Program Committee within the ECOOP Research Papers-track Co-chair in REBASE Chicago within the SPLASH REBASE-track
Lu-Chi Liu University of Amsterdam Author of eFLINT: A Domain-Specific Language for Executable Norm Specifications within the GPCE-track in GPCE 2020
Y. Annie Liu Stony Brook University United States Session Chair of Logic in Program Specification and Analysis (part of LPOP) General Chair in General Chairs within the LPOP-track Committee Member in Program Committee within the LPOP-track
Yiyun Liu University of Maryland, College Park, USA Author of Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell within the OOPSLA Artifacts-track in SPLASH 2020 Author of Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell within the OOPSLA-track in SPLASH 2020
Vsevolod Livinskii University of Utah Author of Random Testing for C and C++ Compilers with YARPGen within the OOPSLA-track in SPLASH 2020
Peng Li Baidu X-Lab Author of Exposing Cache Timing Side-channel Leaks through Out-of-order Symbolic Execution within the OOPSLA-track in SPLASH 2020
Yue Li Nanjing University, China China Committee Member in Program Committee within the TAPAS-track
Yonglun Li University of Wisconsin -- Milwaukee Author of Asynchronous Monad for Reactive IoT Programming within the REBLS 2020-track in REBLS 2020
Yufeng Li University of Waterloo Author of ιDOT: A DOT Calculus with Object Initialization within the OOPSLA Artifacts-track in SPLASH 2020 Author of ιDOT: A DOT Calculus with Object Initialization within the OOPSLA-track in SPLASH 2020
Liyi Li University of Illinois at Urbana-Champaign China Author of K-LLVM: A Relatively Complete Semantics of LLVM IR within the Research Papers-track in ECOOP 2020
Li Li Monash University, Australia Australia Committee Member in Program Committee within the TAPAS-track
Lu Li Linköping University Author of DelayRepay: Delayed Execution for Kernel Fusion in Python within the DLS-track in DLS
Gushu Li University of California, Santa Barbara United States Author of Projection-based Runtime Assertions for Testing and Debugging Quantum Programs within the OOPSLA Artifacts-track in SPLASH 2020 Author of Projection-based Runtime Assertions for Testing and Debugging Quantum Programs within the OOPSLA-track in SPLASH 2020
Jorge Lobo ICREA and Universitat Pompeu Fabra Committee Member in Program Committee within the LPOP-track
Francesco Logozzo Facebook United States Committee Member in Program Committee within the SAS-track
Yuheng Long Google, USA Committee Member in External Review Committee within the SPLASH OOPSLA-track
Arnaud Loonstra Utrecht School of the Arts, Netherlands Netherlands Author of ZeroMQ - The world-saving superhero sockets of the networking world within the HILT 2020-track in HILT 2020
Crista Lopes University of California, Irvine Committee Member in External Review Committee within the ECOOP Research Papers-track Irvine in Program Committee within the SPLASH Onward! Papers-track
David H. Lorenz Open University and Technion IIT Committee Member in Program Committee within the COP-track
Mary Lou Soffa University of Virginia Keynote Speaker of Testing Deep Neural Networks within the Keynotes-track in SPLASH 2020
Brandon Lucia Carnegie Mellon University United States Author of Intermittent Computer Systems on Earth and in Space within the REBASE-track in SPLASH 2020 Author of Towards a Formal Foundation of Intermittent Computing within the OOPSLA-track in SPLASH 2020 Author of Towards a Formal Foundation of Intermittent Computing within the Posters-track in SPLASH 2020
Jeff Luo University of Waterloo Author of Precise Inference of Expressive Units of Measurement Types within the OOPSLA-track in SPLASH 2020 Author of Precise Inference of Expressive Units of Measurement Types within the Posters-track in SPLASH 2020
Linghui Luo Paderborn University, Germany Organizer in Organizing Committee within the PRIDE-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Jeff Luo University of Waterloo Author of Precise Inference of Expressive Units of Measurement Types within the OOPSLA Artifacts-track in SPLASH 2020
Gongming (Gabriel) Luo University of Michigan Author of RustViz: Interactively Visualizing Ownership and Borrowing within the HATRA-track in HATRA 2020
Yi Lu Queensland University of Technology Australia Committee Member in External Review Committee within the SPLASH OOPSLA-track
Ralf Lämmel Facebook London Session Chair of (part of SLE) Session Chair of (part of GPCE) Session Chair of GPCE/SLE Opening (part of GPCE) Session Chair of GPCE/SLE Opening (part of GPCE) General Chair in Organizing Committee within the SLE-track
Julian Mackay Victoria University of Wellington Committee Member in External Review Committee within the SPLASH OOPSLA-track
Stephen Macke Author of NBSafety: Fine-Grained Lineage for Safer Jupyter Notebooks within the LIVE 2020-track in LIVE 2020
Sam Madden MIT Author of Deductive Optimization of Relational Data Storage within the OOPSLA-track in SPLASH 2020
Magnus Madsen Aarhus University Denmark Author of A Semantics for the Essence of React within the Research Papers-track in ECOOP 2020 Author of Polymorphic Types and Effects with Boolean Unification within the OOPSLA-track in SPLASH 2020 Author of Fuzzing Channel-based Concurrency Runtimes Using Types and Effects within the OOPSLA-track in SPLASH 2020 Author of Fixpoints for the Masses: Programming with First-class Datalog Constraints within the OOPSLA-track in SPLASH 2020 Committee Member in Program Committee within the ICOOOLPS-track Committee Member in Program Committee within the SySEPL-track
Geoffrey Mainland Drexel University United States Committee Member in Program Committee (to be completed) within the GPCE-track
Rupak Majumdar Max Planck Institute for Software Systems (MPI-SWS) Author of Interactive Synthesis of Temporal Specifications from Examples and Natural Language within the OOPSLA Artifacts-track in SPLASH 2020 Author of Interactive Synthesis of Temporal Specifications from Examples and Natural Language within the OOPSLA-track in SPLASH 2020 Author of Testing Consensus Implementations Using Communication Closure within the OOPSLA-track in SPLASH 2020 Author of Multiparty Motion Coordination: From Choreographies to Robotics Programs within the OOPSLA-track in SPLASH 2020 Author of Multiparty Motion Coordination: From Choreographies to Robotics Programs within the OOPSLA Artifacts-track in SPLASH 2020
Petar Maksimović Imperial College London, UK Author of A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications within the Research Papers-track in ECOOP 2020 Author of A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications within the Artifacts-track in ECOOP 2020
Konstantinos Mamouras Rice University Author of StreamQL: A Query Language for Processing Streaming Time Series within the OOPSLA-track in SPLASH 2020 Author of StreamQL: A Query Language for Processing Streaming Time Series within the OOPSLA Artifacts-track in SPLASH 2020 Author of StreamQL: A Query Language for Processing Streaming Time Series within the Posters-track in SPLASH 2020
Louis Mandel IBM Research, USA Committee Member in External Review Committee within the SPLASH OOPSLA-track PC Member in Program Committee within the REBLS-track
Ravi Mangal Georgia Institute of Technology United States Author of Probabilistic Lipschitz Analysis of Neural Networks within the SAS-track in SAS 2020
Mariana Marasoiu University of Cambridge United Kingdom Committee Member in Program Committee within the COP-track PC Member in Programme Committee within the LIVE-track
Niccolò Marastoni University of Verona Italy Author of Harming Dynamic Analysis within the SAS-track in SAS 2020
Klara Mardirosian KU Leuven Belgium Author of Resolution as Intersection Subtyping via Modus Ponens within the OOPSLA-track in SPLASH 2020 Author of Resolution as Intersection Subtyping via Modus Ponens within the OOPSLA Artifacts-track in SPLASH 2020 Author of Resolution as Intersection Subtyping via Modus Ponens within the Posters-track in SPLASH 2020
Alessandro Margara Politecnico di Milano Italy Author of ConSysT: Tunable, Safe Consistency meets Object-Oriented Programming within the FTfJP-track in FTfJP 2020 Author of Rethinking Safe Consistency in Distributed Object-Oriented Programming within the OOPSLA-track in SPLASH 2020
Darko Marinov University of Illinois at Urbana-Champaign United States Author of A Large-Scale Longitudinal Study of Flaky Tests within the OOPSLA-track in SPLASH 2020 Committee Member in Program Committee within the SySEPL-track
Matteo Marra Vrije Universiteit Brussel Belgium Author of Framework-Aware Debugging with Stack Tailoring within the DLS-track in DLS Committee Member in Artifact Evaluation Committee within the SLE-track
Mark Marron Microsoft Research United States Committee Member in Program Committee within the DLS-track
Stefan Marr University of Kent United Kingdom Committee Member in Steering Committee within the VMIL-track Committee Member in External Review Committee within the SPLASH OOPSLA-track Committee Member in Steering Committee within the DLS-track
Chris Martens North Carolina State University United States Author of Towards Solver-Aided Creativity within the HATRA-track in HATRA 2020 Committee Member in Organizing Committee within the HATRA-track
Ruben Martins Carnegie Mellon University United States Author of Program Equivalence for Assisted Grading of Functional Programs within the OOPSLA-track in SPLASH 2020
Margaret R. Martonosi Princeton University Author of Foundations of Empirical Memory Consistency Testing within the OOPSLA-track in SPLASH 2020
Isabella Mastroeni University of Verona, Italy Italy Author of On Multi-Language Abstraction: Towards a Static Analysis of Multi-Language Programs within the SAS-track in SAS 2020
Abu Naser Masud Malardalen University Author of Simple and Efficient Computation of Minimal Weak Control Closure within the SAS-track in SAS 2020
Hidehiko Masuhara Tokyo Institute of Technology Japan Committee Member in Steering Committee for SPLASH 2020 Author of Managing Persistent Signals using Signal Classes within the REBLS 2020-track in REBLS 2020 Author of Amalgamating Different JIT Compilations in a Meta-tracing JIT Compiler Framework within the DLS-track in DLS Author of Toward a Multi-Language and Multi-Environment Framework for Live Programming within the LIVE 2020-track in LIVE 2020 Committee Member in Program Committee within the ECOOP Research Papers-track Organizer in Organizing Committee within the COP-track Committee Member in Program Committee within the COP-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track Committee Member in Program Committee within the SPLASH Onward! Essays-track
Sergey Masyagin Author of Software design as story telling -- Reflecting on the work of Italo Calvino within the Onward! Essays-track in SPLASH 2020
Christoph Matheja ETH Zurich, Switzerland Author of How Do Programmers Use Unsafe Rust? within the OOPSLA-track in SPLASH 2020
Umang Mathur University of Illinois at Urbana-Champaign United States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Toni Mattis Hasso Plattner Institute, University of Potsdam Germany Student Volunteer Co-Chair & Virtualization Co-Chair in Organizing Committee for ECOOP 2020 Committee Member in External Review Committee within the ECOOP Research Papers-track Committee Member in Committee within the ECOOP Student Volunteers-track
Mikaël Mayer EPFL, Switzerland Committee Member in Program Committee within the Scala-track
Jay McCarthy University of Massachusetts Lowell Committee Member in Program Committee (to be completed) within the GPCE-track
Daniel McCrevan Rensselaer Polytechnic Institute Author of Python 3 Types in the Wild: A Tale of Two Type Systems within the DLS-track in DLS
Kathryn S McKinley Google Committee Member in Program Committe within the SPLASH CARES-track
Nenad Medvidović University of Southern California, USA United States Committee Member in Program Committee within the SySEPL-track
Erik Meijer Facebook United States Author of Inside Every Calculus Is A Little Algebra Waiting To Get Out within the REBASE-track in SPLASH 2020
Darya Melicher Google Author of A Case Study in Language-Based Security: Building an I/O Library for Wyvern within the Onward! Papers-track in SPLASH 2020 Author of A Case Study in Language-Based Security: Building an I/O Library for Wyvern within the Posters-track in SPLASH 2020
Orestis Melkonian Utrecht University Greece Author of Reconciling Event Structures with Modern Multiprocessors within the Research Papers-track in ECOOP 2020 Author of Reconciling Event Structures with Modern Multiprocessors within the Posters-track in ECOOP 2020 Author of Reconciling Event Structures with Modern Multiprocessors within the Artifacts-track in ECOOP 2020 Author of Reconciling Event Structures with Modern Multiprocessors within the Posters-track in SPLASH 2020
David Melski Author of API Analytics for Curating Static Analysis Rules within the TAPAS-track in TAPAS 2020
Charith Mendis MIT CSAIL United States Committee Member in Reviewers/Judges within the SPLASH Student Research Competition-track
Kim Mens Université Catholique de Louvain, Belgium Belgium Committee Member in Program Committee within the COP-track
Marjan Mernik University of Maribor Slovenia Session Chair of (part of GPCE) Committee Member in Program Committee (to be completed) within the GPCE-track
Alexander Merritt Independent Author of ONNX-Scala: Typeful, Functional Deep Learning / Dotty Meets an Open AI Standard (Open-Source Talk) within the Scala-track in Scala 2020
Giulia Meuli EPFL Author of Enabling Accuracy-Aware Quantum Compilers Using Symbolic Resource Estimation within the OOPSLA-track in SPLASH 2020
Johannes Mey Technische Universität Dresden Committee Member in Artifact Evaluation Committee within the SLE-track
Dawn Michaelson University of Minnesota Author of Monadification of Attribute Grammars within the SLE-track in SLE 2020
Ana Milanova Rensselaer Polytechnic Institute United States Author of Python 3 Types in the Wild: A Tale of Two Type Systems within the DLS-track in DLS Author of FlowCFL: Generalized Type-based Reachability Analysis within the OOPSLA-track in SPLASH 2020 Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the ICOOOLPS-track
Alyssa Milburn Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Dale Miler INRIA Saclay and LIX France Author of Extrinsically Typed Operational Semantics for Functional Languages within the SLE-track in SLE 2020
Aleksandar Milicevic Microsoft Author of Unifying Execution of Imperative Generators and Declarative Specifications within the OOPSLA-track in SPLASH 2020 Author of Unifying Execution of Imperative Generators and Declarative Specifications within the Posters-track in SPLASH 2020
Jimmy Miller Adzerk United States Author of Paradigms Without Progress: Kuhnian Reflections on Programming Practice within the REBASE-track in SPLASH 2020
Tyler Millis MIT Author of End-User Software Customization by Direct Manipulation of Tabular Data within the Onward! Papers-track in SPLASH 2020
Todd Millstein University of California at Los Angeles, USA Author of Scaling Exact Inference for Discrete Probabilistic Programs within the OOPSLA-track in SPLASH 2020 Author of Scaling Exact Inference for Discrete Probabilistic Programs within the OOPSLA Artifacts-track in SPLASH 2020 Committee Member in External Review Committee within the ECOOP Research Papers-track Committee Member in Review Committee within the SPLASH OOPSLA-track
Todd Millstein University of California, Los Angeles Author of Scaling Exact Inference for Discrete Probabilistic Programs within the Posters-track in SPLASH 2020
Anders Miltner Princeton University, USA United States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Antoine Miné Sorbonne Université France Author of A Library Modeling Language for the Static Analysis of C Programs within the SAS-track in SAS 2020 Author of Static Type Analysis by Abstract Interpretation of Python Programs within the Artifacts-track in ECOOP 2020 Author of Static Type Analysis by Abstract Interpretation of Python Programs within the Research Papers-track in ECOOP 2020 Committee Member in Program Committee within the SAS-track
Mehdi Mirakhorli Rochester Institute of Technology United States Author of Salsa: Static Analysis of Serialization Features within the FTfJP-track in FTfJP 2020
Sasa Misailovic University of Illinois at Urbana-Champaign United States Student Research Competition Co-Chair in Organizing Committee for SPLASH 2020 Author of Koord: a language for programming and verifying distributed robotics applications within the OOPSLA-track in SPLASH 2020 Committee Member in External Review Committee within the SPLASH OOPSLA-track Student Research Competition Co-Chair in Organizers within the SPLASH Student Research Competition-track
Neil Mitchell Facebook United Kingdom Author of Build Scripts with Perfect Dependencies within the OOPSLA-track in SPLASH 2020
Dimitris Mitropoulos Athens University of Economics and Business Greece Author of A Model for Detecting Faults in Build Specifications within the OOPSLA Artifacts-track in SPLASH 2020 Author of A Model for Detecting Faults in Build Specifications within the OOPSLA-track in SPLASH 2020
Ragnar Mogk Technische Universität Darmstadt Committee Member in Program Committee within the Scala-track
Evgenii Moiseenko St. Petersburg University / JetBrains Research Author of Reconciling Event Structures with Modern Multiprocessors within the Research Papers-track in ECOOP 2020 Author of Reconciling Event Structures with Modern Multiprocessors within the Posters-track in ECOOP 2020 Author of Reconciling Event Structures with Modern Multiprocessors within the Artifacts-track in ECOOP 2020 Author of Reconciling Event Structures with Modern Multiprocessors within the Posters-track in SPLASH 2020
Rosemary Monahan National University of Ireland Ireland Steering Committee Chair in Steering Commitee within the FTfJP-track
Raphaël Monat Sorbonne Université — LIP6 France Author of Static Type Analysis by Abstract Interpretation of Python Programs within the Artifacts-track in ECOOP 2020 Author of Static Type Analysis by Abstract Interpretation of Python Programs within the Research Papers-track in ECOOP 2020 Committee Member in Artifact Evaluation Committee within the SAS-track
David Monniaux CNRS/VERIMAG France Author of Certified and efficient instruction scheduling and application to interlocked VLIW processors within the OOPSLA Artifacts-track in SPLASH 2020
David Monniaux CNRS, VERIMAG France Author of Certified and efficient instruction scheduling within the OOPSLA-track in SPLASH 2020 Author of Certified and Efficient Instruction Scheduling within the Posters-track in SPLASH 2020
Benoît Montagu Inria France Author of Numeric Domains Meet Algebraic Data Types within the NSAD-track in NSAD 2020 Committee Member in Program Committee within the NSAD-track
Raúl Monti University of Twente, The Netherlands Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
David Moon University of Michigan PC Member in Programme Committee within the LIVE-track
Adriaan Moors Lightbend Committee Member in Program Committee within the Scala-track
Damien Morard Author of Functional Block Programming and Debugging within the LIVE 2020-track in LIVE 2020
Austin Mordahl The University of Texas at Dallas United States Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Adam Morrison Tel Aviv University Author of Proving Highly-Concurrent Traversals Correct within the OOPSLA-track in SPLASH 2020
John Magnus Morton University of Edinburgh Author of DelayRepay: Delayed Execution for Kernel Fusion in Python within the DLS-track in DLS
Martin Mory Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Georg Moser University of Innsbruck Author of A Modular Cost Analysis for Probabilistic Programs within the OOPSLA-track in SPLASH 2020
Jean-Marie Mottu Université de Nantes, LS2N, IMT Atlantique Author of Annotating Executable DSLs with Energy Estimation Formulas within the SLE-track in SLE 2020
Rashmi Mudduluru University of Washington, Seattle United States Committee Member in Artifact Evaluation Committee within the SAS-track
Hisham Muhammad Kong Inc Brazil Committee Member in Program Committee within the SPLASH Onward! Papers-track
Suvam Mukherjee Microsoft Research India India Author of Learning-based Controlled Concurrency Testing within the OOPSLA Artifacts-track in SPLASH 2020 Author of Learning-based Controlled Concurrency Testing within the OOPSLA-track in SPLASH 2020 Committee Member in Artifact Evaluation Committee within the SAS-track
Manasij Mukherjee University of Utah Author of Dataflow-based Pruning for Speeding up Superoptimization within the OOPSLA-track in SPLASH 2020
Niek Mulleners Utrecht University Author of Reference-Driven Synthesis for Programming Tutors within the HATRA-track in HATRA 2020
Stefan K. Muller Illinois Institute of Technology Author of Natural Language Theory Meets Programming Language Theory: An Interdisciplinary Framework for Programming Language Evaluation within the Onward! Essays-track in SPLASH 2020
Olivier Mullier Author of Abstract Domains for Constraint Programming with Differential Equations within the NSAD-track in NSAD 2020
Guillaume Munch-Maccagnoni Inria France Committee Member in Program Committee within the IWACO-track
James Munns Ferrous Systems Germany Panelist of Panel: Language support for parallel and distributed computing within the HILT 2020-track in HILT 2020 Author of Building a Culture of Safe and Performant Systems with the Rust Programming Language within the HILT 2020-track in HILT 2020 Committee Member in Program Committee within the HILT-track
Daniel-Jesus Munoz Universidad de Málaga, Spain Spain Committee Member in Artifact Evaluation Committee within the SLE-track
Gail Murphy University of British Columbia Canada Committee Member in Steering Committee for SPLASH 2020
Brad Myers Carnegie Mellon University United States Author of Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian within the OOPSLA-track in SPLASH 2020 Author of Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian within the OOPSLA Artifacts-track in SPLASH 2020 Author of Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian within the Posters-track in SPLASH 2020
Andrew Myers Cornell University United States Author of Handling Bidirectional Control Flow within the OOPSLA Artifacts-track in SPLASH 2020 Author of Handling Bidirectional Control Flow within the OOPSLA-track in SPLASH 2020
Magnus O. Myreen Chalmers University of Technology, Sweden Sweden Author of Do You Have Space for Dessert? A Verified Space Cost Semantics for CakeML Programs within the OOPSLA Artifacts-track in SPLASH 2020 Author of Do You Have Space for Dessert? A Verified Space Cost Semantics for CakeML Programs within the OOPSLA-track in SPLASH 2020
Adrian Möller Technical University of Darmstadt Author of A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars within the SLE-track in SLE 2020
Anders Møller Aarhus University Denmark Artifact Evaluation Chair in Organizing Committee for SPLASH 2020 Author of Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript within the Artifacts-track in ECOOP 2020 Author of Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript within the Research Papers-track in ECOOP 2020 Author of Detecting Locations in JavaScript Programs Affected by Breaking Library Changes within the OOPSLA Artifacts-track in SPLASH 2020 Author of Eliminating Abstraction Overhead of Java Stream Pipelines using Ahead-of-Time Program Optimization within the OOPSLA Artifacts-track in SPLASH 2020 Author of Eliminating Abstraction Overhead of Java Stream Pipelines using Ahead-of-Time Program Optimization within the OOPSLA-track in SPLASH 2020 Author of Detecting Locations in JavaScript Programs Affected by Breaking Library Changes within the OOPSLA-track in SPLASH 2020 Committee Member in External Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the DLS-track Artifact Evaluation Chair in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Organizer in Organizing Committee within the JSTools-track Committee Member in Program Committee within the SAS-track
Peter Müller ETH Zurich Switzerland Author of Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification within the OOPSLA Artifacts-track in SPLASH 2020 Author of Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification within the OOPSLA-track in SPLASH 2020 Author of How Do Programmers Use Unsafe Rust? within the OOPSLA-track in SPLASH 2020
Christian Müller Technical University of Munich Germany Author of Stratified Guarded First-order Transition Systems within the SAS-track in SAS 2020
Nachiappan Nagappan Microsoft Research United States Author of Feedback-Driven Semi-Supervised Synthesis of Program Transformations within the OOPSLA-track in SPLASH 2020
Kedar Namjoshi Nokia Bell Labs United States Committee Member in Program Committee within the SAS-track
Aleksandar Nanevski IMDEA Software Institute Spain Author of Proving Highly-Concurrent Traversals Correct within the OOPSLA-track in SPLASH 2020
Krishna Narasimhan TU Darmstadt, Germany Germany Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Satish Narayanasamy University of Michigan United States Author of Sound Garbage Collection for C Using Pointer Provenance within the OOPSLA-track in SPLASH 2020
Jameson Nash Julia Computing Author of World Age in Julia: Optimizing Method Dispatch in the Presence of Eval within the OOPSLA-track in SPLASH 2020
Iulian Neamtiu New Jersey Institute of Technology United States Author of LiveDroid: Identifying and Preserving Mobile App State in Volatile Runtime Environments within the OOPSLA-track in SPLASH 2020 Committee Member in Review Committee within the SPLASH OOPSLA-track
Julie L. Newcomb University of California at Berkeley Author of Verifying and Improving Halide’s Term Rewriting System with Program Synthesis within the OOPSLA-track in SPLASH 2020
Max New Northeastern University Committee Member in Program Committee within the HATRA-track
Rumyana Neykova Brunel University London United Kingdom Author of Multiparty Session Programming with Global Protocol Combinators within the Posters-track in ECOOP 2020 Author of Multiparty Session Programming with Global Protocol Combinators within the Research Papers-track in ECOOP 2020 Author of Multiparty Session Programming with Global Protocol Combinators within the Artifacts-track in ECOOP 2020 Author of Statically Verified Refinements for Multiparty Protocols within the OOPSLA-track in SPLASH 2020 Author of Statically Verified Refinements for Multiparty Protocols within the OOPSLA Artifacts-track in SPLASH 2020 Author of Multiparty Session Programming with Global Protocol Combinators within the Posters-track in SPLASH 2020 Author of Statically Verified Refinements for Multiparty Protocols within the Posters-track in SPLASH 2020
Lisa Nguyen Quang Do Google Switzerland Artifact Evaluation Co-Chair in Organizing Committee for ECOOP 2020 Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ECOOP Artifacts-track
Hoan Anh Nguyen Amazon United States Committee Member in External Review Committee within the SPLASH OOPSLA-track
ThanhVu Nguyen University of Nebraska, Lincoln United States Author of DynamiTe: Dynamic Termination and Non-termination Proofs within the OOPSLA-track in SPLASH 2020
Olivier Nicole CEA LIST, France France Committee Member in Artifact Evaluation Committee within the SAS-track
Benjamin Barslev Nielsen Aarhus University Denmark Author of Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript within the Artifacts-track in ECOOP 2020 Author of Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript within the Research Papers-track in ECOOP 2020 Author of Detecting Locations in JavaScript Programs Affected by Breaking Library Changes within the OOPSLA Artifacts-track in SPLASH 2020 Author of Detecting Locations in JavaScript Programs Affected by Breaking Library Changes within the OOPSLA-track in SPLASH 2020 Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Fabio Niephaus Hasso Plattner Institute, University of Potsdam Germany Publicity Co-Chair & Virtualization Co-Chair in Organizing Committee for ECOOP 2020 Organizer of Polyglot Programming within the Tutorials-track in ECOOP 2020 Author of Example-Based Live Programming for Everyone: Building Language-agnostic Tools for Live Programming with LSP and GraalVM within the Onward! Papers-track in SPLASH 2020 Committee Member in Artifact Evaluation Committee within the SLE-track Committee Member in Organizing Committee within the ICOOOLPS-track
Abel Nieto Aarhus University Canada Author of Blame for Null within the Artifacts-track in ECOOP 2020 Author of Scala with Explicit Nulls within the Artifacts-track in ECOOP 2020 Author of Scala with Explicit Nulls within the Research Papers-track in ECOOP 2020 Author of Blame for Null within the Research Papers-track in ECOOP 2020
Pengyu Nie The University of Texas at Austin Author of Unifying Execution of Imperative Generators and Declarative Specifications within the OOPSLA-track in SPLASH 2020 Author of Unifying Execution of Imperative Generators and Declarative Specifications within the Posters-track in SPLASH 2020
Rachit Nigam Cornell University, USA Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Filip Niksic University of Pennsylvania United States Author of DiffStream: Differential Output Testing for Stream Processing Programs within the OOPSLA Artifacts-track in SPLASH 2020 Author of Testing Consensus Implementations Using Communication Closure within the OOPSLA-track in SPLASH 2020 Author of DiffStream: Differential Output Testing for Stream Processing Programs within the OOPSLA-track in SPLASH 2020
Yuki Nishida Kyoto University Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
James Noble Victoria University of Wellington New Zealand Author of Dalarna: A Simplistic Capability-Based Dynamic Language Design For Data Race Freedom within the FTfJP-track in FTfJP 2020 Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Program Committee within the SPLASH Onward! Papers-track PC Member in Programme Committee within the LIVE-track Programme Committee in Program Committee within the FTfJP-track
Aditya Nori Author of Probabilistic Lipschitz Analysis of Neural Networks within the SAS-track in SAS 2020
Martin Nowack Imperial College London United Kingdom Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Clemens Nylandsted Klokmose Aarhus University Denmark PC Member in Programme Committee within the LIVE-track
Michael O'Boyle University of Edinburgh Author of DelayRepay: Delayed Execution for Kernel Fusion in Python within the DLS-track in DLS Author of Modeling Black-Box Components with Probabilistic Synthesis within the GPCE-track in GPCE 2020
Robert O'Callahan Pernosco New Zealand Committee Member in Program Committee within the SPLASH Onward! Papers-track
Martin Odersky EPFL, Switzerland Switzerland Author of Semantics-Preserving Inlining for Metaprogramming within the Scala-track in Scala 2020 Author of A Type-and-Effect System for Object Initialization within the OOPSLA Artifacts-track in SPLASH 2020 Author of A Type-and-Effect System for Object Initialization within the OOPSLA-track in SPLASH 2020
Bjarno Oeyen Vrije Universiteit Brussel Belgium Author of Reactive Sorting Networks within the REBLS 2020-track in REBLS 2020 Author of Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model within the Artifacts-track in ECOOP 2020 Author of Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model within the Research Papers-track in ECOOP 2020
Yoshiki Ohshima Croquet Studios Japan Committee Member in Program Committee within the SPLASH Onward! Papers-track PC Member in Program Committee within the REBLS-track
Hakjoo Oh Korea University, South Korea Author of Learning Graph-based Heuristics for Pointer Analysis without Handcrafting Application-Specific Features within the OOPSLA Artifacts-track in SPLASH 2020 Author of Learning Graph-based Heuristics for Pointer Analysis without Handcrafting Application-Specific Features within the OOPSLA-track in SPLASH 2020 Committee Member in External Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the TAPAS-track Co-chair in Organizing Committee within the TAPAS-track
Rui Okura University of Tsukuba Author of Reorganizing queries with grouping within the GPCE-track in GPCE 2020
Carlos Olarte Federal University of Rio Grande do Norte, Brazil Author of A semantic framework for PEGs within the SLE-track in SLE 2020
Bruno C. d. S. Oliveira The University of Hong Kong, Hong Kong Hong Kong Author of The Duality of Subtyping within the Research Papers-track in ECOOP 2020 Author of A Type-Directed Operational Semantics for a Calculus with a Merge Operator within the Posters-track in ECOOP 2020 Author of The Duality of Subtyping (artifact) within the Artifacts-track in ECOOP 2020 Author of A Type-Directed Operational Semantics for a Calculus with a Merge Operator within the Artifacts-track in ECOOP 2020 Author of Row and Bounded Polymorphism via Disjoint Polymorphism within the Posters-track in ECOOP 2020 Author of A Type-Directed Operational Semantics for a Calculus with a Merge Operator within the Research Papers-track in ECOOP 2020 Author of Row and Bounded Polymorphism via Disjoint Polymorphism within the Research Papers-track in ECOOP 2020 Author of Resolution as Intersection Subtyping via Modus Ponens within the OOPSLA-track in SPLASH 2020 Author of Resolution as Intersection Subtyping via Modus Ponens within the OOPSLA Artifacts-track in SPLASH 2020 Author of Revisiting Iso-Recursive Subtyping within the OOPSLA-track in SPLASH 2020 Author of Revisiting Iso-Recursive Subtyping within the OOPSLA Artifacts-track in SPLASH 2020 Author of A Type-Directed Operational Semantics for a Calculus with a Merge Operator within the Posters-track in SPLASH 2020 Author of Row and Bounded Polymorphism via Disjoint Polymorphism within the Posters-track in SPLASH 2020 Author of Revisiting Iso-Recursive Subtyping within the Posters-track in SPLASH 2020 Author of Resolution as Intersection Subtyping via Modus Ponens within the Posters-track in SPLASH 2020 Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee (to be completed) within the GPCE-track
Cyrus Omar University of Michigan United States Author of RustViz: Interactively Visualizing Ownership and Borrowing within the HATRA-track in HATRA 2020 Author of Hazel Tutor: Guiding Novices Through Type-Driven Development Strategies within the HATRA-track in HATRA 2020 PC Member in Programme Committee within the LIVE-track Committee Member in Program Committee within the HATRA-track
Stephen Oney University of Michigan Author of Toward Providing Live Feedback in Web Automation IDEs within the LIVE 2020-track in LIVE 2020
Wytse Oortwijn ETH Zurich, Switzerland Netherlands Chair in Organizing Committee within the FTfJP-track
Kolya Opahle Hasso Plattner Institute, University of Potsdam Author of Example-Based Live Programming for Everyone: Building Language-agnostic Tools for Live Programming with LSP and GraalVM within the Onward! Papers-track in SPLASH 2020
Dominic Orchard University of Kent, UK United Kingdom Author of Guiding user annotations for units-of-measure verification within the HATRA-track in HATRA 2020
Alessandro Orso Georgia Tech United States Author of Probabilistic Lipschitz Analysis of Neural Networks within the SAS-track in SAS 2020
Alex Orso Georgia Institute of Technology United States Committee Member in Program Committee within the SySEPL-track
Peter-Michael Osera Grinnell College United States Committee Member in Program Committee within the HATRA-track
Klaus Ostermann University of Tübingen, Germany Germany Author of Effects as Capabilities: Effect Handlers and Lightweight Effect Polymorphism within the OOPSLA Artifacts-track in SPLASH 2020 Author of Effects as Capabilities: Effect Handlers and Lightweight Effect Polymorphism within the OOPSLA-track in SPLASH 2020 Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Program Committee within the SPLASH Onward! Papers-track
Abdelraouf Ouadjaout Sorbonne Université France Author of A Library Modeling Language for the Static Analysis of C Programs within the SAS-track in SAS 2020 Author of Static Type Analysis by Abstract Interpretation of Python Programs within the Artifacts-track in ECOOP 2020 Author of Static Type Analysis by Abstract Interpretation of Python Programs within the Research Papers-track in ECOOP 2020
André Pacak JGU Mainz Germany Author of A Systematic Approach to Deriving Incremental Type Checkers within the OOPSLA-track in SPLASH 2020
Rohan Padhye Carnegie Mellon University United States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Luca Padovani University of Turin, Italy Italy Committee Member in Program Committee within the AGERE-track
Shankara Pailoor University of Texas at Austin, USA Author of Automated Policy Synthesis for System Call Sandboxing within the OOPSLA-track in SPLASH 2020
Jens Palsberg University of California, Los Angeles Committee Member in Steering Committee for SPLASH 2020 Committee Member in External Review Committee within the ECOOP Research Papers-track Committee Member in External Review Committee within the SPLASH OOPSLA-track
Joe Pamer Facebook United States Author of Lies we tell ourselves about developer infrastructure within the REBASE-track in SPLASH 2020
Rangeet Pan Iowa State University, USA United States Web Chair in Organizing Committee for SPLASH 2020
Tobias Pape HPI Germany Publications Chair & Web Technology Chair in Organizing Committee for ECOOP 2020 Organizer of SqueakLive within the Tutorials-track in ECOOP 2020
James Parker University of Maryland Author of Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell within the OOPSLA Artifacts-track in SPLASH 2020 Author of Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell within the OOPSLA-track in SPLASH 2020
Jihee Park KAIST South Korea Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Marinela Parovic The University of Texas at Austin Author of Unifying Execution of Imperative Generators and Declarative Specifications within the OOPSLA-track in SPLASH 2020 Author of Unifying Execution of Imperative Generators and Declarative Specifications within the Posters-track in SPLASH 2020
Lionel Parreaux EPFL Switzerland Author of Multi-Stage Programming in the Large with Staged Classes within the GPCE-track in GPCE 2020
Felix Pauck Paderborn University, Germany Germany Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Zvonimir Pavlinovic Google, USA United States Committee Member in Program Committee within the TAPAS-track
Hannes Payer Google Committee Member in Program Committee within the VMIL-track
David Pearce Victoria University of Wellington, New Zealand United Kingdom Session Chair of (part of GPCE) Author of Putting the Semantics into Semantic Versioning within the Onward! Essays-track in SPLASH 2020
Hila Peleg University of California, San Diego United States Author of Perfect is the Enemy of Good: Best-Effort Program Synthesis within the Artifacts-track in ECOOP 2020 Author of Perfect is the Enemy of Good: Best-Effort Program Synthesis within the Research Papers-track in ECOOP 2020 Author of Just-in-Time Learning for Inductive Program Synthesis within the OOPSLA Artifacts-track in SPLASH 2020 Author of Digging for Fold: Synthesis-Aided API Discovery for Haskell within the OOPSLA Artifacts-track in SPLASH 2020 Author of Programming with a Read-Eval-Synth Loop within the OOPSLA Artifacts-track in SPLASH 2020 Author of Just-in-Time Learning for Bottom-up Enumerative Synthesis within the OOPSLA-track in SPLASH 2020 Author of Programming with a Read-Eval-Synth Loop within the OOPSLA-track in SPLASH 2020 Author of The Wonderful Wizard of LoC: Paying Attention to the Man Behind the Curtain of Line-of-Code Metrics within the Onward! Essays-track in SPLASH 2020 Author of Digging for Fold: Synthesis-Aided API Discovery for Haskell within the OOPSLA-track in SPLASH 2020 Committee Member in External Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the HATRA-track Committee Member in Reviewers/Judges within the SPLASH Student Research Competition-track
Marie Pelleau Université Côte d'Azur France Committee Member in Program Committee within the NSAD-track
Fernando Magno Quintão Pereira UFMG Brazil Author of Semiring Optimizations: Dynamic Elision of Expressions with Identity and Absorbing Elements within the OOPSLA-track in SPLASH 2020 Author of Dynamic Dispatch of Context-Sensitive Optimizations within the OOPSLA-track in SPLASH 2020
Roly Perera The Alan Turing Institute United Kingdom Committee Member in Program Committee within the COP-track Co-chair in Organising Committee within the LIVE-track
Sergio Perez Rubio Author of Program Slicing with Exception Handling within the TAPAS-track in TAPAS 2020 Author of Data Dependence for Object-Oriented Programs within the TAPAS-track in TAPAS 2020
Ivan Perez NIA / NASA Formal Methods Session Chair of Welcome (part of REBLS) Session Chair of Keynote Talk: SCADE 6 (part of REBLS) Chair in Program Committee within the REBLS-track
Jorge Perianez Pascual Universidad de Extremadura Author of Towards the Optical Character Recognition of DSLs within the SLE-track in SLE 2020
Basile Pesin Inria Paris France Author of Programming Microcontrollers through High-Level Abstractions within the VMIL 2020-track in VMIL 2020
John Peter Campora III University of Louisiana at Lafayette United States Author of Taming Type Annotations in Gradual Typing within the OOPSLA-track in SPLASH 2020
Erez Petrank Technion, Israel Committee Member in External Review Committee within the SPLASH OOPSLA-track
Tomas Petricek University of Kent United Kingdom Committee Member in External Review Committee within the ECOOP Research Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Papers-track PC Member in Programme Committee within the LIVE-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Gustavo Petri Arm Ltd United Kingdom Author of Scalable and Serializable Networked Multi-Actor Programming within the OOPSLA-track in SPLASH 2020
Lucas Peña University of Illinois at Urbana-Champaign Author of Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic within the OOPSLA-track in SPLASH 2020
David Pichardie Univ Rennes, ENS Rennes, IRISA France General Co-Chair in Organizing Committee for SAS 2020 Co-chair in Program Committee within the SAS-track Committee Member in Organizing Committee within the SAS-track
Benjamin C. Pierce University of Pennsylvania United States Committee Member in Steering Committee for SPLASH 2020 Author of Testing Differential Privacy with Dual Interpreters within the OOPSLA Artifacts-track in SPLASH 2020 Author of Testing Differential Privacy with Dual Interpreters within the OOPSLA-track in SPLASH 2020 Committee Member in External Review Committee within the ECOOP Research Papers-track Committee Member in External Review Committee within the SPLASH OOPSLA-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Donald Pinckney Northeastern University United States Author of Wasm/k: Delimited Continuations for WebAssembly within the DLS-track in DLS
Luis Miguel Pinho ISEP P.PORTO Portugal Committee Member in Program Committee within the HILT-track
Goran Piskachev Fraunhofer IEM Germany Posters Co-Chair in Organizing Committee for ECOOP 2020 Committee Member in Posters committee within the ECOOP Posters-track Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Ruzica Piskac Yale University, USA Author of Towards Checkpoint Placement for Dynamic Memory Allocation in Intermittent Computing within the TAPAS-track in TAPAS 2020
Clément Pit-Claudel MIT CSAIL Author of Untangling mechanized proofs within the SLE-track in SLE 2020
Arjun Pitchanathan IIIT Hyderabad Author of Fast Linear Programming through Transprecision Computing on Small and Sparse Data within the OOPSLA-track in SPLASH 2020
Kent Pitman HyperMeta United States Committee Member in Program Committee within the SPLASH Onward! Essays-track
Noël Plouzeau University of Rennes, Inria, CNRS, IRISA Author of Modular and distributed IDE within the SLE-track in SLE 2020
Andreas Podelski University of Freiburg, Germany Germany Committee Member in Program Committee within the LPOP-track
Anton Podkopaev MPI-SWS, NRU HSE, JetBrains Research Russia Author of Reconciling Event Structures with Modern Multiprocessors within the Research Papers-track in ECOOP 2020 Author of Reconciling Event Structures with Modern Multiprocessors within the Posters-track in ECOOP 2020 Author of Reconciling Event Structures with Modern Multiprocessors within the Artifacts-track in ECOOP 2020 Author of Reconciling Event Structures with Modern Multiprocessors within the Posters-track in SPLASH 2020
Gabriel Poesia MIT Author of Dynamic Dispatch of Context-Sensitive Optimizations within the OOPSLA-track in SPLASH 2020
Fiona Polack Keele University Author of A Family of Languages for Trustworthy Agent-Based Simulation within the SLE-track in SLE 2020
Nadia Polikarpova University of California, San Diego United States Author of Perfect is the Enemy of Good: Best-Effort Program Synthesis within the Artifacts-track in ECOOP 2020 Author of Perfect is the Enemy of Good: Best-Effort Program Synthesis within the Research Papers-track in ECOOP 2020 Author of Just-in-Time Learning for Inductive Program Synthesis within the OOPSLA Artifacts-track in SPLASH 2020 Author of Digging for Fold: Synthesis-Aided API Discovery for Haskell within the OOPSLA Artifacts-track in SPLASH 2020 Author of Just-in-Time Learning for Bottom-up Enumerative Synthesis within the OOPSLA-track in SPLASH 2020 Author of Digging for Fold: Synthesis-Aided API Discovery for Haskell within the OOPSLA-track in SPLASH 2020 Committee Member in Program Committee within the HATRA-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 Framework-Aware Debugging with Stack Tailoring within the DLS-track in DLS Committee Member in Program Committee within the SPLASH Onward! Papers-track
Joe Gibbs Politz University of California San Diego, United States United States Committee Member in Program Commitee within the SPLASH -E-track
Joe Gibbs Politz UC San Diego Committee Member in External Review Committee within the ECOOP Research Papers-track
Federico Poli ETH Zurich, Switzerland Author of How Do Programmers Use Unsafe Rust? within the OOPSLA-track in SPLASH 2020
Hernan Ponce de Leon Bundeswehr University Munich Germany Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Alex Potanin Victoria University of Wellington New Zealand Virtualization Co-Chair in Organizing Committee for SPLASH 2020 Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee (to be completed) within the GPCE-track
Hannah Potter University of Michigan Author of Hazel Tutor: Guiding Novices Through Type-Driven Development Strategies within the HATRA-track in HATRA 2020
Marc Pouzet École normale supérieure PC Member in Program Committee within the REBLS-track
Michael Pradel University of Stuttgart, Germany Germany Committee Member in External Review Committee within the SPLASH OOPSLA-track
Jon Pretty Propensive OÜ Poland Committee Member in Program Committee within the Scala-track
Violet Ka I Pun Programme Committee in Program Committee within the FTfJP-track
Sylvie Putot École Polytechnique Committee Member in Program Committee within the SAS-track
Justin Pu University of Waterloo Author of Scala with Explicit Nulls within the Artifacts-track in ECOOP 2020 Author of Scala with Explicit Nulls within the Research Papers-track in ECOOP 2020
Shaz Qadeer Facebook United States Author of Exact and Linear-Time Gas-Cost Analysis within the SAS-track in SAS 2020
Jessica Quaye MIT Author of End-User Software Customization by Direct Manipulation of Tabular Data within the Onward! Papers-track in SPLASH 2020
Sergio Queiroz de Medeiros Universidade Federal do Rio Grande do Norte Brazil Author of A semantic framework for PEGs within the SLE-track in SLE 2020 Committee Member in Program Committee within the SLE-track
Donya Quick Stevens Institute of Technology United States Committee Member in Program Committee within the SPLASH Onward! Essays-track
Eduardo Quiñones Barcelona Supercomputing Center (BSC) Spain Panelist of Panel: OpenMP for High Integrity systems: Moving responsibility from users to vendors within the HILT 2020-track in HILT 2020
David R. MacIver Imperial College London Author of Test-Case Reduction via Test-Case Generation: Insights From the Hypothesis Reducer within the Research Papers-track in ECOOP 2020 Author of Test-Case Reduction via Test-Case Generation: Insights From the Hypothesis Reducer within the Posters-track in ECOOP 2020 Author of Test-Case Reduction via Test-Case Generation: Insights From the Hypothesis Reducer within the Posters-track in SPLASH 2020
Azalea Raad Imperial College London United Kingdom Author of Data Consistency in Transactional Storage Systems: A Centralised Semantics within the Research Papers-track in ECOOP 2020 Author of Data Consistency in Transactional Storage Systems: A Centralised Semantics within the Posters-track in ECOOP 2020 Author of Persistent Owicki-Gries Reasoning within the OOPSLA-track in SPLASH 2020 Author of Data Consistency in Transactional Storage Systems: A Centralised Semantics within the Posters-track in SPLASH 2020 Committee Member in Review Committee within the SPLASH OOPSLA-track
Dimitri Racordon University of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland Switzerland Author of Functional Block Programming and Debugging within the LIVE 2020-track in LIVE 2020 Author of Featherweight Swift: A Core Calculus for Swift’s Type System within the SLE-track in SLE 2020
Arjun Radhakrishna Microsoft Author of Structure Interpretation of Text Formats within the OOPSLA-track in SPLASH 2020 Author of Feedback-Driven Semi-Supervised Synthesis of Program Transformations within the OOPSLA-track in SPLASH 2020
Ivan Radiček Microsoft Author of Structure Interpretation of Text Formats within the OOPSLA-track in SPLASH 2020
Mukund Raghothaman University of Southern California Committee Member in External Review Committee within the SPLASH OOPSLA-track
Sriram Rajamani Microsoft Research India Speaker of Ask Me Anything: Sriram Rajamani within the PLMW-track in SPLASH 2020 Keynote Speaker of Models and Programs: Better Together within the Keynotes-track in SPLASH 2020 AMA Speaker in Speakers & Panelists within the SPLASH PLMW-track
Hridesh Rajan Iowa State University, USA United States General Chair in Organizing Committee for SPLASH 2020 Committee Member in Steering Committee for SPLASH 2020 General Chair in Onward! Steering Committee within the SPLASH Onward! Papers-track General Chair in Onward! Steering Committee within the SPLASH Onward! Essays-track
Ingkarat Rak-amnouykit Rensselaer Polytechnic Institute Author of Python 3 Types in the Wild: A Tale of Two Type Systems within the DLS-track in DLS
Gordana Rakić Department of Mathematics and Informatics, Faculty of Sciences, University of Novi Sad Serbia Committee Member in Program Committee within the SPLASH Onward! Essays-track
Vijay Ramamurthy Carnegie Mellon University Author of Program Equivalence for Assisted Grading of Functional Programs within the OOPSLA-track in SPLASH 2020
Stefan Ramson Hasso Plattner Institute, Germany Committee Member in Program Committee within the COP-track
Robert Rand University of Chicago United States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Joseph Ranieri Author of API Analytics for Curating Static Analysis Rules within the TAPAS-track in TAPAS 2020
Francesco Ranzato University of Padova Italy Committee Member in Program Committee within the SAS-track
Marianna Rapoport University of Waterloo Canada Author of Blame for Null within the Artifacts-track in ECOOP 2020 Author of Blame for Null within the Research Papers-track in ECOOP 2020 Committee Member in Program Committee within the IWACO-track
Moeketsi Raselimo Stellenbosch University Author of Tool Demo: A Gamified Interactive Feedback System for Grammar Development within the SLE-track in SLE 2020 Author of Grammar-based Testing for Little Languages: An Experience Report with Student Compilers within the SLE-track in SLE 2020
Srivatsan Ravi University of Southern California Author of Scalable and Serializable Networked Multi-Actor Programming within the OOPSLA-track in SPLASH 2020
Mohammad Raza Microsoft Author of Structure Interpretation of Text Formats within the OOPSLA-track in SPLASH 2020
Henrique Rebelo Universidade Federal de Pernambuco Brazil Accessibility Chair in Organizing Committee for SPLASH 2020 Committee Member in Program Commitee within the SPLASH -E-track
Vishnu Reddy University of Michigan Author of RustViz: Interactively Visualizing Ownership and Borrowing within the HATRA-track in HATRA 2020
Patrick Redmond University of California, Santa Cruz, USA Author of Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell within the OOPSLA Artifacts-track in SPLASH 2020 Author of Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell within the OOPSLA-track in SPLASH 2020
John Regehr University of Utah United States Author of Random Testing for C and C++ Compilers with YARPGen within the OOPSLA-track in SPLASH 2020 Author of Dataflow-based Pruning for Speeding up Superoptimization within the OOPSLA-track in SPLASH 2020
Baber Rehman University of Hong Kong Author of The Duality of Subtyping within the Research Papers-track in ECOOP 2020 Author of The Duality of Subtyping (artifact) within the Artifacts-track in ECOOP 2020
Christoph Reichenbach Lund University Author of A Domain-Specific Language for Filtering in Application Level Gateways within the GPCE-track in GPCE 2020 Author of The PL-Detective Revisited within the SPLASH-E-track in SPLASH 2020
Alastair Reid Arm Ltd United Kingdom Author of Towards making formal methods normal: meeting developers where they are within the HATRA-track in HATRA 2020
Michael Reif TU Darmstadt, Germany Germany Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Tobias Reinhard imec-DistriNet, KU Leuven, Belgium Belgium Author of A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit within the FTfJP-track in FTfJP 2020
Iris Reinhartz-Berger University of Haifa Israel Committee Member in Program Committee within the SLE-track
Patrick Rein Hasso Plattner Institute Germany Posters Co-Chair & Virtualization Co-Chair in Organizing Committee for ECOOP 2020 Organizer of SqueakLive within the Tutorials-track in ECOOP 2020 Author of Example-Based Live Programming for Everyone: Building Language-agnostic Tools for Live Programming with LSP and GraalVM within the Onward! Papers-track in SPLASH 2020 Committee Member in Program Committee within the ECOOP Research Papers-track Co-chair in Posters committee within the ECOOP Posters-track PC Member in Programme Committee within the LIVE-track
Jan S. Rellermeyer TU Delft Netherlands Committee Member in External Review Committee within the SPLASH OOPSLA-track
Thierry Renaux Vrije Universiteit Brussel Author of Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model within the Artifacts-track in ECOOP 2020 Author of Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model within the Research Papers-track in ECOOP 2020
Brianna M. Ren University of Maryland Author of Sound, Heuristic Type Annotation Inference For Ruby within the DLS-track in DLS
Márcio Ribeiro Federal University of Alagoas, Brazil Brazil Committee Member in External Review Committee within the SPLASH OOPSLA-track
Francesco Ricca University of Calabria, Italy Italy Committee Member in Program Committee within the LPOP-track
Andrew Rice University of Cambridge, UK United Kingdom Author of Guiding user annotations for units-of-measure verification within the HATRA-track in HATRA 2020
Julien Richard-Foy EPFL Switzerland Committee Member in Program Committee within the Scala-track
Gregor Richards University of Waterloo Canada Workshops Co-Chair in Organizing Committee for ECOOP 2020 Author of Blame for Null within the Artifacts-track in ECOOP 2020 Author of Blame for Null within the Research Papers-track in ECOOP 2020 Committee Member in Review Committee within the SPLASH OOPSLA-track
Cedric Richter Paderborn University, Germany Germany Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
David Richter Technische Universität Darmstadt Germany Publicity Chair in Organizing Committee within the Scala-track
James Riely DePaul University Author of Pomsets with Preconditions: A Simple Model of Relaxed Memory within the OOPSLA-track in SPLASH 2020
Manuel Rigger ETH Zurich, Switzerland Switzerland Artifact Evaluation Co-Chair in Organizing Committee for ECOOP 2020 Author of SQLancer: Automatically Finding Bugs in Databases within the REBASE-track in SPLASH 2020 Author of Finding Bugs in Database Systems via Query Partitioning within the OOPSLA-track in SPLASH 2020 Author of Finding Bugs in Database Systems via Query Partitioning within the OOPSLA Artifacts-track in SPLASH 2020 Author of Fast Linear Programming through Transprecision Computing on Small and Sparse Data within the OOPSLA-track in SPLASH 2020 Committee Member in Program Committee within the DLS-track Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ECOOP Artifacts-track
Noam Rinetzky Tel Aviv University, Israel Israel Author of Proving Highly-Concurrent Traversals Correct within the OOPSLA-track in SPLASH 2020 Author of Taming Callbacks for Smart Contract Modularity within the OOPSLA-track in SPLASH 2020
Talia Ringer University of Washington United States Committee Member in Program Committee within the HATRA-track
Hannah Ringler Author of Natural Language Theory Meets Programming Language Theory: An Interdisciplinary Framework for Programming Language Evaluation within the Onward! Essays-track in SPLASH 2020
Xavier Rival INRIA/CNRS/ENS Paris France Author of Interprocedural Shape Analysis Using Separation Logic-based Transformer Summaries within the SAS-track in SAS 2020 Committee Member in Program Committee within the SAS-track
Clyde Roby IDA Committee Member in Organizing Committee within the HILT-track Committee Member in Program Committee within the HILT-track
Juri Di Rocco University of L'Aquila Italy Committee Member in Artifact Evaluation Committee within the SLE-track
Nishant Rodrigues University of Illinois Urbana-Champaign Author of Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic within the OOPSLA-track in SPLASH 2020
Roberto Rodriguez-Echeverria Universidad de Extremadura Author of Towards the Optical Character Recognition of DSLs within the SLE-track in SLE 2020
Noemi Rodriguez PUC-Rio PC Member in Program Committee within the REBLS-track
Clara Rodríguez Complutense University of Madrid Author of Taming Callbacks for Smart Contract Modularity within the OOPSLA-track in SPLASH 2020
Martin Roetteler Microsoft Author of Enabling Accuracy-Aware Quantum Compilers Using Symbolic Resource Estimation within the OOPSLA-track in SPLASH 2020
Pierre-Louis Roman Università della Svizzera italiana Switzerland Author of Scalable and Serializable Networked Multi-Actor Programming within the OOPSLA-track in SPLASH 2020
Tiark Rompf Purdue University United States Author of Compiling Symbolic Execution with Staging and Algebraic Effects within the OOPSLA-track in SPLASH 2020 Committee Member in External Review Committee within the ECOOP Research Papers-track
Guillermo Román-Díez Committee Member in Artifact Evaluation Committee within the SAS-track
Marc Ronell Author of Discussion of Aviation Software Oversight Improvement within the Onward! Essays-track in SPLASH 2020
Abhishek Rose Indian Institute of Technology Delhi Author of Counterexample-Guided Correlation Algorithm for Translation Validation within the OOPSLA Artifacts-track in SPLASH 2020 Author of Counterexample-Guided Correlation Algorithm for Translation Validation within the OOPSLA-track in SPLASH 2020
Andreas Rossberg Dfinity Stiftung Germany Committee Member in Program Committee within the VMIL-track
Christoff Rossouw Stellenbosch University Author of Test Case Generation from Context-Free Grammars Using Generalized Traversal of LR-Automata within the SLE-track in SLE 2020
Grigore Rosu University of Illinois at Urbana-Champaign United States Author of Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic within the OOPSLA-track in SPLASH 2020
Andrea Rosà University of Lugano, Switzerland Switzerland Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Aaron Roth University of Pennsylvania, USA Author of Testing Differential Privacy with Dual Interpreters within the OOPSLA Artifacts-track in SPLASH 2020 Author of Testing Differential Privacy with Dual Interpreters within the OOPSLA-track in SPLASH 2020
Edo Roth University of Pennsylvania Author of Testing Differential Privacy with Dual Interpreters within the OOPSLA Artifacts-track in SPLASH 2020 Author of Testing Differential Privacy with Dual Interpreters within the OOPSLA-track in SPLASH 2020
Jurriaan Rot Radboud University Nijmegen Author of A big step from finite to infinite computations within the Research Papers-track in ECOOP 2020
Atanas Rountev Ohio State University Author of Differentially-Private Software Frequency Profiling Under Linear Constraints within the OOPSLA-track in SPLASH 2020
Arjen Rouvoet Delft University of Technology Netherlands Author of Knowing When to Ask: Sound Scheduling of Name Resolution in Type Checkers Derived from Declarative Specifications within the OOPSLA-track in SPLASH 2020 Author of Knowing When to Ask: Artifact within the OOPSLA Artifacts-track in SPLASH 2020 Author of Knowing When to Ask: Sound Scheduling of Name Resolution in Type Checkers Derived from Declarative Specifications within the Posters-track in SPLASH 2020
Benjamin Rouxel University of Amsterdam Author of PReGO: a Generative Methodology for Satisfying Real-Time Requirements on COTS-based Systems - Definition and Experience Report within the GPCE-track in GPCE 2020
Reuben Rowe University College London United Kingdom Committee Member in External Review Committee within the SPLASH OOPSLA-track
Suman Roychoudhury Tata Consultancy Services Research Committee Member in Program Committee (to be completed) within the GPCE-track
Abhik Roychoudhury National University of Singapore, Singapore Committee Member in Program Committee within the SySEPL-track
Sara Royuela Barcelona Supercomputing Center Spain Panel Moderator of Panel: OpenMP for High Integrity systems: Moving responsibility from users to vendors within the HILT 2020-track in HILT 2020 Committee Member in Program Committee within the HILT-track
Julia Rubin University of British Columbia, Canada Canada Student Research Competition Co-Chair in Organizing Committee for SPLASH 2020 Student Research Competition Co-Chair in Organizers within the SPLASH Student Research Competition-track
Cindy Rubio-González University of California, Davis United States Committee Member in Program Committee within the SySEPL-track
Albert Rubio Complutense University of Madrid Spain Author of Taming Callbacks for Smart Contract Modularity within the OOPSLA-track in SPLASH 2020
Bernhard Rumpe RWTH Aachen Germany Committee Member in Program Committee within the SLE-track
Andreas Rumpf Freelancer Germany Author of Move Semantics for Nim within the REBASE-track in SPLASH 2020
Tobias Runge TU Braunschweig Author of Correctness-by-Construction for Feature-Oriented Software Product Lines within the GPCE-track in GPCE 2020
Stuart Russell University of California, Berkeley Invited Speaker of Logic, Probability, Knowledge, and Learning within the LPOP 2020-track in LPOP 2020 Panelist of Logic in Artificial Intelligence: Don’t Machine Learning and Neural Networks Do It All? within the LPOP 2020-track in LPOP 2020
Sukyoung Ryu KAIST South Korea Committee Member in Program Committee within the DLS-track Organizer in Organizing Committee within the JSTools-track
Yann Régis-Gianas IRIF, University Paris Diderot and CNRS, France / INRIA PI.R2 France Committee Member in Program Committee within the SLE-track
Joanna C. S. Santos Rochester Institute of Technology United States Author of Salsa: Static Analysis of Serialization Features within the FTfJP-track in FTfJP 2020
BO SANG Purdue University, Ant Financial Services Group Author of Scalable and Serializable Networked Multi-Actor Programming within the OOPSLA-track in SPLASH 2020
Olli Saarikivi MSR Redmond Author of Regex Matching with Counting-Set Automata within the OOPSLA Artifacts-track in SPLASH 2020 Author of Regex Matching with Counting-Set Automata within the OOPSLA-track in SPLASH 2020
Mooly Sagiv Tel Aviv University Israel Author of Taming Callbacks for Smart Contract Modularity within the OOPSLA-track in SPLASH 2020
Konstantinos (Kostis) Sagonas Uppsala University, Sweden Sweden Author of Grammar-based Testing for Little Languages: An Experience Report with Student Compilers within the SLE-track in SLE 2020 Committee Member in Program Committee within the VMIL-track
Hitesh Sajnani Microsoft Publicity Chair in Organizing Committee for SPLASH 2020
Guido Salvaneschi University of St. Gallen Switzerland Author of Multitier Languages for Reactive Microservice Architectures within the REBLS 2020-track in REBLS 2020 Author of ConSysT: Tunable, Safe Consistency meets Object-Oriented Programming within the FTfJP-track in FTfJP 2020 Author of Handling Bidirectional Control Flow within the OOPSLA Artifacts-track in SPLASH 2020 Author of Handling Bidirectional Control Flow within the OOPSLA-track in SPLASH 2020 Author of Rethinking Safe Consistency in Distributed Object-Oriented Programming within the OOPSLA-track in SPLASH 2020 Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Program Committee within the AGERE-track General Chair in Organizing Committee within the Scala-track Committee Member in Steering Committee within the REBLS-track Committee Member in Steering Committee within the REBLS-track
Malavika Samak CSAIL, MIT United States PLMW Co-Chair in Organizing Committee for SPLASH 2020 PLMW Co-Chair in Organizing Committee within the SPLASH PLMW-track
Gabriela Sampaio Imperial College London, UK Author of A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications within the Research Papers-track in ECOOP 2020 Author of A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications within the Artifacts-track in ECOOP 2020
Adrian Sampson Cornell University, USA Author of Online Verification of Commutativity within the TAPAS-track in TAPAS 2020 Author of Geometry Types for Graphics Programming within the OOPSLA Artifacts-track in SPLASH 2020 Author of Geometry Types for Graphics Programming within the OOPSLA-track in SPLASH 2020 Author of Geometry Types for Graphics Programming within the Posters-track in SPLASH 2020 Committee Member in Review Committee within the SPLASH OOPSLA-track
Yinnon Sanders Cornell University Author of Geometry Types for Graphics Programming within the OOPSLA Artifacts-track in SPLASH 2020 Author of Geometry Types for Graphics Programming within the OOPSLA-track in SPLASH 2020 Author of Geometry Types for Graphics Programming within the Posters-track in SPLASH 2020
Francisco Sant'Anna Rio de Janeiro State University Brazil Committee Member in Steering Committee within the REBLS-track
Mark Santolucito Barnard College, Columbia University, USA United States Author of Towards Checkpoint Placement for Dynamic Memory Allocation in Intermittent Computing within the TAPAS-track in TAPAS 2020 Author of Exploring Human-in-the-loop Program Synthesis with Live Coding within the LIVE 2020-track in LIVE 2020 PC Member in Program Committee within the REBLS-track
Kevin Sapper codecentric AG Germany Keynote Speaker of ZeroMQ - The world-saving superhero sockets of the networking world within the HILT 2020-track in HILT 2020
Kartik Sarangmath Georgia Institute of Technology United States Author of Probabilistic Lipschitz Analysis of Neural Networks within the SAS-track in SAS 2020
Vivek Sarkar Georgia Institute of Technology United States Author of Intrepydd: Performance, Productivity and Portability for Data Science Application Kernels within the Onward! Papers-track in SPLASH 2020
Annabel Satin P.C.K. Finance Chair in Organizing Committee for ECOOP 2020
Florian Sattler Saarland Informatics Campus, Saarland University Germany Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Anand Ashok Sawant University of California, Davis Committee Member in Program Committee within the SySEPL-track
Ina Schaefer Technische Universität Braunschweig Germany Author of Correctness-by-Construction for Feature-Oriented Software Product Lines within the GPCE-track in GPCE 2020 Committee Member in Program Committee within the HILT-track
Michael Schaper University of Innsbruck Author of A Modular Cost Analysis for Probabilistic Programs within the OOPSLA-track in SPLASH 2020
TB Schardl MIT CSAIL Author of Using the Tapir Compiler Intermediate Representation to Support Efficient Parallel Languages within the HILT 2020-track in HILT 2020 Committee Member in Program Committee within the HILT-track
Thomas C. Schmidt HAW Hamburg Committee Member in Organizing Committee within the AGERE-track
Georg Stefan Schmid EPFL, Switzerland Committee Member in Program Committee within the Scala-track
Simon Schoenwaelder TU Darmstadt Author of Multitier Languages for Reactive Microservice Architectures within the REBLS 2020-track in REBLS 2020
Tom Schrijvers KU Leuven Author of Row and Bounded Polymorphism via Disjoint Polymorphism within the Posters-track in ECOOP 2020 Author of Row and Bounded Polymorphism via Disjoint Polymorphism within the Research Papers-track in ECOOP 2020 Author of Resolution as Intersection Subtyping via Modus Ponens within the OOPSLA-track in SPLASH 2020 Author of Resolution as Intersection Subtyping via Modus Ponens within the OOPSLA Artifacts-track in SPLASH 2020 Author of Row and Bounded Polymorphism via Disjoint Polymorphism within the Posters-track in SPLASH 2020 Author of Resolution as Intersection Subtyping via Modus Ponens within the Posters-track in SPLASH 2020
Ulrik Schultz University of Southern Denmark Author of PReGO: a Generative Methodology for Satisfying Real-Time Requirements on COTS-based Systems - Definition and Experience Report within the GPCE-track in GPCE 2020
Philipp Schuster University of Tübingen, Germany Author of Effects as Capabilities: Effect Handlers and Lightweight Effect Polymorphism within the OOPSLA Artifacts-track in SPLASH 2020 Author of Effects as Capabilities: Effect Handlers and Lightweight Effect Polymorphism within the OOPSLA-track in SPLASH 2020
Andy Schürr TU Darmstadt Author of A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars within the SLE-track in SLE 2020
Nico Scordialo Hasso Plattner Institute, University of Potsdam Author of Example-Based Live Programming for Everyone: Building Language-agnostic Tools for Live Programming with LSP and GraalVM within the Onward! Papers-track in SPLASH 2020
Roger Scott Author of API Analytics for Curating Static Analysis Rules within the TAPAS-track in TAPAS 2020
Elizabeth Scott Royal Holloway University of London Committee Member in Program Committee within the SLE-track