HTML Export for ECOOP 2019

Copy to Clipboard Download

<h2>DARTS, Volume 5, Issue 2, ECOOP 2019</h2>
<ul>
<li>
    <span class="authors">Maria Christakis and Manuel Rigger</span>
    <span class="title">Front Matter - ECOOP 2019 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.5.2.0">10.4230/DARTS.5.2.0</a>
</li>
<li>
    <span class="authors">Kiko Fernandez-Reyes, Dave Clarke, Ludovic Henrio, Einar Broch Johnsen, and Tobias Wrigstad</span>
    <span class="title">Godot: All the Benefits of Implicit and Explicit Futures (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.5.2.1">10.4230/DARTS.5.2.1</a>
</li>
<li>
    <span class="authors">Matthias Springer and Hidehiko Masuhara</span>
    <span class="title">DynaSOAr: A Parallel Memory Allocator for Object-Oriented Programming on GPUs with Efficient Memory Access (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.5.2.2">10.4230/DARTS.5.2.2</a>
</li>
<li>
    <span class="authors">Dhruv C. Makwana and Neelakantan R. Krishnaswami</span>
    <span class="title">NumLin: Linear Types for Linear Algebra (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.5.2.3">10.4230/DARTS.5.2.3</a>
</li>
<li>
    <span class="authors">Robbert Gurdeep Singh, Carmen Torres Lopez, Stefan Marr, Elisa Gonzalez Boix, and Christophe Scholliers</span>
    <span class="title">Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.5.2.4">10.4230/DARTS.5.2.4</a>
</li>
<li>
    <span class="authors">Alen Arslanagić, Jorge A. Pérez, and Erik Voogd</span>
    <span class="title">Minimal Session Types (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.5.2.5">10.4230/DARTS.5.2.5</a>
</li>
<li>
    <span class="authors">George Fourtounis and Yannis Smaragdakis</span>
    <span class="title">Deep Static Modeling of invokedynamic (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.5.2.6">10.4230/DARTS.5.2.6</a>
</li>
<li>
    <span class="authors">Noah Van Es, Quentin Stiévenart, and Coen De Roover</span>
    <span class="title">Garbage-Free Abstract Interpretation Through Abstract Reference Counting (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.5.2.7">10.4230/DARTS.5.2.7</a>
</li>
<li>
    <span class="authors">Benjamin Chung, Francesco Zappa Nardelli, and Jan Vitek</span>
    <span class="title">On Julia’s Efficient Algorithm for Subtyping Union Types and Covariant Tuples (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.5.2.8">10.4230/DARTS.5.2.8</a>
</li>
<li>
    <span class="authors">Alexi Turcotte, Ellen Arteca, and Gregor Richards</span>
    <span class="title">Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.5.2.9">10.4230/DARTS.5.2.9</a>
</li>
<li>
    <span class="authors">Hong Jin Kang, Ferdian Thung, Julia Lawall, Gilles Muller, Lingxiao Jiang, and David Lo</span>
    <span class="title">Semantic Patches for Java Program Transformation (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.5.2.10">10.4230/DARTS.5.2.10</a>
</li>
<li>
    <span class="authors">Alex Villazón, Haiyang Sun, Andrea Rosà, Eduardo Rosales, Daniele Bonetta, Isabella Defilippis, Sergio Oporto, and Walter Binder</span>
    <span class="title">Automated Large-Scale Multi-Language Dynamic Program Analysis in the Wild (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.5.2.11">10.4230/DARTS.5.2.11</a>
</li>
<li>
    <span class="authors">Ori Roth and Yossi Gil</span>
    <span class="title">Fling - A Fluent API Generator (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.5.2.12">10.4230/DARTS.5.2.12</a>
</li>
<li>
    <span class="authors">Shawn Meier, Sergio Mover, and Bor-Yuh Evan Chang</span>
    <span class="title">Lifestate: Event-Driven Protocols and Callback Control Flow (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.5.2.13">10.4230/DARTS.5.2.13</a>
</li>
<li>
    <span class="authors">Jan de Muijnck-Hughes and Wim Vanderbauwhede</span>
    <span class="title">A Typing Discipline for Hardware Interfaces (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.5.2.14">10.4230/DARTS.5.2.14</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