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