HTML Export for ECOOP 2016

Copy to Clipboard Download

<h2>DARTS, Volume 2, Issue 1, ECOOP 2016</h2>
<ul>
<li>
    <span class="authors">Matthew Flatt and Tijs van der Storm</span>
    <span class="title">Front Matter, Table of Contents, Preface, Artifact Evaluation Committee</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.2.1.0">10.4230/DARTS.2.1.0</a>
</li>
<li>
    <span class="authors">Edd Barrett, Carl Friedrich Bolz, Lukas Diekmann, and Laurence Tratt</span>
    <span class="title">Fine-grained Language Composition: A Case Study (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.2.1.1">10.4230/DARTS.2.1.1</a>
</li>
<li>
    <span class="authors">Carl Friedrich Bolz, Darya Kurilova, and Laurence Tratt</span>
    <span class="title">Making an Embedded DBMS JIT-friendly (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.2.1.2">10.4230/DARTS.2.1.2</a>
</li>
<li>
    <span class="authors">Jon Eyolfson and Patrick Lam</span>
    <span class="title">C++ const and Immutability: An Empirical Study of Writes-Through-const (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.2.1.3">10.4230/DARTS.2.1.3</a>
</li>
<li>
    <span class="authors">Luminous Fennell and Peter Thiemann</span>
    <span class="title">LJGS: Gradual Security Types for Object-Oriented Languages (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.2.1.4">10.4230/DARTS.2.1.4</a>
</li>
<li>
    <span class="authors">Kamil Jezek and Jens Dietrich</span>
    <span class="title">Magic with Dynamo – Flexible Cross-Component Linking for Java with Invokedynamic (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.2.1.5">10.4230/DARTS.2.1.5</a>
</li>
<li>
    <span class="authors">Timothy Jones and Michael Homer</span>
    <span class="title">Object Inheritance Without Classes (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.2.1.6">10.4230/DARTS.2.1.6</a>
</li>
<li>
    <span class="authors">Jaakko Järvi and Sean Parent</span>
    <span class="title">One Way to Select Many (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.2.1.7">10.4230/DARTS.2.1.7</a>
</li>
<li>
    <span class="authors">Tian Tan, Yue Li, Yifei Zhang, and Jingling Xue</span>
    <span class="title">Program Tailoring: Slicing by Sequential Criteria (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.2.1.8">10.4230/DARTS.2.1.8</a>
</li>
<li>
    <span class="authors">Leandro Facchinetti, Zachary Palmer, and Scott F. Smith</span>
    <span class="title">Higher-Order Demand-Driven Program Analysis (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.2.1.9">10.4230/DARTS.2.1.9</a>
</li>
<li>
    <span class="authors">Casper Bach Poulsen, Pierre Néron, Andrew Tolmach, and Eelco Visser</span>
    <span class="title">Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.2.1.10">10.4230/DARTS.2.1.10</a>
</li>
<li>
    <span class="authors">Alceste Scalas and Nobuko Yoshida</span>
    <span class="title">Lightweight Session Programming in Scala (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.2.1.11">10.4230/DARTS.2.1.11</a>
</li>
<li>
    <span class="authors">Johannes Späth, Lisa Nguyen Quang Do, Karim Ali, and Eric Bodden</span>
    <span class="title">Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.2.1.12">10.4230/DARTS.2.1.12</a>
</li>
<li>
    <span class="authors">Janwillem Swalens</span>
    <span class="title">Transactional Tasks: Parallelism in Software Transactions (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.2.1.13">10.4230/DARTS.2.1.13</a>
</li>
<li>
    <span class="authors">John Toman and Dan Grossman</span>
    <span class="title">Staccato: A Bug Finder for Dynamic Configuration Updates (Artifact)</span>
    <a class="doi" href="https://doi.org/10.4230/DARTS.2.1.14">10.4230/DARTS.2.1.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