SPLASH 2020 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Affiliation

Name

Results (609)

Maaz Bin Safeer Ahmad UW / CSE 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 Committee Member in Review Committee within the SPLASH OOPSLA-track
Wolfgang Ahrendt Chalmers University of Technology Sweden Programme Committee in Program Committee within the FTfJP-track
Shoaib Akram Australian National University Australia Committee Member in External Review Committee within the SPLASH OOPSLA-track
Jonathan Aldrich Carnegie Mellon University United States Committee Member in Steering Committee for 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 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
Juliana Alves Pereira PUC-Rio Brazil Committee Member in Program Committee (to be completed) within the GPCE-track
Nada Amin Harvard University United States Conference Chair in Program 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
Mauricio Aniche Delft University of Technology, Netherlands Co-chair in Organizing Committee within the SySEPL-track
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
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
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
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
Domagoj Babic Google, Inc. United States Committee Member in Program Committee within the TAPAS-track
Casper Bach Poulsen Delft University of Technology Committee Member in External Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the SySEPL-track
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 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 Invited Speaker of Gogul Balakrishnan within the SAS 2020 - 27th Static Analysis Symposium-track in SAS 2020 Invited Speaker in Invited Speakers within the SAS-track
Elisa Baniassad University of British Columbia SPLASH-E Co-Chair in Organizing Committee for SPLASH 2020 Committee Member in Program Committee within the SPLASH Onward! Papers-track Chair in Program Commitee within the SPLASH -E-track
Olivier Barais (Univ Rennes, Inria, IRISA) Committee Member in Program Committee within the SLE-track
Mohamad Barbar University of Technology, Sydney Author of Flow-Sensitive Type-Based Heap Cloning within the Research Papers-track in ECOOP 2020 Author of Flow-Sensitive Type Based Heap Cloning (Artifact) within the Artifacts-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
Dan Barowy Williams College United States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Alexandre Bartel University of Luxembourg Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Antranig Basman Raising the Floor - International United Kingdom Committee Member in Program Committee within the SPLASH Onward! Papers-track
Don Batory University of Texas, Austin United States Committee Member in Program Committee (to be completed) within the GPCE-track
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 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
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
Walter Binder University of Lugano, Switzerland Committee Member in Program Committee within the COP-track
Xuan Bi The University of Hong Kong Author of Row and Bounded Polymorphism via Disjoint Polymorphism within the Research Papers-track in ECOOP 2020
Steve Blackburn Australian National University Australia 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
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
Hans-J. Boehm Google Committee Member in External Review Committee within the SPLASH OOPSLA-track
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
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
Erwan Bousse University of Nantes France 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
Edwin Brady University of St. Andrews, UK United Kingdom Author of A Framework for Resource Dependent EDSLs in a Dependently Typed Language within the Research Papers-track in ECOOP 2020 Author of A Framework for Resource Dependent EDSLs in a Dependently-Typed Language (Artifact) within the Artifacts-track in ECOOP 2020
Oliver Bračevac Purdue University United States 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 Committee Member in Program Committee within the AGERE-track
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
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 Publicity Chair in Organizing Committee within the SLE-track
Manuel Bärenz sonnen eServices GmbH PC Member in Program Committee within the REBLS-track
Jose Cambronero MIT 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
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
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
Milind Chabbi Uber Technologies Inc. United States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Soham Chakraborty IIT Delhi, India India Committee Member in External Review Committee within the SPLASH OOPSLA-track
Satish Chandra Facebook United States Rebase Co-chair in Organizing Committee for SPLASH 2020 Co-chair in Organizing Committee 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
Kyle Chard University of Chicago United States Committee Member in Program Committee within the HILT-track
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 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
Jianyi Cheng Imperial College London United Kingdom Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Sheng Chen University of Louisiana at Lafayette United States 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 within the Research Papers-track in ECOOP 2020 Author of Flow-Sensitive Type Based Heap Cloning (Artifact) within the Artifacts-track in ECOOP 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 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
Vikraman Choudhury Indiana University & University of Cambridge United States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Ravi Chugh University of Chicago Local Arrangements Chair in Organizing Committee for SPLASH 2020 PC Member in Program Committee within the LIVE-track Committee Member in Program Committee within the HATRA-track
Guerric Chupin ENSTA ParisTech PC Member in Program Committee within the REBLS-track
Luke Church University of Cambridge United Kingdom Committee Member in Organizing Committee within the HATRA-track
Cristina Cifuentes Oracle Labs Australia Committee Member in Program Committee within the TAPAS-track
Tony Clark Aston University United Kingdom Committee Member in Program Committee within the SLE-track
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 Carnegie Mellon University United States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in Organizing Committee within the HATRA-track
Youyou Cong Tokyo Institute of Technology Japan Committee Member in Program Committee within the Scala-track
William Cook University of Texas at Austin Austin in Program Committee within the SPLASH Onward! Papers-track
Patrick Cousot Committee Member in Program Committee within the SAS-track
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 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
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
Joeri De Koster Vrije Universiteit Brussel, Belgium Belgium Author of Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model within the Research Papers-track in ECOOP 2020 Author of Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model within the Artifacts-track in ECOOP 2020 Committee Member in Organizing Committee within the AGERE-track
Wolfgang De Meuter Vrije Universiteit Brussel Author of Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model within the Research Papers-track in ECOOP 2020 Author of Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model within the Artifacts-track in ECOOP 2020 Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Organizing 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
Dominique Devriese Vrije Universiteit Brussel Belgium Committee Member in Program Committee within the IWACO-track
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 Steering Committee Member in Steering Commitee within the FTfJP-track
Isil Dillig University of Texas at Austin, USA 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 Committee Member in Organizing Committee within the META-track
Cynthia Disenfeld Foretellix and Open University of Israel Israel Committee Member in Program Committee within the COP-track
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
Julian Dolby IBM Research, USA 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 Test-Case Reduction via Test-Case Generation: Insights From the Hypothesis Reducer within the Research Papers-track in ECOOP 2020 Author of Putting Randomized Compiler Testing into Production within the Research Papers-track in ECOOP 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
Vlastimil Dort Charles University Author of Reference immutability for DOT within the Research Papers-track in ECOOP 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 Implementation of SHAPES case studies within the Artifacts-track in ECOOP 2020 Committee Member in Review Committee within the SPLASH OOPSLA-track
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
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
Jonathan Edwards United States Committee Member in Program Committee within the SPLASH Onward! Papers-track PC Member in Program Committee within the LIVE-track
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 Implementation of SHAPES case studies within the Artifacts-track in ECOOP 2020
Michael Emmi Amazon Web Services Committee Member in External Review Committee within the SPLASH OOPSLA-track
Sebastian Erdweg JGU Mainz Germany 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 Committee Member in External Review Committee within the ECOOP Research Papers-track
Martin Erwig Oregon State University United States 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 Doctoral Symposium Co-Chair in Organizing Committee within the ECOOP Doctoral Symposium-track
Patrick Eugster Universita della Svizzera Italiana, Switzerland Committee Member in Organizing 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
Chris Fallin Mozilla Author of Safe, Flexible Aliasing with Deferred Borrows within the Research Papers-track in ECOOP 2020
Marie Farrell University of Liverpool Programme Committee in Program Committee within the FTfJP-track
Marc Feeley Université de Montréal Canada Committee Member in Program Committee within the VMIL-track Committee Member in Organizing Committee within the VMIL-track
Molly Feldman Cornell University 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 SqueakLive within the Tutorials-track in ECOOP 2020 Organizer of Polyglot Programming 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
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
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
Kathi Fisler Brown University Committee Member in Steering Committee within the SPLASH -E-track
Matthew Flatt University of Utah, USA Committee Member in External Review Committee within the ECOOP Research Papers-track Program Chair in Program Committee within the DLS-track
Olivier Flückiger Northeastern University, USA Committee Member in Program Committee within the ECOOP Research Papers-track
Simon Fowler The University of Edinburgh United Kingdom Author of Model-View-Update-Communicate: Session Types meet the Elm Architecture within the Research Papers-track in ECOOP 2020 Author of Model-View-Update-Communicate: Session Types meet the Elm Architecture within the Artifacts-track in ECOOP 2020 PC Member in Program 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
Juliana Franco Microsoft Research, Cambridge United Kingdom Author of Implementation of SHAPES case studies within the Artifacts-track in ECOOP 2020 PC Member in Program 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
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 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
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
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
Antonio Garcia-Dominguez Aston University Artifact Evaluation Co-Chair in Organizing Committee within the SLE-track
Philippa Gardner 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 Author of Data Consistency in Transactional Storage Systems: A Centralised Semantics within the Research Papers-track in ECOOP 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
Timon Gehr ETH Zurich, Switzerland Committee Member in Reviewers/Judges within the SPLASH Student Research Competition-track
Samir Genaim Universidad Complutense de Madrid Spain Committee Member in Program Committee within the SAS-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
Jeremy Gibbons Department of Computer Science, University of Oxford United Kingdom Committee Member in External Review Committee within the ECOOP Research Papers-track
Elena Glassman Harvard University United States Keynote Speaker of Keynote Speaker within the Keynotes-track in SPLASH 2020 Committee Member in Program Committee within the HATRA-track Committee Member in Organizing Committee within the PLATEAU-track
Milos Gligoric The University of Texas at Austin United States 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 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
Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium Belgium Committee Member in Steering Committee for SPLASH 2020 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 Steering Committee within the META-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 PC Member in Program Committee within the LIVE-track
Colin Gordon Drexel University United States Artifact Evaluation Chair in Organizing Committee for SPLASH 2020 Author of Lifting Sequential Effects to Control Operators within the Research Papers-track in ECOOP 2020 Author of Designing with Static Capabilities and Effects 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
Jeff Gray University of Alabama 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
Erin Greenwood-Thessman Author of Dalarna: A Simplistic Capability-Based Dynamic Language Design For Data Race Freedom within the FTfJP-track in FTfJP 2020
Radu Grigore University of Kent United Kingdom Steering Committee Member in Steering Commitee within the FTfJP-track
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
Arjun Guha Northeastern University Committee Member in Program Commitee within the SPLASH -E-track
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
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
Oskar Haarklou Veileborg Aarhus University Denmark Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
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
Ben Hardekopf UC Santa Barbara Committee Member in External Review Committee within the SPLASH OOPSLA-track
Gautier Hattenberger Keynote Speaker of Paparazzi, a research oriented open source UAV system within the Keynotes-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 Committee Member in Program Committee within the SLE-track
Brian Hempel University of Chicago Co-chair in Organizing 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
Yann Herklotz Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Ben Hermann Paderborn University 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 Program Committee within the LIVE-track Committee Member in Program Committee within the HATRA-track
Manuel Hermenegildo IMDEA Software Institute and T.U. of Madrid (UPM) Invited Speaker of Manuel Hermenegildo within the SAS 2020 - 27th Static Analysis Symposium-track in SAS 2020 Invited Speaker in Invited Speakers within the SAS-track
Pinjia He ETH Zurich Switzerland Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Paul He University of Pennsylvania United States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
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
Robert Hirschfeld Hasso-Plattner-Institut (HPI), Germany Germany Program Chair in Organizing Committee for ECOOP 2020 Organizer of SqueakLive within the Tutorials-track in ECOOP 2020 Organizer of Polyglot Programming within the Tutorials-track in ECOOP 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
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
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 Program Committee within the LIVE-track
Justin Hsu University of Wisconsin-Madison, USA United States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Xuejing Huang The University of Hong Kong 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
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
Christopher Hundhausen Washington State University PC Member in Program Committee within the LIVE-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
Keigo Imai Gifu University 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 Research Papers-track in ECOOP 2020
Md Johirul Islam Iowa State University United States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Yusuke Izawa Tokyo Institute of Technology Japan Co-reviewer in Program Committee within the SPLASH Onward! Essays-track
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
Maxime Jacquemin CEA LIST, France France Committee Member in Artifact Evaluation Committee within the SAS-track
Suresh Jagannathan Purdue University Committee Member in Program Committee within the SAS-track
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
Nicolas Jeannerod IRIF, University Paris Diderot and CNRS, France France Committee Member in Artifact Evaluation Committee within the SAS-track
Alan Jeffrey Mozilla Research United States PC Member in Program Committee within the REBLS-track
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
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
Tetsuo Kamina Oita University Japan Committee Member in Program Committee within the COP-track PC Member in Program Committee within the REBLS-track
Eunsuk Kang Carnegie Mellon University United States Committee Member in Reviewers/Judges within the SPLASH Student Research Competition-track
Aarti Kashyap University of British Columbia Canada Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
John Kassie Rockwell Collins Committee Member in Program Committee within the HILT-track
Stephen Kell University of Kent Onward! Papers Chair in Organizing Committee for SPLASH 2020 Committee Member in Steering Committee for SPLASH 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
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 Committee Member in Program Committee within the ECOOP Research Papers-track
Mijung Kim Purdue University United States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Oleg Kiselyov Committee Member in Program Committee within the Scala-track
Fredrik Kjolstad Stanford University Committee Member in Reviewers/Judges within the SPLASH Student Research Competition-track
Michael Klemm Intel Germany Committee Member in Program Committee within the HILT-track
Martin Kleppmann University of Cambridge United Kingdom Committee Member in Program Committee within the SPLASH Onward! Papers-track
Wen Kokke University of Edinburgh United Kingdom 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
Nikolai Kosmatov CEA List France Committee Member in Program Committee within the HILT-track Programme Committee in Program Committee within the FTfJP-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
Paddy Krishnan Oracle Labs, Australia 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
Srđan Krstić ETH Zürich Switzerland Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
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
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
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
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
Ori Lahav Tel Aviv University, Israel 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 Research Papers-track in ECOOP 2020
Leonidas Lampropoulos University of Maryland, College Park Greece Committee Member in External Review Committee within the SPLASH OOPSLA-track
Patrick Lam University of Waterloo Committee Member in Review Committee within the SPLASH OOPSLA-track
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
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
Maya Lekova Google, Germany Germany Committee Member in Program Committee within the ICOOOLPS-track
Caroline Lemieux University of California, Berkeley United States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
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, Riverside Committee Member in Review Committee within the SPLASH OOPSLA-track
Ton Chanh Le Stevens Institute of Technology United States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Ondřej Lhoták University of Waterloo Canada Author of Scala with Explicit Nulls within the Artifacts-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 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 Blame for Null within the Artifacts-track in ECOOP 2020 Committee Member in External Review Committee within the SPLASH OOPSLA-track
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
Yun Lin National University of Singapore Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Zhengyang Liu University of Utah United States 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 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 Organizing Committee within the SPLASH Rebase-track
Y. Annie Liu Stony Brook University United States General Chair in General Chairs within the LPOP-track
Yue Li Nanjing University, China China Committee Member in Program Committee within the TAPAS-track
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
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
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
Brandon Lucia Carnegie Mellon University, USA Keynote Speaker of Keynote Speaker within the Keynotes-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
Yi Lu Queensland University of Technology Australia Committee Member in External Review Committee within the SPLASH OOPSLA-track
Ralf Lämmel Facebook London 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
Magnus Madsen Aarhus University Denmark Author of A Semantics for the Essence of React within the Research Papers-track in ECOOP 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
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
Louis Mandel IBM Research Committee Member in External Review Committee within the SPLASH OOPSLA-track PC Member in Program Committee within the REBLS-track
Mariana Marasoiu University of Cambridge United Kingdom Committee Member in Program Committee within the COP-track PC Member in Program Committee within the LIVE-track
Alessandro Margara Politecnico di Milano Italy Author of ConSysT: Tunable, Safe Consistency meets Object-Oriented Programming within the FTfJP-track in FTfJP 2020
Darko Marinov University of Illinois at Urbana-Champaign United States Committee Member in Program Committee within the SySEPL-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 Committee Member in Steering Committee within the META-track
Chris Martens North Carolina State University United States Committee Member in Organizing Committee within the HATRA-track
Hidehiko Masuhara Tokyo Institute of Technology Japan Committee Member in Steering Committee for SPLASH 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
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
Nenad Medvidović University of Southern California United States Committee Member in Program Committee within the SySEPL-track
Orestis Melkonian Utrecht University Greece 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 Research Papers-track in ECOOP 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 Committee Member in Program Committee (to be completed) within the GPCE-track
Ana Milanova Rensselaer Polytechnic Institute United States 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
Todd Millstein University of California at Los Angeles, USA Committee Member in External Review Committee within the ECOOP Research Papers-track Committee Member in Review Committee within the SPLASH OOPSLA-track
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 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 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
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 Artifacts-track in ECOOP 2020 Author of Reconciling Event Structures with Modern Multiprocessors within the Research Papers-track in ECOOP 2020
Rosemary Monahan National University of Ireland Ireland Steering Committee Chair in Steering Commitee within the FTfJP-track
Raphaël Monat Sorbonne University — 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
Benoit Montagu Inria France 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 PC Member in Program Committee within the LIVE-track
Adriaan Moors Lightbend Committee Member in Program Committee within the Scala-track
Austin Mordahl The University of Texas at Dallas United States Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Martin Mory Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
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 Committee Member in Artifact Evaluation Committee within the SAS-track
Guillaume Munch-Maccagnoni Inria France Committee Member in Program Committee within the IWACO-track
James Munns Ferrous Systems Germany Committee Member in Program Committee within the HILT-track
Gail Murphy University of British Columbia Canada Committee Member in Steering Committee for SPLASH 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 Research Papers-track in ECOOP 2020 Author of Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript within the Artifacts-track in ECOOP 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
Kedar Namjoshi Nokia Bell Labs United States Committee Member in Program Committee within the SAS-track
Krishna Narasimhan TU Darmstadt, Germany Germany Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Iulian Neamtiu New Jersey Institute of Technology United States Committee Member in Review Committee within the SPLASH OOPSLA-track
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 Artifacts-track in ECOOP 2020 Author of Multiparty Session Programming with Global Protocol Combinators within the Research Papers-track in ECOOP 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
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 Research Papers-track in ECOOP 2020 Author of Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript within the Artifacts-track in ECOOP 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 Committee Member in Organizing Committee within the ICOOOLPS-track
Abel Nieto University of Waterloo Canada Author of Scala with Explicit Nulls within the Artifacts-track in ECOOP 2020 Author of Blame for Null within the Research Papers-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 Artifacts-track in ECOOP 2020
Rachit Nigam Cornell University, USA Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
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 Program Committee within the LIVE-track Programme Committee in Program Committee within the FTfJP-track
Martin Nowack Imperial College London United Kingdom Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Robert O'Callahan Pernosco New Zealand Committee Member in Program Committee within the SPLASH Onward! Papers-track
Bjarno Oeyen Vrije Universiteit Brussel Belgium Author of Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model within the Research Papers-track in ECOOP 2020 Author of Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model within the Artifacts-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 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
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 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 The Duality of Subtyping (artifact) within the Artifacts-track in ECOOP 2020 Author of Row and Bounded Polymorphism via Disjoint Polymorphism within the Research Papers-track in ECOOP 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 PC Member in Program Committee within the LIVE-track Committee Member in Program Committee within the HATRA-track
Wytse Oortwijn ETH Zurich, Switzerland Netherlands Chair in Organizing Committee within the FTfJP-track
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 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 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
Burcu Kulahcioglu Ozkan Max Planck Institute for Software Systems (MPI-SWS) Germany Committee Member in External Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the HILT-track
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
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 Keynote Speaker of Keynote Speaker within the Keynotes-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
Jihee Park KAIST South Korea Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
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
Hannes Payer Google Committee Member in Program Committee within the VMIL-track
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 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
Roly Perera The Alan Turing Institute United Kingdom Committee Member in Program Committee within the COP-track Co-chair in Organizing Committee within the LIVE-track
Ivan Perez NIA / NASA Formal Methods Chair in Program Committee within the REBLS-track
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 Program Committee within the LIVE-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
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 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
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
Kent Pitman HyperMeta United States Committee Member in Program Committee within the SPLASH Onward! Essays-track
Anton Podkopaev MPI-SWS, NRU HSE, JetBrains Research Russia 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 Research Papers-track in ECOOP 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 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 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
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 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
Marc Pouzet École normale supérieure PC Member in Program Committee within the REBLS-track
Michael Pradel University of Stuttgart 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
Sergio Queiroz de Medeiros Universidade Federal do Rio Grande do Norte Brazil 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
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
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 Committee Member in Review Committee within the SPLASH OOPSLA-track
Mukund Raghothaman University of Southern California Committee Member in External Review Committee within the SPLASH OOPSLA-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
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
Stefan Ramson Hasso Plattner Institute, Germany Committee Member in Program Committee within the COP-track
Robert Rand University of Maryland United States Committee Member in External Review Committee within the SPLASH OOPSLA-track
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 Research Papers-track in ECOOP 2020 Author of Blame for Null within the Artifacts-track in ECOOP 2020 Committee Member in Program Committee within the IWACO-track
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
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
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 Committee Member in Program Committee within the ECOOP Research Papers-track Co-chair in Posters committee within the ECOOP Posters-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 Research Papers-track in ECOOP 2020 Author of Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model within the Artifacts-track in ECOOP 2020
Márcio Ribeiro Federal University of Alagoas, Brazil Brazil Committee Member in External Review Committee within the SPLASH OOPSLA-track
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 Research Papers-track in ECOOP 2020 Author of Blame for Null within the Artifacts-track in ECOOP 2020 Committee Member in Review Committee within the SPLASH OOPSLA-track Co-chair in Chairs within the ECOOP Workshops-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
Manuel Rigger ETH Zurich Switzerland Artifact Evaluation Co-Chair in Organizing Committee for ECOOP 2020 Committee Member in Program Committee within the DLS-track Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ECOOP Artifacts-track
Talia Ringer University of Washington United States Committee Member in Program Committee within the HATRA-track
Xavier Rival INRIA/CNRS/ENS Paris France 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
Noemi Rodriguez PUC-Rio PC Member in Program Committee within the REBLS-track
Tiark Rompf Purdue University United States 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
Andreas Rossberg Dfinity Stiftung Germany Committee Member in Program Committee within the VMIL-track
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
Jurriaan Rot Radboud University Nijmegen Author of A big step from finite to infinite computations within the Research Papers-track in ECOOP 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 Committee Member in Program Committee within the HILT-track
Julia Rubin University of British Columbia 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
Bernhard Rumpe RWTH Aachen Germany Committee Member in Program Committee within the SLE-track
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
Konstantinos (Kostis) Sagonas Uppsala University, Sweden Sweden Committee Member in Program Committee within the VMIL-track
Hitesh Sajnani Microsoft Publicity Chair in Organizing Committee for SPLASH 2020
Guido Salvaneschi Technische Universität Darmstadt Author of ConSysT: Tunable, Safe Consistency meets Object-Oriented Programming 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 AGERE-track General Chair in Organizing Committee within the Scala-track Committee Member in Organizing Committee within the REBLS-track Committee Member in Organizing Committee within the REBLS-track
Malavika Samak CSAIL, MIT United States 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 Committee Member in Review Committee within the SPLASH OOPSLA-track
Francisco Sant'Anna Rio de Janeiro State University Brazil Committee Member in Organizing Committee within the REBLS-track
Mark Santolucito Yale University, USA United States PC Member in Program Committee within the REBLS-track
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 Committee Member in Program Committee within the HILT-track
TB Schardl MIT CSAIL 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
Christophe Scholliers Universiteit Gent, Belgium Organization Co-chair in Organizing Committee within the META-track
Tom Schrijvers KU Leuven Author of Row and Bounded Polymorphism via Disjoint Polymorphism within the Research Papers-track in ECOOP 2020
Elizabeth Scott Royal Holloway University of London Committee Member in Program Committee within the SLE-track
Neil Sculthorpe Nottingham Trent University, UK PC Member in Program Committee within the REBLS-track
Chris Seaton Shopify United Kingdom Committee Member in Program Committee within the SLE-track Committee Member in Program Committee within the ICOOOLPS-track
Christoph Seidl IT University of Copenhagen Denmark Committee Member in Program Committee (to be completed) within the GPCE-track
Helmut Seidl Technische Universität München Committee Member in Program Committee within the SAS-track
Aritra Sengupta Amazon Web Services, USA United States Committee Member in Review Committee within the SPLASH OOPSLA-track
Manuel Serrano Inria, France Committee Member in Program Committee within the VMIL-track Committee Member in Program Committee within the ECOOP Research Papers-track
Rahul Sharma Microsoft Research India Committee Member in Review Committee within the SPLASH OOPSLA-track
Avraham Shinnar IBM Research Committee Member in Program Committee within the SPLASH Onward! Papers-track
August Shi The University of Texas at Austin United States Committee Member in Reviewers/Judges within the SPLASH Student Research Competition-track
Jeremy G. Siek Indiana University, USA United States Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Program Committee within the DLS-track
Mihaela Sighireanu IRIF, Université Paris Diderot, France 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
Somesh Singh Indian Institute of Technology, Madras India Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
John L. Singleton Soar Technology, Inc. United States Programme Committee in Program Committee within the FTfJP-track
Zachary Sisco UC Santa Barbara Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Aishwarya Sivaraman University of California, Los Angeles Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Min Si Argonne National Laboratory Keynote Speaker of Keynote Speaker within the Keynotes-track in SPLASH 2020
Yannis Smaragdakis University of Athens, Greece Committee Member in Steering 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
Justin Smith Lafayette College United States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Devika Sondhi IIIT Delhi India Committee Member in Artifact Evaluation Committee within the SAS-track
Zheng Jason Song Virginia Tech, USA Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Tyler Sorensen Princeton University United States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Sunbeom So Korea University Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Manu Sridharan University of California Riverside United States Committee Member in Steering Committee for SPLASH 2020
Witawas Srisa-an University of Nebraska-Lincoln United States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Witawas Srisa-an Committee Member in Steering Committee within the VMIL-track
Alok Srivastava SAIC Committee Member in Program Committee within the HILT-track
Leo Stefanesco IRIF, University Paris Diderot & CNRS France Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Friedrich Steimann Fernuniversität Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Program Committee within the SLE-track
Michel Steuwer The University of Edinburgh United Kingdom Committee Member in Program Committee (to be completed) within the GPCE-track
Quentin Stiévenart Vrije Universiteit Brussel, Belgium Belgium Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Kathryn Stolee North Carolina State University United States Committee Member in Program Commitee within the SPLASH -E-track
Yulei Sui University of Technology Sydney, Australia Australia Author of Flow-Sensitive Type-Based Heap Cloning within the Research Papers-track in ECOOP 2020 Author of Flow-Sensitive Type Based Heap Cloning (Artifact) within the Artifacts-track in ECOOP 2020 Committee Member in Program Committee within the TAPAS-track Co-chair in Organizing Committee within the TAPAS-track
Alexander J. Summers The University of British Columbia Canada Author of Prusti – Deductive Verification for Rust within the FTfJP-track in FTfJP 2020 Steering Committee Member in Steering Commitee within the FTfJP-track
Joshua Sunshine Carnegie Mellon University Committee Member in Organizing Committee within the PLATEAU-track Committee Member in Organizing Committee within the PLATEAU-track
Ting Su ETH Zurich, Switzerland Switzerland Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Eugene Syriani Université de Montréal Canada Committee Member in Program Committee within the SLE-track
Jesús Sánchez Cuadrado University of Murcia Committee Member in Program Committee within the SLE-track
César Sánchez IMDEA Software Institute Spain PC Member in Program Committee within the REBLS-track
Emma Söderberg Lund University Sweden Committee Member in Program Committee within the ECOOP Research Papers-track PC Member in Program Committee within the LIVE-track Committee Member in Academic Panel within the ECOOP Doctoral Symposium-track
Tomoya Tabuchi Kyoto University Japan Author of Space-Efficient Gradual Typing in Coercion-Passing Style within the Research Papers-track in ECOOP 2020
Marcel Taeumel Hasso Plattner Institute Germany Organizer of SqueakLive within the Tutorials-track in ECOOP 2020
Tucker Taft AdaCore, United States United States Committee Member in Organizing Committee within the HILT-track Committee Member in Program Committee within the HILT-track
Ruby Tahboub Purdue University United States Committee Member in Program Committee within the Scala-track
Carolyn Talcott SRI International Committee Member in Program Committee within the AGERE-track
Yudai Tanabe Tokyo Institute of Technology Japan Co-reviewer in Program Committee within the SPLASH Onward! Essays-track
Qiyi Tang University of Oxford United Kingdom Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Éric Tanter University of Chile Chile Author of Abstracting gradual references within the Research Papers-track in ECOOP 2020
Chengsong Tan King's College London Doctoral Symposium Co-Chair in Organizing Committee for ECOOP 2020 Doctoral Symposium Co-Chair in Organizing Committee within the ECOOP Doctoral Symposium-track
Olivier Tardieu IBM Research France Committee Member in External Review Committee within the SPLASH OOPSLA-track
Alexandros Tasos Imperial College London Greece 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 Implementation of SHAPES case studies within the Artifacts-track in ECOOP 2020
Zachary Tatlock University of Washington, USA Committee Member in External Review Committee within the SPLASH OOPSLA-track
Aditya V. Thakur University of California, Davis United States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Jonathan Thaler University of Applied Scienes Vorarlberg Austria PC Member in Program Committee within the REBLS-track
Peter Thiemann University of Freiburg, Germany Committee Member in Program Committee within the ECOOP Research Papers-track
Paul Thomson 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
Eli Tilevich Virginia Tech United States Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Program Committee (to be completed) within the GPCE-track
Amin Timany Aarhus University Denmark Author of A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit within the FTfJP-track in FTfJP 2020
Frank Tip Northeastern University United States Author of A Semantics for the Essence of React within the Research Papers-track in ECOOP 2020 Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in External Review Committee within the SPLASH OOPSLA-track
Ben L. Titzer Google Germany Committee Member in Program Committee within the ICOOOLPS-track
Joyce Tokar Raytheon Technologies Committee Member in Program Committee within the HILT-track
John Toman University of Washington, Seattle United States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Emina Torlak University of Washington United States Committee Member in Steering Committee for SPLASH 2020
Matías Toro University of Chile Author of Abstracting gradual references within the Research Papers-track in ECOOP 2020
Massimo Torquati Computer Science Department - University of Pisa Committee Member in Program Committee within the AGERE-track
Laurence Tratt 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 Committee Member in External Review Committee within the ECOOP Research Papers-track Committee Member in Steering Committee within the DLS-track Program Co-Chair in Organizing Committee within the SLE-track
Alix Trieu Aarhus University Denmark Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Yuya Tsuda Kyoto University Japan Author of Space-Efficient Gradual Typing in Coercion-Passing Style within the Research Papers-track in ECOOP 2020
Franklyn Turbak Wellesley College United States Committee Member in Program Committee within the HATRA-track
Alexi Turcotte Northeastern University United States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Naoyasu Ubayashi Kyushu University Japan Committee Member in Program Committee (to be completed) within the GPCE-track
Mattias Ulbrich Karlsruhe Institute of Technology Germany Programme Committee in Program Committee within the FTfJP-track
Ganesha Upadhyaya Harmony.one United States Sponsorship Chair in Organizing Committee for SPLASH 2020 Committee Member in External Review Committee within the SPLASH OOPSLA-track
Caterina Urban INRIA & École Normale Supérieure France Committee Member in Program Committee within the SAS-track Committee Member in Reviewers/Judges within the SPLASH Student Research Competition-track
Viktor Vafeiadis MPI-SWS, Germany 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 Research Papers-track in ECOOP 2020
Marco Tulio Valente Federal University of Minas Gerais, Brazil Committee Member in Program Committee within the SySEPL-track
Pedro Valero IMDEA Software Institute, Spain Spain Committee Member in Artifact Evaluation Committee within the SAS-track
Tom Van Cutsem Nokia Bell Labs Belgium PC Member in Program Committee within the REBLS-track
Peter Van Roy Université catholique de Louvain Belgium Program Chair in Program Chair within the LPOP-track
Eric Van Wyk University of Minnesota, USA United States Committee Member in Program Committee within the SLE-track
Sam Van den Vonder Vrije Universiteit Brussel Belgium Author of Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model within the Research Papers-track in ECOOP 2020 Author of Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model within the Artifacts-track in ECOOP 2020
Alexa VanHattum Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Wim Vanderbauwhede University of Glasgow Author of A Framework for Resource Dependent EDSLs in a Dependently Typed Language within the Research Papers-track in ECOOP 2020 Author of A Framework for Resource Dependent EDSLs in a Dependently-Typed Language (Artifact) within the Artifacts-track in ECOOP 2020
Jyothi Vedurada Microsoft Research India Artifact Evaluation Chair in Artifact Evaluation Committee within the SAS-track Artifact Evaluation Chair in Organizing Committee within the SAS-track
Didier Verna EPITA / LRDE France Onward! Essays Chair in Organizing Committee for SPLASH 2020 Committee Member in Onward! Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track PC Chair in Program Committee within the SPLASH Onward! Essays-track
Lea Verou MIT-CSAIL PC Member in Program Committee within the LIVE-track
Jan Verschelde University of Illinois at Chicago United States Committee Member in Program Committee within the HILT-track
Jules Villard Facebook London United Kingdom Committee Member in Program Committee within the TAPAS-track
Eelco Visser Delft University of Technology Netherlands Chair in Steering Committee for SPLASH 2020 Committee Member in Review Committee within the SPLASH OOPSLA-track
Jan Vitek Northeastern University United States Virtualization Chair in Organizing Committee for SPLASH 2020 Committee Member in Steering Committee for SPLASH 2020 Workshops Co-Chair in Organizing Committee for ECOOP 2020 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 Co-chair in Organizing Committee within the SySEPL-track Co-chair in Chairs within the ECOOP Workshops-track
Tomas Vojnar Brno University of Technology Czech Republic Committee Member in Program Committee within the SAS-track
Markus Völter itemis/independent Committee Member in Program Committee within the SLE-track
Philip Wadler University of Edinburgh, UK United Kingdom Committee Member in Program Committee within the Scala-track
Richard Wai ANNEXI-STRAYLINE Canada Committee Member in Organizing Committee within the HILT-track Committee Member in Program Committee within the HILT-track
Weihang Wang University at Buffalo, SUNY United States Committee Member in External Review Committee within the SPLASH OOPSLA-track
David Warren Stony Brook University United States General Chair in General Chairs within the LPOP-track
Harumi Watanabe Tokai University Japan Committee Member in Program Committee within the COP-track
Takuo Watanabe Tokyo Institute of Technology Japan PC Member in Program Committee within the REBLS-track
Hillel Wayne Independent Consultant United States Committee Member in Program Committee within the HATRA-track
Heike Wehrheim Paderborn University Germany 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
Marcel Weiher Hasso-Plattner-Institut (HPI), Germany Germany Committee Member in Program Committee within the SPLASH Onward! Papers-track
Aaron Weiss Northeastern University United States Committee Member in Organizing Committee within the IWACO-track
Guannan Wei Purdue University Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Adam Welc Uber Technologies United States Committee Member in Steering Committee within the VMIL-track Committee Member in Review Committee within the SPLASH OOPSLA-track
John Wickerson Imperial College London United Kingdom Committee Member in Review Committee within the SPLASH OOPSLA-track
Anna-Katharina Wickert TU Darmstadt, Germany Germany Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Anton Wijs Eindhoven University of Technology Netherlands Author of Towards Verified Construction of Correct and Optimised GPU Software within the FTfJP-track in FTfJP 2020 Programme Committee in Program Committee within the FTfJP-track
Daniel Winograd-Cort Target Corp United States PC Member in Program Committee within the REBLS-track
Mario Wolczko Oracle Labs United States Organizer of Polyglot Programming within the Tutorials-track in ECOOP 2020
James Worrell University of Oxford United Kingdom Invited Speaker of James Worrell within the SAS 2020 - 27th Static Analysis Symposium-track in SAS 2020 Invited Speaker in Invited Speakers within the SAS-track
Tobias Wrigstad Uppsala University, Sweden Author of Dalarna: A Simplistic Capability-Based Dynamic Language Design For Data Race Freedom within the FTfJP-track in FTfJP 2020 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 Implementation of SHAPES case studies within the Artifacts-track in ECOOP 2020 Committee Member in Program Committee within the ECOOP Research Papers-track Organizer in Organizing Committee within the SOOP-track
Ningning Xie The University of Hong Kong China Author of Row and Bounded Polymorphism via Disjoint Polymorphism within the Research Papers-track in ECOOP 2020
Shale Xiong ARM Research United Kingdom Author of Data Consistency in Transactional Storage Systems: A Centralised Semantics within the Research Papers-track in ECOOP 2020
Jingling Xue UNSW Sydney Australia Committee Member in Review Committee within the SPLASH OOPSLA-track
Jean Yang Carnegie Mellon University Keynote Speaker of Keynote Speaker within the Keynotes-track in SPLASH 2020
Junwen Yang University of Chicago China Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Xi Yang University of Sydney, Australia Australia Committee Member in External Review Committee within the SPLASH OOPSLA-track
Katherine Ye Carnegie Mellon University United States Committee Member in Program Committee within the HATRA-track
Kwangkeun Yi Seoul National University, South Korea Committee Member in Program Committee within the SAS-track
Nobuko Yoshida 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 Multiparty Session Programming with Global Protocol Combinators within the Artifacts-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 Multiparty Session Programming with Global Protocol Combinators within the Research Papers-track in ECOOP 2020
Shoji Yuen Nagoya University 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 Research Papers-track in ECOOP 2020
Enea Zaffanella University of Parma, Italy Italy Committee Member in Program Committee within the NSAD-track Committee Member in Program Committee within the SAS-track
Foivos S. Zakkak Red Hat, Inc. Committee Member in Program Committee within the VMIL-track
Marco Zanella University of Padova, Italy Italy Committee Member in Artifact Evaluation Committee within the SAS-track
Francesco Zappa Nardelli Inria France Committee Member in Program Committee within the DLS-track
Vadim Zaytsev University of Twente, The Netherlands Netherlands Committee Member in Program Committee (to be completed) within the GPCE-track Committee Member in Program Committee within the SLE-track
Uwe Zdun University of Vienna Austria Committee Member in Program Committee within the SLE-track
Chengyu Zhang East China Normal University China Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Fuyuan Zhang Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Yaoyu Zhao 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
Yunhui Zheng IBM T.J. Watson Research Center Committee Member in Review Committee within the SPLASH OOPSLA-track
Lukasz Ziarek SUNY Buffalo, USA United States Committee Member in Organizing Committee within the REBLS-track
Daming Zou Peking University Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Elena Zucca University of Genova 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 External Review Committee within the SPLASH OOPSLA-track Programme Committee in Program Committee within the FTfJP-track
Florian Zuleger TU Vienna Austria Committee Member in Program Committee within the SAS-track
Frank S. de Boer Centrum Wiskunde & Informatica, Leiden University Invited Speaker of History-based Specification and Verification of Java Collections in KeY within the FTfJP-track in FTfJP 2020 Committee Member in Organizing Committee within the VORTEX-track
Juan de Lara Universidad Autónoma de Madrid Spain Program Co-Chair in Organizing Committee within the SLE-track
Oege de Moor Semmle Keynote Speaker of Keynote Speaker within the Keynotes-track in SPLASH 2020
Jan de Muijnck-Hughes University of Glasgow United Kingdom Author of A Framework for Resource Dependent EDSLs in a Dependently Typed Language within the Research Papers-track in ECOOP 2020 Author of A Framework for Resource Dependent EDSLs in a Dependently-Typed Language (Artifact) within the Artifacts-track in ECOOP 2020
Petra van den Bos University of Twente, The Netherlands Netherlands Committee Member in Program Committee within the FTfJP-track
Tijs van der Storm CWI & University of Groningen, Netherlands Netherlands 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 SPLASH Onward! Papers-track Committee Member in Program Committee within the SLE-track
Ezgi Çiçek Facebook London Invited Speaker of Ezgi Çiçek within the SAS 2020 - 27th Static Analysis Symposium-track in SAS 2020 PC Member in Program Committee within the LIVE-track Invited Speaker in Invited Speakers within the SAS-track

SPLASH 2020 Contributors

Results (609)

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposiums