ECOOP 2020 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (281)

A Wolfgang AhrendtAhrendt, Wolfgang Chalmers University of TechnologySweden Programme Committee in Program Committee within the FTfJP-track
Karim AliAli, Karim University of Alberta Session Chair of S-4 (part of ECOOP Research Papers) Toward a Simpler Syntactic Soundness for DOT (Student Talk) Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Program Committee within the SySEPL-track
Saba AlimadadiAlimadadi, Saba Simon Fraser UniversityCanada Committee Member in Program Committee within the SySEPL-track
Nada AminAmin, Nada Harvard UniversityUnited States Welcome to Scala 2020 Closing Scala 2020 Conference Chair in Program Committee within the Scala-track Conference Chair in Organizing Committee within the Scala-track
Davide AnconaAncona, Davide DIBRIS, University of Genova, ItalyItaly Session Chair of S-5 (part of ECOOP Research Papers) Session Chair of S-5 (part of ECOOP Research Papers) A big step from finite to infinite computations Sound regular corecursion in coFJ Committee Member in Program Committee within the ECOOP Research Papers-track Co-chair in Organizing Committee within the VORTEX-track
Mauricio AnicheAniche, Mauricio Delft University of Technology, Netherlands Co-chair in Organizing Committee within the SySEPL-track
Anastasios AntoniadisAntoniadis, Anastasios University of Athens, Greece Static Analysis of Shape in TensorFlow Programs Static Analysis of Shape in TensorFlow Programs
Maya ArmyanovaArmyanova, Maya Google, GermanyGermany Committee Member in Program Committee within the ICOOOLPS-track
Ellen ArtecaArteca, Ellen Northeastern UniversityUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Mohammadreza AshouriAshouri, Mohammadreza University of Potsdam, GermanyGermany Asterisk: Secure Programming Language for Smart Contracts (Student Talk) Kaizen: A Scalable Concolic Fuzzing Tool for Scala
B Casper Bach PoulsenBach Poulsen, Casper Delft University of Technology Committee Member in Program Committee within the SySEPL-track
Mohamad BarbarBarbar, Mohamad University of Technology, Sydney Flow-Sensitive Type-Based Heap Cloning Flow-Sensitive Type Based Heap Cloning (Artifact)
Pietro BarbieriBarbieri, Pietro Università di Genova An inductive abstract semantics for coFJ Sound regular corecursion in coFJ
Alexandre BartelBartel, Alexandre University of Luxembourg Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Julia BelyakovaBelyakova, Julia Northeastern University Diversity Chair in Organizing Committee for ECOOP 2020
Alexandre BergelBergel, Alexandre University of ChileChile Committee Member in Program Committee within the COP-track
Xuan BiBi, Xuan The University of Hong Kong Row and Bounded Polymorphism via Disjoint Polymorphism Row and Bounded Polymorphism via Disjoint Polymorphism
Aggelos BiboudisBiboudis, Aggelos EPFL Semantics-Preserving Inlining for Metaprogramming
Walter BinderBinder, Walter University of Lugano, Switzerland Committee Member in Program Committee within the COP-track
Eric BoddenBodden, Eric Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM Sponsorship Chair in Organizing Committee for ECOOP 2020
Carl Friedrich Bolz-TereickBolz-Tereick, Carl Friedrich Germany Session Chair of S-3 (part of ECOOP Research Papers) Committee Member in Program Committee within the ECOOP Research Papers-track
John BoylandBoyland, John Univeristy of Wisconsin, MilwaukeeUnited States Session Chair of M-1 (part of ECOOP Research Papers) Session Chair of M-3 (part of ECOOP Research Papers) Committee Member in Program Committee within the ECOOP Research Papers-track
Edwin BradyBrady, Edwin University of St. AndrewsUnited Kingdom A Framework for Resource Dependent EDSLs in a Dependently Typed Language A Framework for Resource Dependent EDSLs in a Dependently-Typed Language (Artifact)
Oliver BračevacBračevac, Oliver Purdue University Committee Member in Program Committee within the Scala-track
Lubomír BulejBulej, Lubomír Charles UniversityCzech Republic Committee Member in Organizing Committee within the ICOOOLPS-track
John Henry BurnsBurns, John Henry SUNY Binghamton, USA Adaptive Variables for Declarative UAV Planning
C Joanna C. S. SantosC. S. Santos, Joanna Rochester Institute of TechnologyUnited States Salsa: Static Analysis of Serialization Features
Elias CastegrenCastegren, Elias KTH Royal Institute of TechnologySweden Committee Member in Organizing Committee within the IWACO-track
Andrea CeroneCerone, Andrea Football Radar Data Consistency in Transactional Storage Systems: A Centralised Semantics
Angela ChangChang, Angela University of Waterloo Scala with Explicit Nulls Scala with Explicit Nulls
Marsha ChechikChechik, Marsha University of Toronto Committee Member in Program Committee within the SySEPL-track
Shiping ChenChen, Shiping Data61 at CSIRO, Australia / UNSW, AustraliaAustralia Flow-Sensitive Type-Based Heap Cloning Flow-Sensitive Type Based Heap Cloning (Artifact)
Shigeru ChibaChiba, Shigeru The University of TokyoJapan Session Chair of S-6 (part of ECOOP Research Papers) Session Chair of S-2 (part of ECOOP Research Papers) Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Program Committee within the COP-track
Youyou CongCong, Youyou Tokyo Institute of TechnologyJapan Committee Member in Program Committee within the Scala-track
Shaobo CuiCui, Shaobo The Duality of Subtyping (artifact) The Duality of Subtyping
D Theo D'HondtD'Hondt, Theo Vrije Universiteit BrusselBelgium Committee Member in Program Committee within the ECOOP Research Papers-track
Francesco DagninoDagnino, Francesco DIBRIS, University of Genova, ItalyItaly An inductive abstract semantics for coFJ A big step from finite to infinite computations Sound regular corecursion in coFJ Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Erin DahlgrenDahlgren, Erin Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Sadegh DalvandiDalvandi, Sadegh University of Surrey Owicki-Gries Reasoning for C11 RAR Owicki-Gries Reasoning for C11 RAR Owicki-Gries Reasoning for C11 RAR
Eva DarulovaDarulova, Eva MPI-SWS Towards a Sound Approximating Compiler for Numerical Kernels (Keynote) Keynote Speaker in Keynote within the Scala-track
Frank S. de Boerde Boer, Frank S. Centrum Wiskunde & Informatica, Leiden University History-based Specification and Verification of Java Collections in KeY Committee Member in Organizing Committee within the VORTEX-track
Joeri De KosterDe Koster, Joeri Vrije Universiteit Brussel, BelgiumBelgium Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model
Wolfgang De MeuterDe Meuter, Wolfgang Vrije Universiteit Brussel Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model Committee Member in Program Committee within the ECOOP Research Papers-track
Jan de Muijnck-Hughesde Muijnck-Hughes, Jan University of GlasgowUnited Kingdom A Framework for Resource Dependent EDSLs in a Dependently Typed Language A Framework for Resource Dependent EDSLs in a Dependently-Typed Language (Artifact)
Dominique DevrieseDevriese, Dominique Vrije Universiteit BrusselBelgium Committee Member in Program Committee within the IWACO-track
Lukas DiekmannDiekmann, Lukas King's College LondonUnited Kingdom Don't Panic! Better, Fewer, Syntax Errors for LR Parsers Don't Panic! Better, Fewer, Syntax Errors for LR Parsers Committee Member in Program Committee within the ICOOOLPS-track
Werner DietlDietl, Werner University of Waterloo Steering Committee Member in Steering Commitee within the FTfJP-track
Cynthia DisenfeldDisenfeld, Cynthia Foretellix and Open University of IsraelIsrael Committee Member in Program Committee within the COP-track
Sébastien DoeraeneDoeraene, Sébastien EPFL, SwitzerlandSwitzerland Semantics-Preserving Inlining for Metaprogramming
Simon DohertyDoherty, Simon University of Sheffield Owicki-Gries Reasoning for C11 RAR Owicki-Gries Reasoning for C11 RAR Owicki-Gries Reasoning for C11 RAR
Julian DolbyDolby, Julian IBM Research, USA Static Analysis of Shape in TensorFlow Programs Static Analysis of Shape in TensorFlow Programs Organizer in Organizing Committee within the PRIDE-track Organizer in Organizing Committee within the JSTools-track
Philipp Dominik SchubertDominik Schubert, Philipp Heinz Nixdorf Institut, Paderborn UniversityGermany Doctoral Symposium Co-Chair in Organizing Committee for ECOOP 2020 Doctoral Symposium Co-Chair in Organizing Committee within the ECOOP Doctoral Symposium-track
Alastair DonaldsonDonaldson, Alastair Imperial College LondonUnited Kingdom Putting Randomized Compiler Testing into Production Putting Randomized Compiler Testing into Production Test-Case Reduction via Test-Case Generation: Insights From the Hypothesis Reducer Committee Member in Academic Panel within the ECOOP Doctoral Symposium-track
Brijesh DongolDongol, Brijesh University of Surrey Owicki-Gries Reasoning for C11 RAR Owicki-Gries Reasoning for C11 RAR Owicki-Gries Reasoning for C11 RAR
Vlastimil DortDort, Vlastimil Charles University Reference immutability for DOT
Sophia DrossopoulouDrossopoulou, Sophia Imperial College LondonUnited Kingdom Reshape your layouts, not your programs: A safe language extension for better cache locality Reshape your layouts, not your programs: A safe language extension for better cache locality Implementation of SHAPES case studies
Benoît DuhouxDuhoux, Benoît Université catholique de Louvain, BelgiumBelgium Committee Member in Program Committee within the COP-track
E Susan EisenbachEisenbach, Susan Imperial College LondonUnited Kingdom Reshape your layouts, not your programs: A safe language extension for better cache locality Reshape your layouts, not your programs: A safe language extension for better cache locality Implementation of SHAPES case studies
Sebastian ErdwegErdweg, Sebastian University of Mainz Committee Member in Program Committee within the ECOOP Research Papers-track
Erik ErnstErnst, Erik Google LLCDenmark Committee Member in External Review Committee within the ECOOP Research Papers-track
Nafise EskandaniEskandani, Nafise TU Darmstadt Doctoral Symposium Co-Chair in Organizing Committee for ECOOP 2020 ConSysT: Tunable, Safe Consistency meets Object-Oriented Programming Doctoral Symposium Co-Chair in Organizing Committee within the ECOOP Doctoral Symposium-track
Hugues EvrardEvrard, Hugues Google Putting Randomized Compiler Testing into Production Putting Randomized Compiler Testing into Production
F Chris FallinFallin, Chris Mozilla Safe, Flexible Aliasing with Deferred Borrows
Marie FarrellFarrell, Marie University of Liverpool Programme Committee in Program Committee within the FTfJP-track
Tim FelgentreffFelgentreff, Tim Oracle Labs, PotsdamGermany Web Technology Chair in Organizing Committee for ECOOP 2020 Polyglot Programming SqueakLive Committee Member in Program Committee within the ECOOP Research Papers-track
Kiko Fernandez-ReyesFernandez-Reyes, Kiko Uppsala UniversitySweden Dalarna: A Simplistic Capability-Based Dynamic Language Design For Data Race Freedom Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Ismael FigueroaFigueroa, Ismael University of ValparaísoChile Interfaces for Modular Reasoning in Context-Oriented Programming Committee Member in Program Committee within the COP-track
Matthew FlattFlatt, Matthew University of Utah, USA Committee Member in External Review Committee within the ECOOP Research Papers-track
Olivier FlückigerFlückiger, Olivier Northeastern University Session Chair of S-6 (part of ECOOP Research Papers) Committee Member in Program Committee within the ECOOP Research Papers-track
Simon FowlerFowler, Simon University of GlasgowUnited Kingdom Model-View-Update-Communicate: Session Types meet the Elm Architecture Model-View-Update-Communicate: Session Types meet the Elm Architecture
José Fragoso SantosFragoso Santos, José INESC-ID/Instituto Superior Técnico, Portugal A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications
Adrian FrancalanzaFrancalanza, Adrian University of MaltaMalta Committee Member in Organizing Committee within the VORTEX-track
Juliana FrancoFranco, Juliana Reshape your layouts, not your programs: A safe language extension for better cache locality Reshape your layouts, not your programs: A safe language extension for better cache locality
Juliana FrancoFranco, Juliana Microsoft Research, CambridgeUnited Kingdom Implementation of SHAPES case studies Organizer in Organizing Committee within the SOOP-track Committee Member in Program Committee within the IWACO-track
Lidia FuentesFuentes, Lidia Universidad de Málaga, SpainSpain Committee Member in Program Committee within the ECOOP Research Papers-track
Hiroaki FukudaFukuda, Hiroaki Shibaura Institute of Technology Committee Member in Program Committee within the COP-track
G Julia GabetGabet, Julia Imperial College London Static Race Detection and Mutex Safety and Liveness for Go Programs Static Race Detection and Mutex Safety and Liveness for Go Programs (Artifact) Static Race Detection and Mutex Safety and Liveness for Go Programs
Richard P. GabrielGabriel, Richard P. Dream Songs, Inc. & HPI Committee Member in Program Committee within the ECOOP Research Papers-track
Philippa GardnerGardner, Philippa Imperial College LondonUnited Kingdom A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications Data Consistency in Transactional Storage Systems: A Centralised Semantics
Isaac Oscar GarianoGariano, Isaac Oscar Dalarna: A Simplistic Capability-Based Dynamic Language Design For Data Race Freedom
Jeremy GibbonsGibbons, Jeremy Department of Computer Science, University of OxfordUnited Kingdom Session Chair of S-5 (part of ECOOP Research Papers) Session Chair of S-6 (part of ECOOP Research Papers) Committee Member in External Review Committee within the ECOOP Research Papers-track
Milos GligoricGligoric, Milos University of Texas at Austin Committee Member in Program Committee within the SySEPL-track
Anitha GollamudiGollamudi, Anitha Harvard University Session Chair of S-3 (part of ECOOP Research Papers) Session Chair of M-4 (part of ECOOP Research Papers) Committee Member in Program Committee within the ECOOP Research Papers-track
Elisa Gonzalez BoixGonzalez Boix, Elisa Vrije Universiteit Brussel, BelgiumBelgium Session Chair of S-3 (part of ECOOP Research Papers) Session Chair of S-4 (part of ECOOP Research Papers) Committee Member in Program Committee within the ECOOP Research Papers-track
Colin GordonGordon, Colin Drexel UniversityUnited States Designing with Static Capabilities and Effects Lifting Sequential Effects to Control Operators
Neville GrechGrech, Neville University of MaltaMalta Static Analysis of Shape in TensorFlow Programs Static Analysis of Shape in TensorFlow Programs
Erin Greenwood-ThessmanGreenwood-Thessman, Erin Dalarna: A Simplistic Capability-Based Dynamic Language Design For Data Race Freedom
Radu GrigoreGrigore, Radu University of KentUnited Kingdom Steering Committee Member in Steering Commitee within the FTfJP-track
Elsa GunterGunter, Elsa University of IllinoisUnited States K-LLVM: A Relatively Complete Semantics of LLVM IR
Zheng GuoGuo, Zheng University of California, San DiegoUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
H Philipp HallerHaller, Philipp KTH Royal Institute of TechnologyGermany Committee Member in Program Committee within the ECOOP Research Papers-track
Christian HammerHammer, Christian University of PotsdamGermany General Chair in Organizing Committee for ECOOP 2020 Committee Member in Program Committee within the ECOOP Research Papers-track
Byron HawkinsHawkins, Byron INRIA RennesFrance Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Pinjia HeHe, Pinjia ETH Zurich, SwitzerlandSwitzerland Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Paula HerberHerber, Paula University of Munster, GermanyGermany Programme Committee in Program Committee within the FTfJP-track
Ben HermannHermann, Ben Technical University DortmundGermany Committee Member in Academic Panel within the ECOOP Doctoral Symposium-track Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Felienne HermansHermans, Felienne Leiden UniversityNetherlands Committee Member in Program Committee within the ECOOP Research Papers-track
Hans-Dieter HiepHiep, Hans-Dieter History-based Specification and Verification of Java Collections in KeY
Robert HirschfeldHirschfeld, Robert Hasso Plattner Institute (HPI), University of Potsdam, GermanyGermany Program Chair in Organizing Committee for ECOOP 2020 Zone-based Layer Activation: Context-specific Behavior Adaptations across Logically-connected Asynchronous Operations Polyglot Programming SqueakLive 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
Kenji HisazumiHisazumi, Kenji Kyushu University PLAM: Preemptive Layer Activation Architecture based on Multi- threading in Context-Oriented Programming
Michael HomerHomer, Michael Victoria University of Wellington Dalarna: A Simplistic Capability-Based Dynamic Language Design For Data Race Freedom
Tony HoskingHosking, Tony Australian National University / Data61Australia Committee Member in Program Committee within the ICOOOLPS-track
Xuejing HuangHuang, Xuejing The University of Hong Kong A Type-Directed Operational Semantics for a Calculus with a Merge Operator A Type-Directed Operational Semantics for a Calculus with a Merge Operator A Type-Directed Operational Semantics for a Calculus with a Merge Operator
Jacob HughesHughes, Jacob 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 HuismanHuisman, Marieke University of TwenteNetherlands Towards Verified Construction of Correct and Optimised GPU Software
I Atsushi IgarashiIgarashi, Atsushi Kyoto University, JapanJapan Session Chair of S-3 (part of ECOOP Research Papers) Session Chair of S-2 (part of ECOOP Research Papers) Session Chair of S-4 (part of ECOOP Research Papers) Space-Efficient Gradual Typing in Coercion-Passing Style 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 ImaiImai, Keigo Gifu University Multiparty Session Programming with Global Protocol Combinators Multiparty Session Programming with Global Protocol Combinators Multiparty Session Programming with Global Protocol Combinators
J Bart JacobsJacobs, Bart imec-DistriNet, Dept. CS, KU LeuvenBelgium A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit
Reese JonesJones, Reese Salsa: Static Analysis of Serialization Features
Sung-Shik JongmansJongmans, Sung-Shik Open University of the Netherlands Discourje: Runtime Verification of Communication Protocols in Clojure
Ralf JungJung, Ralf MPI-SWSGermany Committee Member in Program Committee within the IWACO-track
Tina JungJung, Tina Saarland Informatics Campus, Saarland UniversityGermany Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
K Ifaz KabirKabir, Ifaz University of Alberta Toward a Simpler Syntactic Soundness for DOT (Student Talk)
Tetsuo KaminaKamina, Tetsuo Oita UniversityJapan Committee Member in Program Committee within the COP-track
Aarti KashyapKashyap, Aarti University of British ColumbiaCanada Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Stephen KellKell, Stephen University of Kent Committee Member in Program Committee within the ECOOP Research Papers-track
Raffi KhatchadourianKhatchadourian, Raffi City University of New York Session Chair of M-6B (part of ECOOP Research Papers) Session Chair of M-4 (part of ECOOP Research Papers) Committee Member in Program Committee within the ECOOP Research Papers-track
Oleg KiselyovKiselyov, Oleg Committee Member in Program Committee within the Scala-track
Nikolai KosmatovKosmatov, Nikolai CEA ListFrance Programme Committee in Program Committee within the FTfJP-track
Neel KrishnaswamiKrishnaswami, Neel Computer Laboratory, University of Cambridge Committee Member in Program Committee within the IWACO-track
Stefan KrügerKrüger, Stefan Paderborn UniversityGermany Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Viktor KunčakKunčak, Viktor EPFL, SwitzerlandSwitzerland Committee Member in Program Committee within the Scala-track
Mirko KöhlerKöhler, Mirko TU Darmstadt ConSysT: Tunable, Safe Consistency meets Object-Oriented Programming
L Shadaj LaddadLaddad, Shadaj University of California at Berkeley ScalaPy: Seamless Python Interoperability for Cross-Platform Scala Programs
Sifis LagouvardosLagouvardos, Sifis University of Athens Static Analysis of Shape in TensorFlow Programs Static Analysis of Shape in TensorFlow Programs
Ori LahavLahav, Ori Tel Aviv University Reconciling Event Structures with Modern Multiprocessors Reconciling Event Structures with Modern Multiprocessors
Doug LeaLea, Doug State University of New York (SUNY) OswegoUnited States Committee Member in External Review Committee within the ECOOP Research Papers-track Committee Member in Academic Panel within the ECOOP Doctoral Symposium-track
Gary LeavensLeavens, Gary University of Central FloridaUnited States Committee Member in Program Committee within the COP-track Steering Committee Member in Steering Commitee within the FTfJP-track
Paul LegerLeger, Paul Universidad Católica del Norte, ChileChile Interfaces for Modular Reasoning in Context-Oriented Programming Organizing Chair in Organizing Committee within the COP-track Committee Member in Program Committee within the COP-track
David LeopoldsederLeopoldseder, David Oracle LabsAustria Committee Member in Program Committee within the ICOOOLPS-track
Ondřej LhotákLhoták, Ondřej University of Waterloo Blame for Null Reference immutability for DOT Scala with Explicit Nulls Scala with Explicit Nulls Blame for Null A Semantics for the Essence of React
Liyi LiLi, Liyi University of Illinois at Urbana-ChampaignChina K-LLVM: A Relatively Complete Semantics of LLVM IR
Xiaozhou LiangLiang, Xiaozhou SUNY Binghamton, USA Adaptive Variables for Declarative UAV Planning
Jens LinckeLincke, Jens Hasso Plattner Institute, University of Potsdam, GermanyGermany Zone-based Layer Activation: Context-specific Behavior Adaptations across Logically-connected Asynchronous Operations Organizing Chair in Organizing Committee within the COP-track Committee Member in Program Committee within the COP-track
Fengyun LiuLiu, Fengyun EPFL Committee Member in Program Committee within the Scala-track
Yu David LiuLiu, Yu David State University of New York (SUNY) BinghamtonUnited States Session Chair of S-2 (part of ECOOP Research Papers) Session Chair of M-1 (part of ECOOP Research Papers) Adaptive Variables for Declarative UAV Planning Committee Member in Program Committee within the ECOOP Research Papers-track
Zihan LiuLiu, Zihan PLAM: Preemptive Layer Activation Architecture based on Multi- threading in Context-Oriented Programming
Crista LopesLopes, Crista University of California, Irvine Committee Member in External Review Committee within the ECOOP Research Papers-track
David H. LorenzLorenz, David H. Open University and Technion IIT Committee Member in Program Committee within the COP-track
Linghui LuoLuo, Linghui Paderborn University, Germany Organizer in Organizing Committee within the PRIDE-track
M Magnus MadsenMadsen, Magnus Aarhus University A Semantics for the Essence of React Committee Member in Program Committee within the ICOOOLPS-track Committee Member in Program Committee within the SySEPL-track
Petar MaksimovićMaksimović, Petar Imperial College London, UK A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications
Mariana MarasoiuMarasoiu, Mariana University of CambridgeUnited Kingdom Committee Member in Program Committee within the COP-track
Alessandro MargaraMargara, Alessandro Politecnico di Milano ConSysT: Tunable, Safe Consistency meets Object-Oriented Programming
Darko MarinovMarinov, Darko University of Illinois at Urbana-Champaign Committee Member in Program Committee within the SySEPL-track
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of TechnologyJapan Session Chair of M-3 (part of ECOOP Research Papers) Session Chair of S-2 (part of ECOOP Research Papers) Session Chair of M-1 (part of ECOOP Research Papers) Interfaces for Modular Reasoning in Context-Oriented Programming 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 MattisMattis, Toni Hasso Plattner Institute, University of PotsdamGermany 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 MayerMayer, Mikaël EPFL, Switzerland Committee Member in Program Committee within the Scala-track
Nenad MedvidovićMedvidović, Nenad University of Southern California, USAUnited States Committee Member in Program Committee within the SySEPL-track
Orestis MelkonianMelkonian, Orestis Utrecht UniversityGreece Reconciling Event Structures with Modern Multiprocessors Reconciling Event Structures with Modern Multiprocessors
Kim MensMens, Kim Université Catholique de Louvain, BelgiumBelgium Committee Member in Program Committee within the COP-track
Alexander MerrittMerritt, Alexander Independent ONNX-Scala: Typeful, Functional Deep Learning / Dotty Meets an Open AI Standard (Open-Source Talk)
Ana MilanovaMilanova, Ana Rensselaer Polytechnic Institute Committee Member in Program Committee within the ICOOOLPS-track
Alyssa MilburnMilburn, Alyssa Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Todd MillsteinMillstein, Todd University of California at Los Angeles Committee Member in External Review Committee within the ECOOP Research Papers-track
Antoine MinéMiné, Antoine Sorbonne UniversitéFrance Static Type Analysis by Abstract Interpretation of Python Programs Static Type Analysis by Abstract Interpretation of Python Programs
Mehdi MirakhorliMirakhorli, Mehdi Rochester Institute of TechnologyUnited States Salsa: Static Analysis of Serialization Features
Ragnar MogkMogk, Ragnar Technische Universität Darmstadt Committee Member in Program Committee within the Scala-track
Evgenii MoiseenkoMoiseenko, Evgenii St. Petersburg University / JetBrains Research Reconciling Event Structures with Modern Multiprocessors Reconciling Event Structures with Modern Multiprocessors
Rosemary MonahanMonahan, Rosemary National University of IrelandIreland Steering Committee Chair in Steering Commitee within the FTfJP-track
Raphaël MonatMonat, Raphaël Sorbonne Université — LIP6France Static Type Analysis by Abstract Interpretation of Python Programs Static Type Analysis by Abstract Interpretation of Python Programs
Adriaan MoorsMoors, Adriaan Lightbend Committee Member in Program Committee within the Scala-track
Austin MordahlMordahl, Austin The University of Texas at DallasUnited States Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Martin MoryMory, Martin Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Guillaume Munch-MaccagnoniMunch-Maccagnoni, Guillaume InriaFrance Committee Member in Program Committee within the IWACO-track
Anders MøllerMøller, Anders Aarhus University Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript Organizer in Organizing Committee within the JSTools-track
N Rumyana NeykovaNeykova, Rumyana Brunel University London Multiparty Session Programming with Global Protocol Combinators Multiparty Session Programming with Global Protocol Combinators Multiparty Session Programming with Global Protocol Combinators
Lisa Nguyen Quang DoNguyen Quang Do, Lisa GoogleSwitzerland 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 NielsenNielsen, Benjamin Barslev Aarhus University Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript
Fabio NiephausNiephaus, Fabio Hasso Plattner Institute, University of PotsdamGermany Publicity Co-Chair & Virtualization Co-Chair in Organizing Committee for ECOOP 2020 Polyglot Programming Committee Member in Organizing Committee within the ICOOOLPS-track
Abel NietoNieto, Abel Aarhus UniversityCanada Blame for Null Scala with Explicit Nulls Scala with Explicit Nulls Blame for Null
James NobleNoble, James Victoria University of WellingtonNew Zealand Dalarna: A Simplistic Capability-Based Dynamic Language Design For Data Race Freedom Committee Member in Program Committee within the ECOOP Research Papers-track Programme Committee in Program Committee within the FTfJP-track
O Martin OderskyOdersky, Martin EPFL Semantics-Preserving Inlining for Metaprogramming
Bjarno OeyenOeyen, Bjarno Vrije Universiteit BrusselBelgium Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model
Bruno C. d. S. OliveiraOliveira, Bruno C. d. S. University of Hong Kong A Type-Directed Operational Semantics for a Calculus with a Merge Operator A Type-Directed Operational Semantics for a Calculus with a Merge Operator A Type-Directed Operational Semantics for a Calculus with a Merge Operator The Duality of Subtyping (artifact) The Duality of Subtyping Row and Bounded Polymorphism via Disjoint Polymorphism Row and Bounded Polymorphism via Disjoint Polymorphism
Wytse OortwijnOortwijn, Wytse ETH Zurich, SwitzerlandNetherlands Chair in Organizing Committee within the FTfJP-track
Alex OrsoOrso, Alex Georgia Institute of Technology United States Committee Member in Program Committee within the SySEPL-track
Klaus OstermannOstermann, Klaus University of Tübingen Committee Member in Program Committee within the ECOOP Research Papers-track
Abdelraouf OuadjaoutOuadjaout, Abdelraouf Sorbonne UniversitéFrance Static Type Analysis by Abstract Interpretation of Python Programs Static Type Analysis by Abstract Interpretation of Python Programs
P Jens PalsbergPalsberg, Jens University of California, Los Angeles Committee Member in External Review Committee within the ECOOP Research Papers-track
Tobias PapePape, Tobias HPIGermany Publications Chair & Web Technology Chair in Organizing Committee for ECOOP 2020 SqueakLive
Felix PauckPauck, Felix Paderborn University, GermanyGermany Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Hila PelegPeleg, Hila University of California at San Diego Perfect is the Enemy of Good: Best-Effort Program Synthesis Perfect is the Enemy of Good: Best-Effort Program Synthesis
Roly PereraPerera, Roly The Alan Turing Institute/University of BristolUnited Kingdom Committee Member in Program Committee within the COP-track
Tomas PetricekPetricek, Tomas University of KentUnited Kingdom Committee Member in External Review Committee within the ECOOP Research Papers-track
Benjamin C. PiercePierce, Benjamin C. University of Pennsylvania Committee Member in External Review Committee within the ECOOP Research Papers-track
Goran PiskachevPiskachev, Goran Fraunhofer IEMGermany 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 PodkopaevPodkopaev, Anton NRU HSE, JetBrains ResearchRussia Reconciling Event Structures with Modern Multiprocessors Reconciling Event Structures with Modern Multiprocessors
Nadia PolikarpovaPolikarpova, Nadia University of California at San Diego Perfect is the Enemy of Good: Best-Effort Program Synthesis Perfect is the Enemy of Good: Best-Effort Program Synthesis
Joe Gibbs PolitzPolitz, Joe Gibbs UC San Diego Committee Member in External Review Committee within the ECOOP Research Papers-track
Jon PrettyPretty, Jon Propensive OÜPoland Committee Member in Program Committee within the Scala-track
Justin PuPu, Justin University of Waterloo Scala with Explicit Nulls Scala with Explicit Nulls
Violet Ka I PunPun, Violet Ka I Programme Committee in Program Committee within the FTfJP-track
R David R. MacIverR. MacIver, David Imperial College London Test-Case Reduction via Test-Case Generation: Insights From the Hypothesis Reducer
Azalea RaadRaad, Azalea Imperial College London Data Consistency in Transactional Storage Systems: A Centralised Semantics
Stefan RamsonRamson, Stefan Hasso Plattner Institute, Germany Zone-based Layer Activation: Context-specific Behavior Adaptations across Logically-connected Asynchronous Operations Committee Member in Program Committee within the COP-track
Marianna RapoportRapoport, Marianna University of WaterlooCanada Blame for Null Blame for Null Committee Member in Program Committee within the IWACO-track
Baber RehmanRehman, Baber University of Hong Kong The Duality of Subtyping (artifact) The Duality of Subtyping
Michael ReifReif, Michael TU Darmstadt, GermanyGermany Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Patrick ReinRein, Patrick Hasso Plattner InstituteGermany Posters Co-Chair & Virtualization Co-Chair in Organizing Committee for ECOOP 2020 Session Chair of M-6B (part of ECOOP Research Papers) Session Chair of M-3 (part of ECOOP Research Papers) Session Chair of M-6B (part of ECOOP Research Papers) Session Chair of M-4 (part of ECOOP Research Papers) SqueakLive Committee Member in Program Committee within the ECOOP Research Papers-track Co-chair in Posters committee within the ECOOP Posters-track
Tobias ReinhardReinhard, Tobias imec-DistriNet, KU Leuven, BelgiumBelgium A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit
Thierry RenauxRenaux, Thierry Vrije Universiteit Brussel Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model
Julien Richard-FoyRichard-Foy, Julien EPFLSwitzerland Committee Member in Program Committee within the Scala-track
Gregor RichardsRichards, Gregor University of WaterlooCanada Workshops Co-Chair in Organizing Committee for ECOOP 2020 Blame for Null Blame for Null
Cedric RichterRichter, Cedric Paderborn University, GermanyGermany Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
David RichterRichter, David Technische Universität DarmstadtGermany Welcome to Scala 2020 Closing Scala 2020 Publicity Chair in Organizing Committee within the Scala-track
Manuel RiggerRigger, Manuel ETH Zurich Artifact Evaluation Co-Chair in Organizing Committee for ECOOP 2020 Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ECOOP Artifacts-track
Tiark RompfRompf, Tiark Purdue University Session Chair of S-6 (part of ECOOP Research Papers) Committee Member in External Review Committee within the ECOOP Research Papers-track
Andrea RosàRosà, Andrea University of Lugano, SwitzerlandSwitzerland Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Jurriaan RotRot, Jurriaan Radboud University Nijmegen A big step from finite to infinite computations
Abhik RoychoudhuryRoychoudhury, Abhik National University of Singapore, Singapore Committee Member in Program Committee within the SySEPL-track
Cindy Rubio-GonzálezRubio-González, Cindy University of California, DavisUnited States Committee Member in Program Committee within the SySEPL-track
Sukyoung RyuRyu, Sukyoung KAISTSouth Korea Organizer in Organizing Committee within the JSTools-track
S Guido SalvaneschiSalvaneschi, Guido University of St. Gallen Welcome to Scala 2020 Closing Scala 2020 ConSysT: Tunable, Safe Consistency meets Object-Oriented Programming Committee Member in Program Committee within the ECOOP Research Papers-track General Chair in Organizing Committee within the Scala-track
Gabriela SampaioSampaio, Gabriela Imperial College London, UK A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications
Annabel SatinSatin, Annabel P.C.K. Finance Chair in Organizing Committee for ECOOP 2020
Florian SattlerSattler, Florian Saarland Informatics Campus, Saarland UniversityGermany Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Anand Ashok SawantSawant, Anand Ashok University of California, Davis Committee Member in Program Committee within the SySEPL-track
Georg Stefan SchmidSchmid, Georg Stefan EPFL, Switzerland Committee Member in Program Committee within the Scala-track
Tom SchrijversSchrijvers, Tom KU Leuven Row and Bounded Polymorphism via Disjoint Polymorphism Row and Bounded Polymorphism via Disjoint Polymorphism
Chris SeatonSeaton, Chris ShopifyUnited Kingdom Committee Member in Program Committee within the ICOOOLPS-track
Koushik SenSen, Koushik University of California at BerkeleyUnited States ScalaPy: Seamless Python Interoperability for Cross-Platform Scala Programs
Manuel SerranoSerrano, Manuel Inria, France Session Chair of M-6B (part of ECOOP Research Papers) Session Chair of M-4 (part of ECOOP Research Papers) Committee Member in Program Committee within the ECOOP Research Papers-track
Jeremy G. SiekSiek, Jeremy G. Indiana University, USAUnited States Committee Member in Program Committee within the ECOOP Research Papers-track
Somesh SinghSingh, Somesh Indian Institute of Technology, MadrasIndia Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
John L. SingletonSingleton, John L. Soar Technology, Inc.United States Programme Committee in Program Committee within the FTfJP-track
Yannis SmaragdakisSmaragdakis, Yannis University of Athens Static Analysis of Shape in TensorFlow Programs Static Analysis of Shape in TensorFlow Programs
Justin SmithSmith, Justin Lafayette CollegeUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Zheng Jason SongSong, Zheng Jason Virginia Tech, USA Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Friedrich SteimannSteimann, Friedrich Fernuniversität Committee Member in Program Committee within the ECOOP Research Papers-track
Quentin StiévenartStiévenart, Quentin Vrije Universiteit Brussel Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Nicolas StuckiStucki, Nicolas EPFL, SwitzerlandSwitzerland Semantics-Preserving Inlining for Metaprogramming
Yulei SuiSui, Yulei University of Technology Sydney Flow-Sensitive Type-Based Heap Cloning Flow-Sensitive Type Based Heap Cloning (Artifact)
Alexander J. SummersSummers, Alexander J. University of British Columbia Prusti – Deductive Verification for Rust Steering Committee Member in Steering Commitee within the FTfJP-track
Emma SöderbergSöderberg, Emma Lund UniversitySweden Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Academic Panel within the ECOOP Doctoral Symposium-track
T Tomoya TabuchiTabuchi, Tomoya Kyoto UniversityJapan Space-Efficient Gradual Typing in Coercion-Passing Style
Marcel TaeumelTaeumel, Marcel Hasso Plattner InstituteGermany SqueakLive
Ruby TahboubTahboub, Ruby Purdue UniversityUnited States Committee Member in Program Committee within the Scala-track
Chengsong TanTan, Chengsong 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
Qiyi TangTang, Qiyi University of OxfordUnited Kingdom Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Ikuta TanigawaTanigawa, Ikuta Tokai UniversityJapan PLAM: Preemptive Layer Activation Architecture based on Multi- threading in Context-Oriented Programming
Éric TanterTanter, Éric University of Chile Abstracting gradual references
Alexandros TasosTasos, Alexandros Imperial College LondonGreece Reshape your layouts, not your programs: A safe language extension for better cache locality Reshape your layouts, not your programs: A safe language extension for better cache locality Implementation of SHAPES case studies
Peter ThiemannThiemann, Peter University of Freiburg, Germany Session Chair of M-1 (part of ECOOP Research Papers) Session Chair of M-3 (part of ECOOP Research Papers) Committee Member in Program Committee within the ECOOP Research Papers-track
Paul ThomsonThomson, Paul Google Putting Randomized Compiler Testing into Production Putting Randomized Compiler Testing into Production
Eli TilevichTilevich, Eli Virginia TechUnited States Session Chair of S-4 (part of ECOOP Research Papers) Session Chair of S-5 (part of ECOOP Research Papers) Committee Member in Program Committee within the ECOOP Research Papers-track
Amin TimanyTimany, Amin Aarhus UniversityDenmark A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit
Frank TipTip, Frank Northeastern UniversityUnited States A Semantics for the Essence of React Committee Member in Program Committee within the ECOOP Research Papers-track
Ben L. TitzerTitzer, Ben L. GoogleGermany Committee Member in Program Committee within the ICOOOLPS-track
John TomanToman, John University of Washington, SeattleUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Matías ToroToro, Matías University of Chile Abstracting gradual references
Laurence TrattTratt, Laurence King's College LondonUnited Kingdom Don't Panic! Better, Fewer, Syntax Errors for LR Parsers Don't Panic! Better, Fewer, Syntax Errors for LR Parsers Committee Member in External Review Committee within the ECOOP Research Papers-track
Alix TrieuTrieu, Alix Aarhus UniversityDenmark Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Yuya TsudaTsuda, Yuya Kyoto UniversityJapan Space-Efficient Gradual Typing in Coercion-Passing Style
Alexi TurcotteTurcotte, Alexi Northeastern University Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
U Mattias UlbrichUlbrich, Mattias Karlsruhe Institute of TechnologyGermany Programme Committee in Program Committee within the FTfJP-track
V Viktor VafeiadisVafeiadis, Viktor MPI-SWSGermany Reconciling Event Structures with Modern Multiprocessors Reconciling Event Structures with Modern Multiprocessors
Marco Tulio ValenteValente, Marco Tulio Federal University of Minas Gerais, Brazil Committee Member in Program Committee within the SySEPL-track
Petra van den Bosvan den Bos, Petra University of Twente, The NetherlandsNetherlands Committee Member in Program Committee within the FTfJP-track
Sam Van den VonderVan den Vonder, Sam Vrije Universiteit BrusselBelgium Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model
Tijs van der Stormvan der Storm, Tijs CWI & University of Groningen, NetherlandsNetherlands Committee Member in Program Committee within the ECOOP Research Papers-track
Wim VanderbauwhedeVanderbauwhede, Wim University of Glasgow A Framework for Resource Dependent EDSLs in a Dependently Typed Language A Framework for Resource Dependent EDSLs in a Dependently-Typed Language (Artifact)
Jan VitekVitek, Jan Northeastern University / Czech Technical University 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
W Philip WadlerWadler, Philip University of Edinburgh Committee Member in Program Committee within the Scala-track
Harumi WatanabeWatanabe, Harumi Tokai UniversityJapan PLAM: Preemptive Layer Activation Architecture based on Multi- threading in Context-Oriented Programming Zone-based Layer Activation: Context-specific Behavior Adaptations across Logically-connected Asynchronous Operations Committee Member in Program Committee within the COP-track
Heike WehrheimWehrheim, Heike Paderborn UniversityGermany Owicki-Gries Reasoning for C11 RAR Owicki-Gries Reasoning for C11 RAR Owicki-Gries Reasoning for C11 RAR
Aaron WeissWeiss, Aaron Northeastern UniversityUnited States Committee Member in Organizing Committee within the IWACO-track
Anna-Katharina WickertWickert, Anna-Katharina TU Darmstadt, GermanyGermany Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Anton WijsWijs, Anton Eindhoven University of TechnologyNetherlands Towards Verified Construction of Correct and Optimised GPU Software Programme Committee in Program Committee within the FTfJP-track
Mario WolczkoWolczko, Mario Oracle LabsUnited States Polyglot Programming
Tobias WrigstadWrigstad, Tobias Uppsala University, Sweden Dalarna: A Simplistic Capability-Based Dynamic Language Design For Data Race Freedom Reshape your layouts, not your programs: A safe language extension for better cache locality Reshape your layouts, not your programs: A safe language extension for better cache locality Implementation of SHAPES case studies Committee Member in Program Committee within the ECOOP Research Papers-track Organizer in Organizing Committee within the SOOP-track
X Ningning XieXie, Ningning The University of Hong KongChina Row and Bounded Polymorphism via Disjoint Polymorphism Row and Bounded Polymorphism via Disjoint Polymorphism
Shale XiongXiong, Shale ARM ResearchUnited Kingdom Data Consistency in Transactional Storage Systems: A Centralised Semantics
Y Junwen YangYang, Junwen University of ChicagoChina Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Nobuko YoshidaYoshida, Nobuko Imperial College London Static Race Detection and Mutex Safety and Liveness for Go Programs Static Race Detection and Mutex Safety and Liveness for Go Programs (Artifact) Multiparty Session Programming with Global Protocol Combinators Static Race Detection and Mutex Safety and Liveness for Go Programs Multiparty Session Programming with Global Protocol Combinators Multiparty Session Programming with Global Protocol Combinators
Shoji YuenYuen, Shoji Nagoya University Multiparty Session Programming with Global Protocol Combinators Multiparty Session Programming with Global Protocol Combinators Multiparty Session Programming with Global Protocol Combinators
Z Chengyu ZhangZhang, Chengyu East China Normal UniversityChina Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Fuyuan ZhangZhang, Fuyuan MPI-SWS Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Yaoyu ZhaoZhao, Yaoyu University of Waterloo Scala with Explicit Nulls Scala with Explicit Nulls
Daming ZouZou, Daming Peking University Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Elena ZuccaZucca, Elena University of Genova An inductive abstract semantics for coFJ A big step from finite to infinite computations Sound regular corecursion in coFJ Programme Committee in Program Committee within the FTfJP-track

ECOOP 2020 Contributors

Results (281)

Tracks

Workshops

Co-hosted Symposiums