HTML Export for ECOOP 2017

Copy to Clipboard Download

<h2>DARTS, Volume 3, Issue 2, ECOOP 2017</h2>
<ul>
<li>
    <span class="authors">Philipp Haller, Michael Pradel, and Tijs van der Storm</span>
    <span class="title">Front Matter - ECOOP 2017 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.3.2.0">10.4230/DARTS.3.2.0</a>
</li>
<li>
    <span class="authors">Daco C. Harkes and Eelco Visser</span>
    <span class="title">IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.3.2.1">10.4230/DARTS.3.2.1</a>
</li>
<li>
    <span class="authors">Darya Melicher, Yangqingwei Shi, Alex Potanin, and Jonathan Aldrich</span>
    <span class="title">A Capability-Based Module System for Authority Control (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.3.2.2">10.4230/DARTS.3.2.2</a>
</li>
<li>
    <span class="authors">Alceste Scalas, Ornela Dardha, Raymond Hu, and Nobuko Yoshida</span>
    <span class="title">A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.3.2.3">10.4230/DARTS.3.2.3</a>
</li>
<li>
    <span class="authors">Germán Andrés Delbianco, Ilya Sergey, Aleksandar Nanevski, and Anindya Banerjee</span>
    <span class="title">Concurrent Data Structures Linked in Time (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.3.2.4">10.4230/DARTS.3.2.4</a>
</li>
<li>
    <span class="authors">Fei Wang and Tiark Rompf</span>
    <span class="title">Towards Strong Normalization for Dependent Object Types (DOT) (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.3.2.5">10.4230/DARTS.3.2.5</a>
</li>
<li>
    <span class="authors">Jens Dietrich, David J. Pearce, Kamil Jezek, and Premek Brada</span>
    <span class="title">Contracts in the Wild: A Study of Java Programs (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.3.2.6">10.4230/DARTS.3.2.6</a>
</li>
<li>
    <span class="authors">Todd A. Anderson, Hai Liu, Lindsey Kuper, Ehsan Totoni, Jan Vitek, and Tatiana Shpeisman</span>
    <span class="title">Parallelizing Julia with a Non-Invasive DSL (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.3.2.7">10.4230/DARTS.3.2.7</a>
</li>
<li>
    <span class="authors">Jack Williams, J. Garrett Morris, Philip Wadler, and Jakub Zalewski</span>
    <span class="title">Mixed Messages: Measuring Conformance and Non-Interference in TypeScript (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.3.2.8">10.4230/DARTS.3.2.8</a>
</li>
<li>
    <span class="authors">Raimil Cruz, Tamara Rezk, Bernard Serpette, and Éric Tanter</span>
    <span class="title">Type Abstraction for Relaxed Noninterference (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.3.2.9">10.4230/DARTS.3.2.9</a>
</li>
<li>
    <span class="authors">Weixin Zhang and Bruno C. d. S. Oliveira</span>
    <span class="title">EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.3.2.10">10.4230/DARTS.3.2.10</a>
</li>
<li>
    <span class="authors">Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, and Coen De Roover</span>
    <span class="title">Mailbox Abstractions for Static Analysis of Actor Programs (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.3.2.11">10.4230/DARTS.3.2.11</a>
</li>
<li>
    <span class="authors">Tomas Petricek</span>
    <span class="title">Data Exploration through Dot-driven Development (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.3.2.12">10.4230/DARTS.3.2.12</a>
</li>
<li>
    <span class="authors">Jens Dietrich, Kamil Jezek, Shawn Rasheed, Amjed Tahir, and Alex Potanin</span>
    <span class="title">Evil Pickles: DoS Attacks Based on Object-Graph Engineering (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.3.2.13">10.4230/DARTS.3.2.13</a>
</li>
<li>
    <span class="authors">Baptiste Saleil and Marc Feeley</span>
    <span class="title">Interprocedural Specialization of Higher-Order Dynamic Languages Without Static Analysis (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.3.2.14">10.4230/DARTS.3.2.14</a>
</li>
<li>
    <span class="authors">Jan-Oliver Kaiser, Hoang-Hai Dang, Derek Dreyer, Ori Lahav, and Viktor Vafeiadis</span>
    <span class="title">Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.3.2.15">10.4230/DARTS.3.2.15</a>
</li>
<li>
    <span class="authors">Mikaël Mayer, Jad Hamza, and Viktor Kuncak</span>
    <span class="title">Proactive Synthesis of Recursive Tree-to-String Functions from Examples (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.3.2.16">10.4230/DARTS.3.2.16</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