ECOOP 2020 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Affiliation

Name

Results (276)

Wolfgang Ahrendt Chalmers University of Technology Sweden Programme Committee in Program Committee within the FTfJP-track
Saba Alimadadi Simon Fraser University Canada Committee Member in Program Committee within the SySEPL-track
Karim Ali University of Alberta Author of Toward a Simpler Syntactic Soundness for DOT (Student Talk) within the Scala-track in Scala 2020 Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Program Committee within the SySEPL-track
Nada Amin Harvard University United States Conference Chair in Program Committee within the Scala-track Conference Chair in Organizing 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
Mauricio Aniche Delft University of Technology, Netherlands Co-chair in Organizing Committee within the SySEPL-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
Mohammadreza Ashouri University of Potsdam, Germany Germany Author of Asterisk: Secure Programming Language for Smart Contracts (Student Talk) within the Scala-track in Scala 2020 Author of Kaizen: A Scalable Concolic Fuzzing Tool for Scala (Extended Abstract) within the Scala-track in Scala 2020
Casper Bach Poulsen Delft University of Technology Committee Member in Program Committee within the SySEPL-track
Mohamad Barbar University of Technology, Sydney Author of Flow-Sensitive Type Based Heap Cloning (Artifact) within the Artifacts-track in ECOOP 2020 Author of Flow-Sensitive Type-Based Heap Cloning within the Research Papers-track in ECOOP 2020
Pietro Barbieri Università di Genova Author of An inductive abstract semantics for coFJ within the FTfJP-track in FTfJP 2020 Author of Sound regular corecursion in coFJ within the Research Papers-track in ECOOP 2020
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
Alexandre Bergel University of Chile Chile Committee Member in Program Committee within the COP-track
Aggelos Biboudis EPFL, Switzerland Switzerland Author of Semantics-Preserving Inlining for Metaprogramming within the Scala-track in Scala 2020
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 Author of Row and Bounded Polymorphism via Disjoint Polymorphism within the Posters-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 United Kingdom Author of A Framework for Resource Dependent EDSLs in a Dependently-Typed Language (Artifact) within the Artifacts-track in ECOOP 2020 Author of A Framework for Resource Dependent EDSLs in a Dependently Typed Language within the Research Papers-track in ECOOP 2020
Oliver Bračevac Purdue University United States Committee Member in Program Committee within the Scala-track
Lubomír Bulej Charles University Czech Republic Committee Member in Organizing Committee within the ICOOOLPS-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 Author of Data Consistency in Transactional Storage Systems: A Centralised Semantics within the Posters-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
Marsha Chechik University of Toronto Canada Committee Member in Program Committee within the SySEPL-track
Shiping Chen Data61 at CSIRO, Australia / UNSW, Australia Australia Author of Flow-Sensitive Type Based Heap Cloning (Artifact) within the Artifacts-track in ECOOP 2020 Author of Flow-Sensitive Type-Based Heap Cloning within the Research Papers-track in ECOOP 2020
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
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 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 Author of Owicki-Gries Reasoning for C11 RAR within the Posters-track in ECOOP 2020
Eva Darulova MPI-SWS, Germany Author of Towards a Sound Approximating Compiler for Numerical Kernels (Keynote) within the Scala-track in Scala 2020 Invited Speaker in Invited Speakers within the Scala-track
Joeri De Koster Vrije Universiteit Brussel, Belgium Belgium Author of Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model within the Artifacts-track in ECOOP 2020 Author of Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model within the Research Papers-track in ECOOP 2020
Wolfgang De Meuter Vrije Universiteit Brussel Author of Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model within the Artifacts-track in ECOOP 2020 Author of Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model within the Research Papers-track in ECOOP 2020 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 Artifacts-track in ECOOP 2020 Author of Don't Panic! Better, Fewer, Syntax Errors for LR Parsers within the Research Papers-track in ECOOP 2020 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
Cynthia Disenfeld Foretellix and Open University of Israel Israel Committee Member in Program Committee within the COP-track
Sébastien Doeraene EPFL, Switzerland Switzerland Author of Semantics-Preserving Inlining for Metaprogramming within the Scala-track in Scala 2020
Simon Doherty University of Sheffield Author of Owicki-Gries Reasoning for C11 RAR within the Research Papers-track in ECOOP 2020 Author of Owicki-Gries Reasoning for C11 RAR within the Artifacts-track in ECOOP 2020 Author of Owicki-Gries Reasoning for C11 RAR within the Posters-track in ECOOP 2020
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 Organizer in Organizing Committee within the PRIDE-track Organizer in Organizing Committee within the JSTools-track
Philipp Dominik Schubert Heinz Nixdorf Institut, Paderborn University Germany Doctoral Symposium Co-Chair in Organizing Committee for ECOOP 2020 Doctoral Symposium Co-Chair in Organizing Committee within the ECOOP Doctoral Symposium-track
Alastair Donaldson Imperial College London United Kingdom Author of Putting Randomized Compiler Testing into Production within the Artifacts-track in ECOOP 2020 Author of Putting Randomized Compiler Testing into Production within the Research Papers-track in ECOOP 2020 Author of Test-Case Reduction via Test-Case Generation: Insights From the Hypothesis Reducer within the Research Papers-track in ECOOP 2020 Author of Test-Case Reduction via Test-Case Generation: Insights From the Hypothesis Reducer within the Posters-track in ECOOP 2020 Committee Member in Academic Panel within the ECOOP Doctoral Symposium-track
Brijesh Dongol University of Surrey Author of Owicki-Gries Reasoning for C11 RAR within the Research Papers-track in ECOOP 2020 Author of Owicki-Gries Reasoning for C11 RAR within the Artifacts-track in ECOOP 2020 Author of Owicki-Gries Reasoning for C11 RAR within the Posters-track in ECOOP 2020
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 Reshape your layouts, not your programs: A safe language extension for better cache locality within the Posters-track in ECOOP 2020 Author of Implementation of SHAPES case studies within the Artifacts-track in ECOOP 2020
Benoît Duhoux Université catholique de Louvain, Belgium Belgium Committee Member in Program Committee within the COP-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 Reshape your layouts, not your programs: A safe language extension for better cache locality within the Posters-track in ECOOP 2020 Author of Implementation of SHAPES case studies within the Artifacts-track in ECOOP 2020
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 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
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
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
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
Ismael Figueroa University of Valparaíso Chile Committee Member in Program Committee within the COP-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 University of Glasgow United Kingdom Author of Model-View-Update-Communicate: Session Types meet the Elm Architecture within the Artifacts-track in ECOOP 2020 Author of Model-View-Update-Communicate: Session Types meet the Elm Architecture within the Research Papers-track in ECOOP 2020
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 Author of Reshape your layouts, not your programs: A safe language extension for better cache locality within the Posters-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 Organizer in Organizing Committee within the SOOP-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
Julia Gabet Imperial College London Author of Static Race Detection and Mutex Safety and Liveness for Go Programs within the Research Papers-track in ECOOP 2020 Author of Static Race Detection and Mutex Safety and Liveness for Go Programs (Artifact) within the Artifacts-track in ECOOP 2020 Author of Static Race Detection and Mutex Safety and Liveness for Go Programs within the Posters-track in ECOOP 2020
Richard P. Gabriel Dream Songs, Inc. & HPI Committee Member in Program Committee within the ECOOP Research Papers-track
Philippa Gardner Imperial College London United Kingdom Author of A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications within the Research Papers-track in ECOOP 2020 Author of A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications within the Artifacts-track in ECOOP 2020 Author of Data Consistency in Transactional Storage Systems: A Centralised Semantics within the Research Papers-track in ECOOP 2020 Author of Data Consistency in Transactional Storage Systems: A Centralised Semantics within the Posters-track in ECOOP 2020
Isaac Oscar Gariano Author of Dalarna: A Simplistic Capability-Based Dynamic Language Design For Data Race Freedom within the FTfJP-track in FTfJP 2020
Jeremy Gibbons Department of Computer Science, University of Oxford United Kingdom Committee Member in External Review Committee within the ECOOP Research Papers-track
Milos Gligoric University of Texas at Austin, USA United States Committee Member in Program Committee within the SySEPL-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 Designing with Static Capabilities and Effects within the Research Papers-track in ECOOP 2020 Author of Lifting Sequential Effects to Control Operators within the Research Papers-track in ECOOP 2020
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 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
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
Paula Herber University of Munster, Germany Germany Programme Committee in Program Committee within the FTfJP-track
Ben Hermann Technical University Dortmund Germany Committee Member in Academic Panel within the ECOOP Doctoral Symposium-track Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Felienne Hermans Leiden University Netherlands Committee Member in Program Committee within the ECOOP Research Papers-track
Pinjia He ETH Zurich, Switzerland Switzerland Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Hans-Dieter Hiep Author of History-based Specification and Verification of Java Collections in KeY within the FTfJP-track in FTfJP 2020
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
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
Tony Hosking Australian National University / Data61 Australia Committee Member in Program Committee within the ICOOOLPS-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 Author of A Type-Directed Operational Semantics for a Calculus with a Merge Operator within the Posters-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 Author of Towards Verified Construction of Correct and Optimised GPU Software within the FTfJP-track in FTfJP 2020
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
Keigo Imai Gifu University Author of Multiparty Session Programming with Global Protocol Combinators within the Research Papers-track in ECOOP 2020 Author of Multiparty Session Programming with Global Protocol Combinators within the Artifacts-track in ECOOP 2020 Author of Multiparty Session Programming with Global Protocol Combinators within the Posters-track in ECOOP 2020
Bart Jacobs imec-DistriNet, Dept. CS, KU Leuven Belgium Author of A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit within the FTfJP-track in FTfJP 2020
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
Ifaz Kabir University of Alberta, Canada Canada Author of Toward a Simpler Syntactic Soundness for DOT (Student Talk) within the Scala-track in Scala 2020
Tetsuo Kamina Oita University Japan Committee Member in Program Committee within the COP-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
Nikolai Kosmatov CEA List France Programme Committee in Program Committee within the FTfJP-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 Author of ConSysT: Tunable, Safe Consistency meets Object-Oriented Programming within the FTfJP-track in FTfJP 2020
Shadaj Laddad University of California, Berkeley Author of ScalaPy: Seamless Python Interoperability for Cross-Platform Scala Programs within the Scala-track in Scala 2020
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 Research Papers-track in ECOOP 2020 Author of Reconciling Event Structures with Modern Multiprocessors within the Artifacts-track in ECOOP 2020 Author of Reconciling Event Structures with Modern Multiprocessors within the Posters-track in ECOOP 2020
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 Academic Panel within the ECOOP Doctoral Symposium-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
Maya Lekova Google, Germany Germany Committee Member in Program Committee within the ICOOOLPS-track
David Leopoldseder Oracle Labs Austria Committee Member in Program Committee within the ICOOOLPS-track
Ondřej Lhoták University of Waterloo Canada Author of Blame for Null within the Artifacts-track in ECOOP 2020 Author of Scala with Explicit Nulls within the Artifacts-track in ECOOP 2020 Author of Reference immutability for DOT within the Research Papers-track in ECOOP 2020 Author of Scala with Explicit Nulls within the Research Papers-track in ECOOP 2020 Author of A Semantics for the Essence of React within the Research Papers-track in ECOOP 2020 Author of Blame for Null within the Research Papers-track in ECOOP 2020
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
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
David H. Lorenz Open University and Technion IIT Committee Member in Program Committee within the COP-track
Linghui Luo Paderborn University, Germany Organizer in Organizing Committee within the PRIDE-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
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
Mariana Marasoiu University of Cambridge United Kingdom Committee Member in Program Committee within the COP-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
Hidehiko Masuhara Tokyo Institute of Technology Japan 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
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
Nenad Medvidović University of Southern California, USA 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 Research Papers-track in ECOOP 2020 Author of Reconciling Event Structures with Modern Multiprocessors within the Artifacts-track in ECOOP 2020 Author of Reconciling Event Structures with Modern Multiprocessors within the Posters-track in ECOOP 2020
Kim Mens Université Catholique de Louvain, Belgium Belgium Committee Member in Program Committee within the COP-track
Alexander Merritt Independent Author of ONNX-Scala: Typeful, Functional Deep Learning / Dotty Meets an Open AI Standard (Open-Source Talk) within the Scala-track in Scala 2020
Ana Milanova Rensselaer Polytechnic Institute United States 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
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 Author of Salsa: Static Analysis of Serialization Features within the FTfJP-track in FTfJP 2020
Ragnar Mogk Technische Universität Darmstadt Committee Member in Program Committee within the Scala-track
Evgenii Moiseenko St. Petersburg University / JetBrains Research Author of Reconciling Event Structures with Modern Multiprocessors within the Research Papers-track in ECOOP 2020 Author of Reconciling Event Structures with Modern Multiprocessors within the Artifacts-track in ECOOP 2020 Author of Reconciling Event Structures with Modern Multiprocessors within the Posters-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 Université — LIP6 France Author of Static Type Analysis by Abstract Interpretation of Python Programs within the Artifacts-track in ECOOP 2020 Author of Static Type Analysis by Abstract Interpretation of Python Programs within the Research Papers-track in ECOOP 2020
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 Organizer in Organizing Committee within the JSTools-track
Rumyana Neykova Brunel University London United Kingdom Author of Multiparty Session Programming with Global Protocol Combinators within the Research Papers-track in ECOOP 2020 Author of Multiparty Session Programming with Global Protocol Combinators within the Artifacts-track in ECOOP 2020 Author of Multiparty Session Programming with Global Protocol Combinators within the Posters-track in 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 Organizer of Polyglot Programming within the Tutorials-track in ECOOP 2020 Committee Member in Organizing Committee within the ICOOOLPS-track
Abel Nieto Aarhus University Canada Author of Blame for Null within the Artifacts-track in ECOOP 2020 Author of Scala with Explicit Nulls within the Artifacts-track in ECOOP 2020 Author of Scala with Explicit Nulls within the Research Papers-track in ECOOP 2020 Author of Blame for Null within the Research Papers-track in ECOOP 2020
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 Programme Committee in Program Committee within the FTfJP-track
Martin Odersky EPFL, Switzerland Switzerland Author of Semantics-Preserving Inlining for Metaprogramming within the Scala-track in Scala 2020
Bjarno Oeyen Vrije Universiteit Brussel Belgium Author of Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model within the Artifacts-track in ECOOP 2020 Author of Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model within the Research Papers-track in ECOOP 2020
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 Author of Row and Bounded Polymorphism via Disjoint Polymorphism within the Posters-track in ECOOP 2020 Author of A Type-Directed Operational Semantics for a Calculus with a Merge Operator within the Posters-track in ECOOP 2020
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
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 Organizer of SqueakLive within the Tutorials-track in 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
Roly Perera The Alan Turing Institute United Kingdom Committee Member in Program Committee within the COP-track
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 Posters committee within the ECOOP Posters-track 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 Research Papers-track in ECOOP 2020 Author of Reconciling Event Structures with Modern Multiprocessors within the Artifacts-track in ECOOP 2020 Author of Reconciling Event Structures with Modern Multiprocessors within the Posters-track in 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
Violet Ka I Pun Programme Committee in Program Committee within the FTfJP-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 Author of Test-Case Reduction via Test-Case Generation: Insights From the Hypothesis Reducer within the Posters-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 Author of Data Consistency in Transactional Storage Systems: A Centralised Semantics within the Posters-track in ECOOP 2020
Stefan Ramson Hasso Plattner Institute, Germany Committee Member in Program Committee within the COP-track
Marianna Rapoport University of Waterloo Canada Author of Blame for Null within the Artifacts-track in ECOOP 2020 Author of Blame for Null within the Research Papers-track in ECOOP 2020 Committee Member in Program Committee within the IWACO-track
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
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
Thierry Renaux Vrije Universiteit Brussel Author of Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model within the Artifacts-track in ECOOP 2020 Author of Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model within the Research Papers-track in ECOOP 2020
Julien Richard-Foy EPFL Switzerland Committee Member in Program Committee within the Scala-track
Gregor Richards University of Waterloo Canada Workshops Co-Chair in Organizing Committee for ECOOP 2020 Author of Blame for Null within the Artifacts-track in ECOOP 2020 Author of Blame for Null within the Research Papers-track in ECOOP 2020
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 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
Abhik Roychoudhury National University of Singapore, Singapore Committee Member in Program Committee within the SySEPL-track
Cindy Rubio-González University of California, Davis United States Committee Member in Program Committee within the SySEPL-track
Sukyoung Ryu KAIST South Korea Organizer in Organizing Committee within the JSTools-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
Guido Salvaneschi University of St. Gallen Switzerland 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 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
Anand Ashok Sawant University of California, Davis Committee Member in Program Committee within the SySEPL-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 Author of Row and Bounded Polymorphism via Disjoint Polymorphism within the Posters-track in ECOOP 2020
Chris Seaton Shopify United Kingdom Committee Member in Program Committee within the ICOOOLPS-track
Koushik Sen University of California, Berkeley United States Author of ScalaPy: Seamless Python Interoperability for Cross-Platform Scala Programs within the Scala-track in Scala 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
John L. Singleton Soar Technology, Inc. United States Programme Committee in Program Committee within the FTfJP-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
Nicolas Stucki EPFL, Switzerland Switzerland Author of Semantics-Preserving Inlining for Metaprogramming within the Scala-track in Scala 2020
Yulei Sui University of Technology Sydney, Australia Australia Author of Flow-Sensitive Type Based Heap Cloning (Artifact) within the Artifacts-track in ECOOP 2020 Author of Flow-Sensitive Type-Based Heap Cloning within the Research Papers-track in ECOOP 2020
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
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
Marcel Taeumel Hasso Plattner Institute Germany Organizer of SqueakLive within the Tutorials-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 Reshape your layouts, not your programs: A safe language extension for better cache locality within the Research Papers-track in ECOOP 2020 Author of Reshape your layouts, not your programs: A safe language extension for better cache locality within the Posters-track in ECOOP 2020 Author of Implementation of SHAPES case studies within the Artifacts-track in ECOOP 2020
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 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
Ben L. Titzer Google Germany Committee Member in Program Committee within the ICOOOLPS-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 Artifacts-track in ECOOP 2020 Author of Don't Panic! Better, Fewer, Syntax Errors for LR Parsers within the Research Papers-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
Mattias Ulbrich Karlsruhe Institute of Technology Germany Programme Committee in Program Committee within the FTfJP-track
Viktor Vafeiadis MPI-SWS, Germany Author of Reconciling Event Structures with Modern Multiprocessors within the Research Papers-track in ECOOP 2020 Author of Reconciling Event Structures with Modern Multiprocessors within the Artifacts-track in ECOOP 2020 Author of Reconciling Event Structures with Modern Multiprocessors within the Posters-track in ECOOP 2020
Marco Tulio Valente Federal University of Minas Gerais, Brazil Committee Member in Program Committee within the SySEPL-track
Sam Van den Vonder Vrije Universiteit Brussel Belgium Author of Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model within the Artifacts-track in ECOOP 2020 Author of Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model within the Research Papers-track in ECOOP 2020
Wim Vanderbauwhede University of Glasgow Author of A Framework for Resource Dependent EDSLs in a Dependently-Typed Language (Artifact) within the Artifacts-track in ECOOP 2020 Author of A Framework for Resource Dependent EDSLs in a Dependently Typed Language within the Research Papers-track in ECOOP 2020
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 Co-chair in Organizing Committee within the SySEPL-track
Philip Wadler University of Edinburgh, UK United Kingdom Committee Member in Program Committee within the Scala-track
Harumi Watanabe Tokai University Japan Committee Member in Program Committee within the COP-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 Author of Owicki-Gries Reasoning for C11 RAR within the Posters-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 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
Mario Wolczko Oracle Labs United States Organizer of Polyglot Programming within the Tutorials-track in ECOOP 2020
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 Reshape your layouts, not your programs: A safe language extension for better cache locality within the Posters-track in ECOOP 2020 Author of Implementation of SHAPES case studies within the Artifacts-track in ECOOP 2020 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 Author of Row and Bounded Polymorphism via Disjoint Polymorphism within the Posters-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 Author of Data Consistency in Transactional Storage Systems: A Centralised Semantics within the Posters-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 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 Author of Multiparty Session Programming with Global Protocol Combinators within the Artifacts-track in ECOOP 2020 Author of Multiparty Session Programming with Global Protocol Combinators within the Posters-track in ECOOP 2020 Author of Static Race Detection and Mutex Safety and Liveness for Go Programs within the Posters-track in ECOOP 2020
Shoji Yuen Nagoya University Author of Multiparty Session Programming with Global Protocol Combinators within the Research Papers-track in ECOOP 2020 Author of Multiparty Session Programming with Global Protocol Combinators within the Artifacts-track in ECOOP 2020 Author of Multiparty Session Programming with Global Protocol Combinators within the Posters-track in ECOOP 2020
Chengyu Zhang East China Normal University China Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Fuyuan Zhang MPI-SWS 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 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 Programme Committee in Program Committee within the FTfJP-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
Jan de Muijnck-Hughes University of Glasgow United Kingdom Author of A Framework for Resource Dependent EDSLs in a Dependently-Typed Language (Artifact) within the Artifacts-track in ECOOP 2020 Author of A Framework for Resource Dependent EDSLs in a Dependently Typed Language within the Research Papers-track in ECOOP 2020
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

ECOOP 2020 Contributors

Results (276)

Tracks

Workshops

Co-hosted Symposiums