LIPIcs, Volume 166, ECOOP 2020

• Robert Hirschfeld and Tobias Pape LIPIcs, Volume 166, ECOOP 2020, Complete Volume 10.4230/LIPIcs.ECOOP.2020
• Robert Hirschfeld and Tobias Pape Front Matter, Table of Contents, Preface, Conference Organization 10.4230/LIPIcs.ECOOP.2020.0
• Davide Ancona, Pietro Barbieri, Francesco Dagnino, and Elena Zucca Sound Regular Corecursion in coFJ 10.4230/LIPIcs.ECOOP.2020.1
• Hila Peleg and Nadia Polikarpova Perfect Is the Enemy of Good: Best-Effort Program Synthesis 10.4230/LIPIcs.ECOOP.2020.2
• Abel Nieto, Marianna Rapoport, Gregor Richards, and Ondřej Lhoták Blame for Null 10.4230/LIPIcs.ECOOP.2020.3
• Julia Gabet and Nobuko Yoshida Static Race Detection and Mutex Safety and Liveness for Go Programs 10.4230/LIPIcs.ECOOP.2020.4
• Evgenii Moiseenko, Anton Podkopaev, Ori Lahav, Orestis Melkonian, and Viktor Vafeiadis Reconciling Event Structures with Modern Multiprocessors 10.4230/LIPIcs.ECOOP.2020.5
• Lukas Diekmann and Laurence Tratt Don't Panic! Better, Fewer, Syntax Errors for LR Parsers 10.4230/LIPIcs.ECOOP.2020.6
• Liyi Li and Elsa L. Gunter K-LLVM: A Relatively Complete Semantics of LLVM IR 10.4230/LIPIcs.ECOOP.2020.7
• Yuya Tsuda, Atsushi Igarashi, and Tomoya Tabuchi Space-Efficient Gradual Typing in Coercion-Passing Style 10.4230/LIPIcs.ECOOP.2020.8
• Keigo Imai, Rumyana Neykova, Nobuko Yoshida, and Shoji Yuen Multiparty Session Programming With Global Protocol Combinators 10.4230/LIPIcs.ECOOP.2020.9
• Colin S. Gordon Designing with Static Capabilities and Effects: Use, Mention, and Invariants (Pearl) 10.4230/LIPIcs.ECOOP.2020.10
• Sadegh Dalvandi, Simon Doherty, Brijesh Dongol, and Heike Wehrheim Owicki-Gries Reasoning for C11 RAR 10.4230/LIPIcs.ECOOP.2020.11
• Magnus Madsen, Ondřej Lhoták, and Frank Tip A Semantics for the Essence of React 10.4230/LIPIcs.ECOOP.2020.12
• David R. MacIver and Alastair F. Donaldson Test-Case Reduction via Test-Case Generation: Insights from the Hypothesis Reducer (Tool Insights Paper) 10.4230/LIPIcs.ECOOP.2020.13
• Simon Fowler Model-View-Update-Communicate: Session Types Meet the Elm Architecture 10.4230/LIPIcs.ECOOP.2020.14
• Sifis Lagouvardos, Julian Dolby, Neville Grech, Anastasios Antoniadis, and Yannis Smaragdakis Static Analysis of Shape in TensorFlow Programs 10.4230/LIPIcs.ECOOP.2020.15
• Benjamin Barslev Nielsen and Anders Møller Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript 10.4230/LIPIcs.ECOOP.2020.16
• Raphaël Monat, Abdelraouf Ouadjaout, and Antoine Miné Static Type Analysis by Abstract Interpretation of Python Programs 10.4230/LIPIcs.ECOOP.2020.17
• Vlastimil Dort and Ondřej Lhoták Reference Mutability for DOT 10.4230/LIPIcs.ECOOP.2020.18
• Sam Van den Vonder, Thierry Renaux, Bjarno Oeyen, Joeri De Koster, and Wolfgang De Meuter Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model 10.4230/LIPIcs.ECOOP.2020.19
• Jan de Muijnck-Hughes, Edwin Brady, and Wim Vanderbauwhede A Framework for Resource Dependent EDSLs in a Dependently Typed Language (Pearl) 10.4230/LIPIcs.ECOOP.2020.20
• Shale Xiong, Andrea Cerone, Azalea Raad, and Philippa Gardner Data Consistency in Transactional Storage Systems: A Centralised Semantics 10.4230/LIPIcs.ECOOP.2020.21
• Alastair F. Donaldson, Hugues Evrard, and Paul Thomson Putting Randomized Compiler Testing into Production (Experience Report) 10.4230/LIPIcs.ECOOP.2020.22
• Colin S. Gordon Lifting Sequential Effects to Control Operators 10.4230/LIPIcs.ECOOP.2020.23
• Mohamad Barbar, Yulei Sui, and Shiping Chen Flow-Sensitive Type-Based Heap Cloning 10.4230/LIPIcs.ECOOP.2020.24
• Abel Nieto, Yaoyu Zhao, Ondřej Lhoták, Angela Chang, and Justin Pu Scala with Explicit Nulls 10.4230/LIPIcs.ECOOP.2020.25
• Xuejing Huang and Bruno C. d. S. Oliveira A Type-Directed Operational Semantics For a Calculus with a Merge Operator 10.4230/LIPIcs.ECOOP.2020.26
• Ningning Xie, Bruno C. d. S. Oliveira, Xuan Bi, and Tom Schrijvers Row and Bounded Polymorphism via Disjoint Polymorphism 10.4230/LIPIcs.ECOOP.2020.27
• Gabriela Sampaio, José Fragoso Santos, Petar Maksimović, and Philippa Gardner A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications 10.4230/LIPIcs.ECOOP.2020.28
• Bruno C. d. S. Oliveira, Cui Shaobo, and Baber Rehman The Duality of Subtyping 10.4230/LIPIcs.ECOOP.2020.29
• Chris Fallin Safe, Flexible Aliasing with Deferred Borrows 10.4230/LIPIcs.ECOOP.2020.30
• Alexandros Tasos, Juliana Franco, Sophia Drossopoulou, Tobias Wrigstad, and Susan Eisenbach Reshape Your Layouts, Not Your Programs: A Safe Language Extension for Better Cache Locality (SCICO Journal-first) 10.4230/LIPIcs.ECOOP.2020.31
• Davide Ancona, Francesco Dagnino, Jurriaan Rot, and Elena Zucca A Big Step from Finite to Infinite Computations (SCICO Journal-first) 10.4230/LIPIcs.ECOOP.2020.32
• Matías Toro and Éric Tanter Abstracting Gradual References (SCICO Journal-first) 10.4230/LIPIcs.ECOOP.2020.33