<h2>DARTS, Volume 6, Issue 2, ECOOP 2020</h2>
<ul>
<li>
<span class="authors">Lisa Nguyen Quang Do and Manuel Rigger</span>
<span class="title">Front Matter, Table of Contents, Preface, Conference Organization</span>
<a class="doi" href="https://doi.org/10.4230/DARTS.6.2.0">10.4230/DARTS.6.2.0</a>
</li>
<li>
<span class="authors">Mohamad Barbar, Yulei Sui, and Shiping Chen</span>
<span class="title">Flow-Sensitive Type-Based Heap Cloning (Artifact)</span>
<a class="doi" href="https://doi.org/10.4230/DARTS.6.2.1">10.4230/DARTS.6.2.1</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 (Artifact)</span>
<a class="doi" href="https://doi.org/10.4230/DARTS.6.2.2">10.4230/DARTS.6.2.2</a>
</li>
<li>
<span class="authors">Alastair F. Donaldson, Hugues Evrard, and Paul Thomson</span>
<span class="title">Putting Randomized Compiler Testing into Production (Artifact)</span>
<a class="doi" href="https://doi.org/10.4230/DARTS.6.2.3">10.4230/DARTS.6.2.3</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 (Artifact)</span>
<a class="doi" href="https://doi.org/10.4230/DARTS.6.2.4">10.4230/DARTS.6.2.4</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 (Artifact)</span>
<a class="doi" href="https://doi.org/10.4230/DARTS.6.2.5">10.4230/DARTS.6.2.5</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 (Artifact)</span>
<a class="doi" href="https://doi.org/10.4230/DARTS.6.2.6">10.4230/DARTS.6.2.6</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 (Artifact)</span>
<a class="doi" href="https://doi.org/10.4230/DARTS.6.2.7">10.4230/DARTS.6.2.7</a>
</li>
<li>
<span class="authors">Bruno C. d. S. Oliveira, Cui Shaobo, and Baber Rehman</span>
<span class="title">The Duality of Subtyping (Artifact)</span>
<a class="doi" href="https://doi.org/10.4230/DARTS.6.2.8">10.4230/DARTS.6.2.8</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 (Artifact)</span>
<a class="doi" href="https://doi.org/10.4230/DARTS.6.2.9">10.4230/DARTS.6.2.9</a>
</li>
<li>
<span class="authors">Abel Nieto, Marianna Rapoport, Gregor Richards, and Ondřej Lhoták</span>
<span class="title">Blame for Null (Artifact)</span>
<a class="doi" href="https://doi.org/10.4230/DARTS.6.2.10">10.4230/DARTS.6.2.10</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 (Artifact)</span>
<a class="doi" href="https://doi.org/10.4230/DARTS.6.2.11">10.4230/DARTS.6.2.11</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 (Artifact)</span>
<a class="doi" href="https://doi.org/10.4230/DARTS.6.2.12">10.4230/DARTS.6.2.12</a>
</li>
<li>
<span class="authors">Simon Fowler</span>
<span class="title">Model-View-Update-Communicate: Session Types Meet the Elm Architecture (Artifact)</span>
<a class="doi" href="https://doi.org/10.4230/DARTS.6.2.13">10.4230/DARTS.6.2.13</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 (Artifact)</span>
<a class="doi" href="https://doi.org/10.4230/DARTS.6.2.14">10.4230/DARTS.6.2.14</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 (Artifact)</span>
<a class="doi" href="https://doi.org/10.4230/DARTS.6.2.15">10.4230/DARTS.6.2.15</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 (Artifact)</span>
<a class="doi" href="https://doi.org/10.4230/DARTS.6.2.16">10.4230/DARTS.6.2.16</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 (Artifact)</span>
<a class="doi" href="https://doi.org/10.4230/DARTS.6.2.17">10.4230/DARTS.6.2.17</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 (Artifact)</span>
<a class="doi" href="https://doi.org/10.4230/DARTS.6.2.18">10.4230/DARTS.6.2.18</a>
</li>
<li>
<span class="authors">Alexandros Tasos, Juliana Franco, Sophia Drossopoulou, Tobias Wrigstad, and Susan Eisenbach</span>
<span class="title">Implementation of SHAPES Case Studies (Artifact)</span>
<a class="doi" href="https://doi.org/10.4230/DARTS.6.2.19">10.4230/DARTS.6.2.19</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