ECOOP 2020 November 15-17, 2020, Berlin, Germany (Virtual Conference)

34th European Conference on Object-Oriented Programming (ECOOP 2020)



Robert Hirschfeld and Tobias Pape (Eds.)
ISBN 978-3-95977-154-2, LIPICS Vol. 166 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 22 MB)
Search Publication Server

Authors
  • Ancona, Davide
  • Antoniadis, Anastasios
  • Barbar, Mohamad
  • Barbieri, Pietro
  • Bi, Xuan
  • Brady, Edwin
  • Cerone, Andrea
  • Chang, Angela
  • Chen, Shiping
  • Dagnino, Francesco
  • Dalvandi, Sadegh
  • De Koster, Joeri
  • De Meuter, Wolfgang
  • de Muijnck-Hughes, Jan
  • Diekmann, Lukas
  • Doherty, Simon
  • Dolby, Julian
  • Donaldson, Alastair F.
  • Dongol, Brijesh
  • Dort, Vlastimil
  • Drossopoulou, Sophia
  • Eisenbach, Susan
  • Evrard, Hugues
  • Fallin, Chris
  • Fowler, Simon
  • Fragoso Santos, José
  • Franco, Juliana
  • Gabet, Julia
  • Gardner, Philippa
  • Gordon, Colin S.
  • Grech, Neville
  • Gunter, Elsa L.
  • Hirschfeld, Robert
  • Huang, Xuejing
  • Igarashi, Atsushi
  • Imai, Keigo
  • Lagouvardos, Sifis
  • Lahav, Ori
  • Lhoták, Ondřej
  • Li, Liyi
  • MacIver, David R.
  • Madsen, Magnus
  • Maksimović, Petar
  • Melkonian, Orestis
  • Miné, Antoine
  • Moiseenko, Evgenii
  • Møller, Anders
  • Monat, Raphaël
  • Neykova, Rumyana
  • Nielsen, Benjamin Barslev
  • Nieto, Abel
  • Oeyen, Bjarno
  • Oliveira, Bruno C. d. S.
  • Ouadjaout, Abdelraouf
  • Pape, Tobias
  • Peleg, Hila
  • Podkopaev, Anton
  • Polikarpova, Nadia
  • Pu, Justin
  • Raad, Azalea
  • Rapoport, Marianna
  • Rehman, Baber
  • Renaux, Thierry
  • Richards, Gregor
  • Rot, Jurriaan
  • Sampaio, Gabriela
  • Schrijvers, Tom
  • Shaobo, Cui
  • Smaragdakis, Yannis
  • Sui, Yulei
  • Tabuchi, Tomoya
  • Tanter, Éric
  • Tasos, Alexandros
  • Thomson, Paul
  • Tip, Frank
  • Toro, Matías
  • Tratt, Laurence
  • Tsuda, Yuya
  • Vafeiadis, Viktor
  • Van den Vonder, Sam
  • Vanderbauwhede, Wim
  • Wehrheim, Heike
  • Wrigstad, Tobias
  • Xie, Ningning
  • Xiong, Shale
  • Yoshida, Nobuko
  • Yuen, Shoji
  • Zhao, Yaoyu
  • Zucca, Elena
    		•

    		  
    Front Matter, Table of Contents, Preface, Conference Organization
    Authors: Hirschfeld, Robert ; Pape, Tobias

    Abstract | Document (513 KB) | BibTeX

    Sound Regular Corecursion in coFJ
    Authors: Ancona, Davide ; Barbieri, Pietro ; Dagnino, Francesco ; Zucca, Elena

    Abstract | Document (812 KB) | BibTeX

    Perfect Is the Enemy of Good: Best-Effort Program Synthesis
    Authors: Peleg, Hila ; Polikarpova, Nadia

    Abstract | Document (728 KB) | BibTeX

    Blame for Null
    Authors: Nieto, Abel ; Rapoport, Marianna ; Richards, Gregor ; Lhoták, Ondřej

    Abstract | Document (747 KB) | BibTeX

    Static Race Detection and Mutex Safety and Liveness for Go Programs
    Authors: Gabet, Julia ; Yoshida, Nobuko

    Abstract | Document (859 KB) | BibTeX

    Reconciling Event Structures with Modern Multiprocessors
    Authors: Moiseenko, Evgenii ; Podkopaev, Anton ; Lahav, Ori ; Melkonian, Orestis ; Vafeiadis, Viktor

    Abstract | Document (664 KB) | BibTeX

    Don't Panic! Better, Fewer, Syntax Errors for LR Parsers
    Authors: Diekmann, Lukas ; Tratt, Laurence

    Abstract | Document (1,087 KB) | BibTeX

    K-LLVM: A Relatively Complete Semantics of LLVM IR
    Authors: Li, Liyi ; Gunter, Elsa L.

    Abstract | Document (723 KB) | BibTeX

    Space-Efficient Gradual Typing in Coercion-Passing Style
    Authors: Tsuda, Yuya ; Igarashi, Atsushi ; Tabuchi, Tomoya

    Abstract | Document (711 KB) | BibTeX

    Multiparty Session Programming With Global Protocol Combinators
    Authors: Imai, Keigo ; Neykova, Rumyana ; Yoshida, Nobuko ; Yuen, Shoji

    Abstract | Document (925 KB) | BibTeX

    Designing with Static Capabilities and Effects: Use, Mention, and Invariants (Pearl)
    Authors: Gordon, Colin S.

    Abstract | Document (566 KB) | BibTeX

    Owicki-Gries Reasoning for C11 RAR
    Authors: Dalvandi, Sadegh ; Doherty, Simon ; Dongol, Brijesh ; Wehrheim, Heike

    Abstract | Document (799 KB) | BibTeX

    A Semantics for the Essence of React
    Authors: Madsen, Magnus ; Lhoták, Ondřej ; Tip, Frank

    Abstract | Document (796 KB) | BibTeX

    Test-Case Reduction via Test-Case Generation: Insights from the Hypothesis Reducer (Tool Insights Paper)
    Authors: MacIver, David R. ; Donaldson, Alastair F.

    Abstract | Document (522 KB) | BibTeX

    Model-View-Update-Communicate: Session Types Meet the Elm Architecture
    Authors: Fowler, Simon

    Abstract | Document (839 KB) | BibTeX

    Static Analysis of Shape in TensorFlow Programs
    Authors: Lagouvardos, Sifis ; Dolby, Julian ; Grech, Neville ; Antoniadis, Anastasios ; Smaragdakis, Yannis

    Abstract | Document (629 KB) | BibTeX

    Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript
    Authors: Nielsen, Benjamin Barslev ; Møller, Anders

    Abstract | Document (667 KB) | BibTeX

    Static Type Analysis by Abstract Interpretation of Python Programs
    Authors: Monat, Raphaël ; Ouadjaout, Abdelraouf ; Miné, Antoine

    Abstract | Document (787 KB) | BibTeX

    Reference Mutability for DOT
    Authors: Dort, Vlastimil ; Lhoták, Ondřej

    Abstract | Document (511 KB) | BibTeX

    Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model
    Authors: Van den Vonder, Sam ; Renaux, Thierry ; Oeyen, Bjarno ; De Koster, Joeri ; De Meuter, Wolfgang

    Abstract | Document (760 KB) | BibTeX

    A Framework for Resource Dependent EDSLs in a Dependently Typed Language (Pearl)
    Authors: de Muijnck-Hughes, Jan ; Brady, Edwin ; Vanderbauwhede, Wim

    Abstract | Document (584 KB) | BibTeX

    Data Consistency in Transactional Storage Systems: A Centralised Semantics
    Authors: Xiong, Shale ; Cerone, Andrea ; Raad, Azalea ; Gardner, Philippa

    Abstract | Document (775 KB) | BibTeX

    Putting Randomized Compiler Testing into Production (Experience Report)
    Authors: Donaldson, Alastair F. ; Evrard, Hugues ; Thomson, Paul

    Abstract | Document (810 KB) | BibTeX

    Lifting Sequential Effects to Control Operators
    Authors: Gordon, Colin S.

    Abstract | Document (669 KB) | BibTeX

    Flow-Sensitive Type-Based Heap Cloning
    Authors: Barbar, Mohamad ; Sui, Yulei ; Chen, Shiping

    Abstract | Document (1,356 KB) | BibTeX

    Scala with Explicit Nulls
    Authors: Nieto, Abel ; Zhao, Yaoyu ; Lhoták, Ondřej ; Chang, Angela ; Pu, Justin

    Abstract | Document (753 KB) | BibTeX

    A Type-Directed Operational Semantics For a Calculus with a Merge Operator
    Authors: Huang, Xuejing ; Oliveira, Bruno C. d. S.

    Abstract | Document (698 KB) | BibTeX

    Row and Bounded Polymorphism via Disjoint Polymorphism
    Authors: Xie, Ningning ; Oliveira, Bruno C. d. S. ; Bi, Xuan ; Schrijvers, Tom

    Abstract | Document (698 KB) | BibTeX

    A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications
    Authors: Sampaio, Gabriela ; Fragoso Santos, José ; Maksimović, Petar ; Gardner, Philippa

    Abstract | Document (1,763 KB) | BibTeX

    The Duality of Subtyping
    Authors: Oliveira, Bruno C. d. S. ; Shaobo, Cui ; Rehman, Baber

    Abstract | Document (712 KB) | BibTeX

    Safe, Flexible Aliasing with Deferred Borrows
    Authors: Fallin, Chris

    Abstract | Document (565 KB) | BibTeX

    Reshape Your Layouts, Not Your Programs: A Safe Language Extension for Better Cache Locality (SCICO Journal-first)
    Authors: Tasos, Alexandros ; Franco, Juliana ; Drossopoulou, Sophia ; Wrigstad, Tobias ; Eisenbach, Susan

    Abstract | Document (312 KB) | BibTeX

    A Big Step from Finite to Infinite Computations (SCICO Journal-first)
    Authors: Ancona, Davide ; Dagnino, Francesco ; Rot, Jurriaan ; Zucca, Elena

    Abstract | Document (242 KB) | BibTeX

    Abstracting Gradual References (SCICO Journal-first)
    Authors: Toro, Matías ; Tanter, Éric

    Abstract | Document (282 KB) | BibTeX

    		  



    DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI