ISSN 2509-8195



Volume 3 (2017)

Issue 2
Front Matter - ECOOP 2017 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee
Dagstuhl Artifacts Series, Volume 3, Issue 2, pp. 00:-1-00:-12, doi: 10.4230/DARTS.3.2.0

IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition (Artifact)
Dagstuhl Artifacts Series, Volume 3, Issue 2, pp. 01:1-01:2, doi: 10.4230/DARTS.3.2.1

A Capability-Based Module System for Authority Control (Artifact)
Dagstuhl Artifacts Series, Volume 3, Issue 2, pp. 02:1-02:2, doi: 10.4230/DARTS.3.2.2

A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact)
Dagstuhl Artifacts Series, Volume 3, Issue 2, pp. 03:1-03:2, doi: 10.4230/DARTS.3.2.3

Concurrent Data Structures Linked in Time (Artifact)
Dagstuhl Artifacts Series, Volume 3, Issue 2, pp. 04:1-04:4, doi: 10.4230/DARTS.3.2.4

Towards Strong Normalization for Dependent Object Types (DOT) (Artifact)
Dagstuhl Artifacts Series, Volume 3, Issue 2, pp. 05:1-05:3, doi: 10.4230/DARTS.3.2.5

Contracts in the Wild: A Study of Java Programs (Artifact)
Dagstuhl Artifacts Series, Volume 3, Issue 2, pp. 06:1-06:4, doi: 10.4230/DARTS.3.2.6

Parallelizing Julia with a Non-Invasive DSL (Artifact)
Dagstuhl Artifacts Series, Volume 3, Issue 2, pp. 07:1-07:2, doi: 10.4230/DARTS.3.2.7

Mixed Messages: Measuring Conformance and Non-Interference in TypeScript (Artifact)
Dagstuhl Artifacts Series, Volume 3, Issue 2, pp. 08:1-08:2, doi: 10.4230/DARTS.3.2.8

Type Abstraction for Relaxed Noninterference (Artifact)
Dagstuhl Artifacts Series, Volume 3, Issue 2, pp. 09:1-09:2, doi: 10.4230/DARTS.3.2.9

EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse (Artifact)
Dagstuhl Artifacts Series, Volume 3, Issue 2, pp. 10:1-10:2, doi: 10.4230/DARTS.3.2.10

Mailbox Abstractions for Static Analysis of Actor Programs (Artifact)
Dagstuhl Artifacts Series, Volume 3, Issue 2, pp. 11:1-11:2, doi: 10.4230/DARTS.3.2.11

Data Exploration through Dot-driven Development (Artifact)
Dagstuhl Artifacts Series, Volume 3, Issue 2, pp. 12:1-12:2, doi: 10.4230/DARTS.3.2.12

Evil Pickles: DoS Attacks Based on Object-Graph Engineering (Artifact)
Dagstuhl Artifacts Series, Volume 3, Issue 2, pp. 13:1-13:3, doi: 10.4230/DARTS.3.2.13

Interprocedural Specialization of Higher-Order Dynamic Languages Without Static Analysis (Artifact)
Dagstuhl Artifacts Series, Volume 3, Issue 2, pp. 14:1-14:2, doi: 10.4230/DARTS.3.2.14

Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris (Artifact)
Dagstuhl Artifacts Series, Volume 3, Issue 2, pp. 15:1-15:2, doi: 10.4230/DARTS.3.2.15

Proactive Synthesis of Recursive Tree-to-String Functions from Examples (Artifact)
Dagstuhl Artifacts Series, Volume 3, Issue 2, pp. 16:1-16:2, doi: 10.4230/DARTS.3.2.16

Issue 1
Front Matter - SEAMS 2017 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee
Dagstuhl Artifacts Series, Volume 3, Issue 1, pp. 00:-1-00:-12, doi: 10.4230/DARTS.3.1.0

Hadoop-Benchmark: Rapid Prototyping and Evaluation of Self-Adaptive Behaviors in Hadoop Clusters (Artifact)
Dagstuhl Artifacts Series, Volume 3, Issue 1, pp. 01:1-01:3, doi: 10.4230/DARTS.3.1.1

Self-Adaptive Video Encoder: Comparison of Multiple Adaptation Strategies Made Simple (Artifact)
Dagstuhl Artifacts Series, Volume 3, Issue 1, pp. 02:1-02:3, doi: 10.4230/DARTS.3.1.2

UNDERSEA: An Exemplar for Engineering Self-Adaptive Unmanned Underwater Vehicles (Artifact)
Dagstuhl Artifacts Series, Volume 3, Issue 1, pp. 03:1-03:2, doi: 10.4230/DARTS.3.1.3

DeltaIoT: A Real World Exemplar for Self-Adaptive Internet of Things (Artifact)
Dagstuhl Artifacts Series, Volume 3, Issue 1, pp. 04:1-04:2, doi: 10.4230/DARTS.3.1.4

Model Problem (CrowdNav) and Framework (RTX) for Self-Adaptation Based on Big Data Analytics (Artifact)
Dagstuhl Artifacts Series, Volume 3, Issue 1, pp. 05:1-05:3, doi: 10.4230/DARTS.3.1.5

Intelligent Ensembles a Declarative Group Description Language and Java Framework (Artifact)
Dagstuhl Artifacts Series, Volume 3, Issue 1, pp. 06:1-06:3, doi: 10.4230/DARTS.3.1.6

Lotus@Runtime: A Tool for Runtime Monitoring and Verification of Self-adaptive Systems (Artifact)
Dagstuhl Artifacts Series, Volume 3, Issue 1, pp. 07:1-07:5, doi: 10.4230/DARTS.3.1.7

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