HTML Export for ECOOP 2021

Copy to Clipboard Download

<h2>DARTS, Volume 7, Issue 2, ECOOP 2021</h2>
<ul>
<li>
    <span class="authors">William G. J. Halfond and Quentin Stiévenart</span>
    <span class="title">Front Matter - ECOOP 2021 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.7.2.0">10.4230/DARTS.7.2.0</a>
</li>
<li>
    <span class="authors">Hendrik van Antwerpen and Eelco Visser</span>
    <span class="title">Scope States (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.7.2.1">10.4230/DARTS.7.2.1</a>
</li>
<li>
    <span class="authors">Christian Bartolo Burlò, Adrian Francalanza, and Alceste Scalas</span>
    <span class="title">On the Monitorability of Session Types, in Theory and Practice (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.7.2.2">10.4230/DARTS.7.2.2</a>
</li>
<li>
    <span class="authors">Anish Tondwalkar, Matt Kolosick, and Ranjit Jhala</span>
    <span class="title">mist: Refinements of Futures Past (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.7.2.3">10.4230/DARTS.7.2.3</a>
</li>
<li>
    <span class="authors">Jan Bessai, George T. Heineman, and Boris Düdder</span>
    <span class="title">Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.7.2.4">10.4230/DARTS.7.2.4</a>
</li>
<li>
    <span class="authors">Ellen Arteca, Frank Tip, and Max Schäfer</span>
    <span class="title">Enabling Additional Parallelism in Asynchronous JavaScript Applications (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.7.2.5">10.4230/DARTS.7.2.5</a>
</li>
<li>
    <span class="authors">Aleksandar S. Dimovski and Sven Apel</span>
    <span class="title">Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.7.2.6">10.4230/DARTS.7.2.6</a>
</li>
<li>
    <span class="authors">Yu Hao, Sufian Latif, Hailong Zhang, Raef Bassily, and Atanas Rountev</span>
    <span class="title">Differential Privacy for Coverage Analysis of Software Traces (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.7.2.7">10.4230/DARTS.7.2.7</a>
</li>
<li>
    <span class="authors">Paul Harvey, Simon Fowler, Ornela Dardha, and Simon J. Gay</span>
    <span class="title">Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.7.2.8">10.4230/DARTS.7.2.8</a>
</li>
<li>
    <span class="authors">Wenjia Ye, Bruno C. d. S. Oliveira, and Xuejing Huang</span>
    <span class="title">Type-Directed Operational Semantics for Gradual Typing (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.7.2.9">10.4230/DARTS.7.2.9</a>
</li>
<li>
    <span class="authors">Edwin Brady</span>
    <span class="title">Idris 2: Quantitative Type Theory in Practice (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.7.2.10">10.4230/DARTS.7.2.10</a>
</li>
<li>
    <span class="authors">Weixin Zhang, Yaozhu Sun, and Bruno C. d. S. Oliveira</span>
    <span class="title">Compositional Programming (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.7.2.11">10.4230/DARTS.7.2.11</a>
</li>
<li>
    <span class="authors">Dongjie He, Jingbo Lu, Yaoqing Gao, and Jingling Xue</span>
    <span class="title">Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.7.2.12">10.4230/DARTS.7.2.12</a>
</li>
<li>
    <span class="authors">Petr Maj, Konrad Siek¹, Alexander Kovalenko, and Jan Vitek</span>
    <span class="title">CodeDJ: Reproducible Queries over Large-Scale Software Repositories (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.7.2.13">10.4230/DARTS.7.2.13</a>
</li>
<li>
    <span class="authors">Maxime Buyse, Rémi Delmas, and Youssef Hamadi</span>
    <span class="title">ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.7.2.14">10.4230/DARTS.7.2.14</a>
</li>
<li>
    <span class="authors">Ohad Rau, Caleb Voss, and Vivek Sarkar</span>
    <span class="title">Linear Promises: Towards Safer Concurrent Programming (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.7.2.15">10.4230/DARTS.7.2.15</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