ECOOP 2020 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Affiliation

Name

Results (215)

Karim Ali University of Alberta Committee Member in Program Committee within the ECOOP Research Papers-track
Nada Amin Harvard University United States Conference Chair in Program Committee within the Scala-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 Co-chair in Organizing Committee within the VORTEX-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
Ellen Arteca Northeastern University United States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-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 Sound regular corecursion in coFJ within the Research Papers-track in ECOOP 2020
Alexandre Bartel University of Luxembourg Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Julia Belyakova Northeastern University, USA Russia Diversity Chair in Organizing Committee for ECOOP 2020
Xuan Bi The University of Hong Kong Author of Row and Bounded Polymorphism via Disjoint Polymorphism within the Research Papers-track in ECOOP 2020
Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM Sponsorship Chair in Organizing Committee for ECOOP 2020
Carl Friedrich Bolz-Tereick Germany Committee Member in Program Committee within the ECOOP Research Papers-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
Elias Castegren KTH Royal Institute of Technology Sweden Committee Member in Organizing Committee within the IWACO-track
Andrea Cerone Football Radar Author of Data Consistency in Transactional Storage Systems: A Centralised Semantics within the Research Papers-track in ECOOP 2020
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
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
Shigeru Chiba The University of Tokyo Japan Committee Member in Program Committee within the ECOOP Research Papers-track
Youyou Cong Tokyo Institute of Technology Japan Committee Member in Program Committee within the Scala-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
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 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 Artifacts-track in ECOOP 2020 Author of Owicki-Gries Reasoning for C11 RAR within the Research Papers-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
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
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
Simon Doherty University of Sheffield Author of Owicki-Gries Reasoning for C11 RAR within the Artifacts-track in ECOOP 2020 Author of Owicki-Gries Reasoning for C11 RAR within the Research Papers-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
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 Artifacts-track in ECOOP 2020 Author of Owicki-Gries Reasoning for C11 RAR within the Research Papers-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 Implementation of SHAPES case studies within the Artifacts-track in ECOOP 2020 Author of Reshape your layouts, not your programs: A safe language extension for better cache locality within the Research Papers-track in ECOOP 2020
Susan Eisenbach Imperial College London United Kingdom Author of Implementation of SHAPES case studies within the Artifacts-track in ECOOP 2020 Author of Reshape your layouts, not your programs: A safe language extension for better cache locality within the Research Papers-track in ECOOP 2020
Sebastian Erdweg JGU Mainz Germany Committee Member in Program Committee within the ECOOP Research Papers-track
Erik Ernst Google Inc. Denmark Committee Member in External Review Committee within the ECOOP Research Papers-track
Nafise Eskandani Masoule Technical University of Darmstadt Germany Doctoral Symposium Co-Chair in Organizing Committee for ECOOP 2020 Doctoral Symposium Co-Chair in Organizing Committee within the ECOOP Doctoral Symposium-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
Tim Felgentreff Oracle Labs, Potsdam Germany Web Technology Chair in Organizing Committee for ECOOP 2020 Committee Member in Program Committee within the ECOOP Research Papers-track
Kiko Fernandez-Reyes Uppsala University Sweden Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Matthew Flatt University of Utah, USA Committee Member in External Review Committee within the ECOOP Research Papers-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 Artifacts-track in ECOOP 2020 Author of Model-View-Update-Communicate: Session Types meet the Elm Architecture within the Research Papers-track in ECOOP 2020
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
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 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
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
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
Jeremy Gibbons Department of Computer Science, University of Oxford United Kingdom Committee Member in External Review Committee within the ECOOP Research Papers-track
Anitha Gollamudi Harvard University Committee Member in Program Committee within the ECOOP Research Papers-track
Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium Belgium Committee Member in Program Committee within the ECOOP Research Papers-track
Colin Gordon Drexel University United States 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
Neville Grech 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
Erin Greenwood-Thessman
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
Philipp Haller KTH Royal Institute of Technology Germany Committee Member in Program Committee within the ECOOP Research Papers-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
Byron Hawkins INRIA Rennes France Committee Member in Artifact Evaluation Committee within the ECOOP 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
Pinjia He ETH Zurich Switzerland Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Hans-Dieter Hiep
Robert Hirschfeld Hasso-Plattner-Institut (HPI), Germany Germany Program Chair in Organizing Committee for ECOOP 2020 Chair in Program Committee within the ECOOP Research Papers-track Chair in External Review Committee within the ECOOP Research Papers-track
Michael Homer Victoria University of Wellington
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
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
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
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
Bart Jacobs imec-DistriNet, Dept. CS, KU Leuven Belgium
Reese Jones
Sung-Shik Jongmans Open University of the Netherlands
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
Aarti Kashyap University of British Columbia Canada Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Stephen Kell University of Kent Committee Member in Program Committee within the ECOOP Research Papers-track
Raffi Khatchadourian City University of New York (CUNY) Hunter College United States Committee Member in Program Committee within the ECOOP Research Papers-track
Oleg Kiselyov Committee Member in Program Committee within the Scala-track
Neel Krishnaswami Computer Laboratory, University of Cambridge Committee Member in Program Committee within the IWACO-track
Stefan Krüger Paderborn University Germany Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Viktor Kunčak EPFL, Switzerland Switzerland Committee Member in Program Committee within the Scala-track
Mirko Köhler Technische Universität Darmstadt
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
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 Academic Panel within the ECOOP Doctoral Symposium-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
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 Committee Member in Program Committee within the ECOOP Research Papers-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
Crista Lopes University of California, Irvine Committee Member in External Review Committee within the ECOOP Research Papers-track
Magnus Madsen Aarhus University Denmark Author of A Semantics for the Essence of React within the Research Papers-track in ECOOP 2020
Petar Maksimović Imperial College London, UK Author of A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications within the Research Papers-track in ECOOP 2020 Author of A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications within the Artifacts-track in ECOOP 2020
Alessandro Margara Politecnico di Milano Italy
Hidehiko Masuhara Tokyo Institute of Technology Japan Committee Member in Program Committee within the ECOOP Research Papers-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
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
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
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
Mehdi Mirakhorli Rochester Institute of Technology United States
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
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
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
Guillaume Munch-Maccagnoni Inria France Committee Member in Program Committee within the IWACO-track
Anders Møller Aarhus University Denmark Author of Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript within the Artifacts-track in ECOOP 2020 Author of Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript within the Research Papers-track in ECOOP 2020
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
Benjamin Barslev Nielsen Aarhus University Denmark Author of Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript within the Artifacts-track in ECOOP 2020 Author of Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript within the Research Papers-track in ECOOP 2020
Fabio Niephaus Hasso Plattner Institute, University of Potsdam Germany Publicity Co-Chair & Virtualization Co-Chair in Organizing Committee for ECOOP 2020
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
James Noble Victoria University of Wellington New Zealand Committee Member in Program Committee within the ECOOP Research 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
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 The Duality of Subtyping (artifact) within the Artifacts-track in ECOOP 2020 Author of A Type-Directed Operational Semantics for a Calculus with a Merge Operator within the Artifacts-track in ECOOP 2020 Author of A Type-Directed Operational Semantics for a Calculus with a Merge Operator within the Research Papers-track in ECOOP 2020 Author of Row and Bounded Polymorphism via Disjoint Polymorphism within the Research Papers-track in ECOOP 2020
Klaus Ostermann University of Tübingen, Germany Germany Committee Member in Program Committee within the ECOOP Research 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
Jens Palsberg University of California, Los Angeles Committee Member in External Review Committee within the ECOOP Research Papers-track
Tobias Pape HPI Germany Publications Chair & Web Technology Chair in Organizing Committee for ECOOP 2020
Felix Pauck Paderborn University, Germany Germany Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
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
Tomas Petricek University of Kent United Kingdom Committee Member in External Review Committee within the ECOOP Research Papers-track
Benjamin C. Pierce University of Pennsylvania United States Committee Member in External Review Committee within the ECOOP Research Papers-track
Goran Piskachev Fraunhofer IEM Germany Posters Co-Chair in Organizing Committee for ECOOP 2020 Committee Member in Program Committee within the ECOOP Doctoral Symposium-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
Joe Gibbs Politz UC San Diego Committee Member in External Review Committee within the ECOOP Research Papers-track
Jon Pretty Propensive OÜ Poland Committee Member in Program Committee within the Scala-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
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
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
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
Patrick Rein Hasso Plattner Institute Germany Posters Co-Chair & Virtualization Co-Chair in Organizing Committee for ECOOP 2020 Committee Member in Program Committee within the ECOOP Research Papers-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
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
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 Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ECOOP Artifacts-track
Tiark Rompf Purdue University United States Committee Member in External Review Committee within the ECOOP Research Papers-track
Andrea Rosà University of Lugano, Switzerland Switzerland Committee Member in Artifact Evaluation Committee within the ECOOP 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
Joanna C. S. Santos Rochester Institute of Technology United States
Guido Salvaneschi Technische Universität Darmstadt Committee Member in Program Committee within the ECOOP Research Papers-track General Chair in Organizing Committee within the Scala-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
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
Georg Stefan Schmid EPFL, Switzerland Committee Member in Program Committee within the Scala-track
Tom Schrijvers KU Leuven Author of Row and Bounded Polymorphism via Disjoint Polymorphism within the Research Papers-track in ECOOP 2020
Manuel Serrano Inria, France Committee Member in Program Committee within the ECOOP Research Papers-track
Jeremy G. Siek Indiana University, USA United States Committee Member in Program Committee within the ECOOP Research Papers-track
Somesh Singh Indian Institute of Technology, Madras India Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Yannis Smaragdakis 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
Justin Smith Lafayette College United States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Zheng Jason Song Virginia Tech, USA Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Friedrich Steimann Fernuniversität Committee Member in Program Committee within the ECOOP Research Papers-track
Quentin Stiévenart Vrije Universiteit Brussel, Belgium Belgium Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-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
Alexander J. Summers The University of British Columbia Canada
Emma Söderberg Lund University Sweden Committee Member in Program Committee within the ECOOP Research Papers-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
Ruby Tahboub Purdue University United States Committee Member in Program Committee within the Scala-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
Alexandros Tasos Imperial College London Greece Author of Implementation of SHAPES case studies within the Artifacts-track in ECOOP 2020 Author of Reshape your layouts, not your programs: A safe language extension for better cache locality within the Research Papers-track in ECOOP 2020
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
Amin Timany Aarhus University Denmark
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
John Toman University of Washington, Seattle United States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Matías Toro University of Chile Author of Abstracting gradual references within the Research Papers-track in ECOOP 2020
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
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
Alexi Turcotte Northeastern University United States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-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
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
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
Jan Vitek Northeastern University United States Workshops Co-Chair in Organizing Committee for ECOOP 2020 Committee Member in Program Committee within the ECOOP Research Papers-track
Philip Wadler University of Edinburgh, UK United Kingdom Committee Member in Program Committee within the Scala-track
Heike Wehrheim Paderborn University Germany Author of Owicki-Gries Reasoning for C11 RAR within the Artifacts-track in ECOOP 2020 Author of Owicki-Gries Reasoning for C11 RAR within the Research Papers-track in ECOOP 2020
Aaron Weiss Northeastern University United States Committee Member in Organizing Committee within the IWACO-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
Tobias Wrigstad Uppsala University, Sweden Author of Implementation of SHAPES case studies within the Artifacts-track in ECOOP 2020 Author of Reshape your layouts, not your programs: A safe language extension for better cache locality within the Research Papers-track in ECOOP 2020 Committee Member in Program Committee within the ECOOP Research Papers-track
Ningning Xie Microsoft Research, USA 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
Junwen Yang University of Chicago China Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-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
Chengyu Zhang East China Normal University China Committee Member in Artifact Evaluation Committee within the ECOOP 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
Daming Zou Peking University Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Elena Zucca University of Genova 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
Frank S. de Boer Centrum Wiskunde & Informatica, Leiden University Committee Member in Organizing Committee within the VORTEX-track
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
Tijs van der Storm CWI & University of Groningen, Netherlands Netherlands Committee Member in Program Committee within the ECOOP Research Papers-track

ECOOP 2020 Contributors

Results (215)

Tracks

Workshops

Co-hosted Symposiums