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