ISSN 2509-8195



Volume 2 (2016)

Issue 1
Front Matter, Table of Contents, Preface, Artifact Evaluation Committee
Dagstuhl Artifacts Series, Volume 2, Issue 1, pp. 00:-1-00:-10, doi: 10.4230/DARTS.2.1.0

Fine-grained Language Composition: A Case Study (Artifact)
Dagstuhl Artifacts Series, Volume 2, Issue 1, pp. 01:1-01:2, doi: 10.4230/DARTS.2.1.1

Making an Embedded DBMS JIT-friendly (Artifact)
Dagstuhl Artifacts Series, Volume 2, Issue 1, pp. 02:1-02:2, doi: 10.4230/DARTS.2.1.2

C++ const and Immutability: An Empirical Study of Writes-Through-const (Artifact)
Dagstuhl Artifacts Series, Volume 2, Issue 1, pp. 03:1-03:2, doi: 10.4230/DARTS.2.1.3

LJGS: Gradual Security Types for Object-Oriented Languages (Artifact)
Dagstuhl Artifacts Series, Volume 2, Issue 1, pp. 04:1-04:2, doi: 10.4230/DARTS.2.1.4

Magic with Dynamo Flexible Cross-Component Linking for Java with Invokedynamic (Artifact)
Dagstuhl Artifacts Series, Volume 2, Issue 1, pp. 05:1-05:2, doi: 10.4230/DARTS.2.1.5

Object Inheritance Without Classes (Artifact)
Dagstuhl Artifacts Series, Volume 2, Issue 1, pp. 06:1-06:2, doi: 10.4230/DARTS.2.1.6

One Way to Select Many (Artifact)
Dagstuhl Artifacts Series, Volume 2, Issue 1, pp. 07:1-07:2, doi: 10.4230/DARTS.2.1.7

Program Tailoring: Slicing by Sequential Criteria (Artifact)
Dagstuhl Artifacts Series, Volume 2, Issue 1, pp. 08:1-08:3, doi: 10.4230/DARTS.2.1.8

Higher-Order Demand-Driven Program Analysis (Artifact)
Dagstuhl Artifacts Series, Volume 2, Issue 1, pp. 09:1-09:2, doi: 10.4230/DARTS.2.1.9

Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (Artifact)
Dagstuhl Artifacts Series, Volume 2, Issue 1, pp. 10:1-10:3, doi: 10.4230/DARTS.2.1.10

Lightweight Session Programming in Scala (Artifact)
Dagstuhl Artifacts Series, Volume 2, Issue 1, pp. 11:1-11:2, doi: 10.4230/DARTS.2.1.11

Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java (Artifact)
Dagstuhl Artifacts Series, Volume 2, Issue 1, pp. 12:1-12:2, doi: 10.4230/DARTS.2.1.12

Transactional Tasks: Parallelism in Software Transactions (Artifact)
Dagstuhl Artifacts Series, Volume 2, Issue 1, pp. 13:1-13:2, doi: 10.4230/DARTS.2.1.13

Staccato: A Bug Finder for Dynamic Configuration Updates (Artifact)
Dagstuhl Artifacts Series, Volume 2, Issue 1, pp. 14:1-14:2, doi: 10.4230/DARTS.2.1.14

Volume 1 (2015)

Issue 1
Front Matter, Table of Contents
Dagstuhl Artifacts Series, Volume 1, Issue 1, pp. 00:-1-00:-6, doi: 10.4230/DARTS.1.1.0

TreatJS: Higher-Order Contracts for JavaScript (Artifact)
Dagstuhl Artifacts Series, Volume 1, Issue 1, pp. 01:1-01:2, doi: 10.4230/DARTS.1.1.1

Transparent Object Proxies for JavaScript (Artifact)
Dagstuhl Artifacts Series, Volume 1, Issue 1, pp. 02:1-02:2, doi: 10.4230/DARTS.1.1.2

A Theory of Tagged Objects (Artifact)
Dagstuhl Artifacts Series, Volume 1, Issue 1, pp. 03:1-03:3, doi: 10.4230/DARTS.1.1.3

Brand Objects for Nominal Typing (Artifact)
Dagstuhl Artifacts Series, Volume 1, Issue 1, pp. 04:1-04:2, doi: 10.4230/DARTS.1.1.4

Optimization Coaching for JavaScript (Artifact)
Dagstuhl Artifacts Series, Volume 1, Issue 1, pp. 05:1-05:2, doi: 10.4230/DARTS.1.1.5

The Eureka Programming Model for Speculative Task Parallelism (Artifact)
Dagstuhl Artifacts Series, Volume 1, Issue 1, pp. 06:1-06:2, doi: 10.4230/DARTS.1.1.6

The Love/Hate Relationship with the C Preprocessor: An Interview Study (Artifact)
Dagstuhl Artifacts Series, Volume 1, Issue 1, pp. 07:1-07:32, doi: 10.4230/DARTS.1.1.7

A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization (Artifact)
Dagstuhl Artifacts Series, Volume 1, Issue 1, pp. 08:1-08:2, doi: 10.4230/DARTS.1.1.8

Streams la carte: Extensible Pipelines with Object Algebras (Artifact)
Dagstuhl Artifacts Series, Volume 1, Issue 1, pp. 09:1-09:2, doi: 10.4230/DARTS.1.1.9

Lightweight Support for Magic Wands in an Automatic Verifier (Artifact)
Dagstuhl Artifacts Series, Volume 1, Issue 1, pp. 10:1-10:2, doi: 10.4230/DARTS.1.1.10

Framework for Static Analysis of PHP Applications (Artifact)
Dagstuhl Artifacts Series, Volume 1, Issue 1, pp. 11:1-11:2, doi: 10.4230/DARTS.1.1.11

Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity (Artifact)
Dagstuhl Artifacts Series, Volume 1, Issue 1, pp. 12:1-12:2, doi: 10.4230/DARTS.1.1.12



More about Dagstuhl Artifacts Series