ISSN 2509-8195



Volume 4 (2018)

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

Dependent Types for Class-based Mutable Objects (Artifact)
Dagstuhl Artifacts Series, Volume 4, Issue 3, pp. 01:1-01:2, doi: 10.4230/DARTS.4.3.1

Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates (Artifact)
Dagstuhl Artifacts Series, Volume 4, Issue 3, pp. 02:1-02:2, doi: 10.4230/DARTS.4.3.2

Static Typing of Complex Presence Constraints in Interfaces (Artifact)
Dagstuhl Artifacts Series, Volume 4, Issue 3, pp. 03:1-03:2, doi: 10.4230/DARTS.4.3.3

ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions (Artifact)
Dagstuhl Artifacts Series, Volume 4, Issue 3, pp. 04:1-04:2, doi: 10.4230/DARTS.4.3.4

The Essence of Nested Composition (Artifact)
Dagstuhl Artifacts Series, Volume 4, Issue 3, pp. 05:1-05:2, doi: 10.4230/DARTS.4.3.5

CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs (Artifact)
Dagstuhl Artifacts Series, Volume 4, Issue 3, pp. 06:1-06:4, doi: 10.4230/DARTS.4.3.6

Definite Reference Mutability (Artifact)
Dagstuhl Artifacts Series, Volume 4, Issue 3, pp. 07:1-07:3, doi: 10.4230/DARTS.4.3.7

Type Regression Testing to Detect Breaking Changes in Node.js Libraries (Artifact)
Dagstuhl Artifacts Series, Volume 4, Issue 3, pp. 08:1-08:2, doi: 10.4230/DARTS.4.3.8

Typed First-Class Traits (Artifact)
Dagstuhl Artifacts Series, Volume 4, Issue 3, pp. 09:1-09:2, doi: 10.4230/DARTS.4.3.9

KafKa: Gradual Typing for Objects (Artifact)
Dagstuhl Artifacts Series, Volume 4, Issue 3, pp. 10:1-10:3, doi: 10.4230/DARTS.4.3.10

Issue 2
Front Matter - ECRTS 2018 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee
Dagstuhl Artifacts Series, Volume 4, Issue 2, pp. 00:-1-00:-9, doi: 10.4230/DARTS.4.2.0

AdaptMC: A Control-Theoretic Approach for Achieving Resilience in Mixed-Criticality Systems (Artifact)
Dagstuhl Artifacts Series, Volume 4, Issue 2, pp. 01:1-01:3, doi: 10.4230/DARTS.4.2.1

Using Lock Servers to Scale Real-Time Locking Protocols: Chasing Ever-Increasing Core Counts (Artifact)
Dagstuhl Artifacts Series, Volume 4, Issue 2, pp. 02:1-02:3, doi: 10.4230/DARTS.4.2.2

Protecting Real-Time GPU Kernels on Integrated CPU-GPU SoC Platforms (Artifact)
Dagstuhl Artifacts Series, Volume 4, Issue 2, pp. 03:1-03:2, doi: 10.4230/DARTS.4.2.3

Beyond the Weakly Hard Model: Measuring the Performance Cost of Deadline Misses (Artifact)
Dagstuhl Artifacts Series, Volume 4, Issue 2, pp. 04:1-04:2, doi: 10.4230/DARTS.4.2.4

Worst-case Stall Analysis for Multicore Architectures with Two Memory Controllers (Artifact)
Dagstuhl Artifacts Series, Volume 4, Issue 2, pp. 05:1-05:3, doi: 10.4230/DARTS.4.2.5

Evaluations of Push Forward: Global Fixed-Priority Scheduling of Arbitrary-Deadline Sporadic Task Systems (Artifact)
Dagstuhl Artifacts Series, Volume 4, Issue 2, pp. 06:1-06:5, doi: 10.4230/DARTS.4.2.6

Whole-System WCEC Analysis for Energy-Constrained Real-Time Systems (Artifact)
Dagstuhl Artifacts Series, Volume 4, Issue 2, pp. 07:1-07:4, doi: 10.4230/DARTS.4.2.7

Issue 1
Front Matter - SEAMS 2018 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee
Dagstuhl Artifacts Series, Volume 4, Issue 1, pp. 00:-1-00:-13, doi: 10.4230/DARTS.4.1.0

mRUBiS: An Exemplar for Model-Based Architectural Self-Healing and Self-Optimization (Artifact)
Dagstuhl Artifacts Series, Volume 4, Issue 1, pp. 01:1-01:4, doi: 10.4230/DARTS.4.1.1

K8-Scalar: a workbench to compare autoscalers for container-orchestrated services (Artifact)
Dagstuhl Artifacts Series, Volume 4, Issue 1, pp. 02:1-02:6, doi: 10.4230/DARTS.4.1.2

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