|
ISSN 2509-8195 |
| Front Matter - ECOOP 2023 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee | |
|
Dagstuhl Artifacts Series, Volume 9, Issue 2, pp. 00:-1-00:-12, doi: 10.4230/DARTS.9.2.0 |
| Python Type Hints Are Turing Complete (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 9, Issue 2, pp. 01:1-01:4, doi: 10.4230/DARTS.9.2.1 |
| Dependent Merges and First-Class Environments (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 9, Issue 2, pp. 02:1-02:3, doi: 10.4230/DARTS.9.2.2 |
| Sinatra: Stateful Instantaneous Updates for Commercial Browsers Through Multi-Version eXecution (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 9, Issue 2, pp. 03:1-03:2, doi: 10.4230/DARTS.9.2.3 |
| Wiring Circuits Is Easy as {0, 1, ω}, or Is It... (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 9, Issue 2, pp. 04:1-04:3, doi: 10.4230/DARTS.9.2.4 |
| Do Machine Learning Models Produce TypeScript Types That Type Check? (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 9, Issue 2, pp. 05:1-05:3, doi: 10.4230/DARTS.9.2.5 |
| Semantics for Noninterference with Interaction Trees (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 9, Issue 2, pp. 06:1-06:2, doi: 10.4230/DARTS.9.2.6 |
| Toward Tool-Independent Summaries for Symbolic Execution (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 9, Issue 2, pp. 07:1-07:4, doi: 10.4230/DARTS.9.2.7 |
| Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations That Supports Auto-Active Verification (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 9, Issue 2, pp. 08:1-08:2, doi: 10.4230/DARTS.9.2.8 |
| Designing Asynchronous Multiparty Protocols with Crash-Stop Failures (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 9, Issue 2, pp. 09:1-09:3, doi: 10.4230/DARTS.9.2.9 |
| Dynamically Updatable Multiparty Session Protocols (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 9, Issue 2, pp. 10:1-10:2, doi: 10.4230/DARTS.9.2.10 |
| LoRe: A Programming Model for Verifiably Safe Local-First Software (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 9, Issue 2, pp. 11:1-11:2, doi: 10.4230/DARTS.9.2.11 |
| Restrictable Variants: A Simple and Practical Alternative to Extensible Variants (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 9, Issue 2, pp. 12:1-12:3, doi: 10.4230/DARTS.9.2.12 |
| The Dolorem Pattern: Growing a Language Through Compile-Time Function Execution (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 9, Issue 2, pp. 13:1-13:3, doi: 10.4230/DARTS.9.2.13 |
| Behavioural Types for Local-First Software (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 9, Issue 2, pp. 14:1-14:5, doi: 10.4230/DARTS.9.2.14 |
| Modular Verification of State-Based CRDTs in Separation Logic (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 9, Issue 2, pp. 15:1-15:5, doi: 10.4230/DARTS.9.2.15 |
| ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 9, Issue 2, pp. 16:1-16:3, doi: 10.4230/DARTS.9.2.16 |
| A Direct-Style Effect Notation for Sequential and Parallel Programs (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 9, Issue 2, pp. 17:1-17:3, doi: 10.4230/DARTS.9.2.17 |
| Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 9, Issue 2, pp. 18:1-18:2, doi: 10.4230/DARTS.9.2.18 |
| VeriFx: Correct Replicated Data Types for the Masses (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 9, Issue 2, pp. 19:1-19:2, doi: 10.4230/DARTS.9.2.19 |
| Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 9, Issue 2, pp. 20:1-20:3, doi: 10.4230/DARTS.9.2.20 |
| Automata Learning with an Incomplete Teacher (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 9, Issue 2, pp. 21:1-21:3, doi: 10.4230/DARTS.9.2.21 |
| super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 9, Issue 2, pp. 22:1-22:2, doi: 10.4230/DARTS.9.2.22 |
| Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 9, Issue 2, pp. 23:1-23:3, doi: 10.4230/DARTS.9.2.23 |
| Determinacy Race Detector for Promises (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 9, Issue 2, pp. 24:1-24:2, doi: 10.4230/DARTS.9.2.24 |
| Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 9, Issue 2, pp. 25:1-25:2, doi: 10.4230/DARTS.9.2.25 |
| Algebraic Replicated Data Types: Programming Secure Local-First Software (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 9, Issue 2, pp. 26:1-26:4, doi: 10.4230/DARTS.9.2.26 |
| Front Matter, Table of Contents, Preface, Conference Organization | |
|
Dagstuhl Artifacts Series, Volume 9, Issue 1, pp. 00:-1-00:-10, doi: 10.4230/DARTS.9.1.0 |
| A New Perspective on Criticality: Efficient State Abstraction and Run-Time Monitoring of Mixed-Criticality Real-Time Control Systems (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 9, Issue 1, pp. 01:1-01:3, doi: 10.4230/DARTS.9.1.1 |
| FusionClock: WCEC-Optimal Clock-Tree Reconfigurations (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 9, Issue 1, pp. 02:1-02:3, doi: 10.4230/DARTS.9.1.2 |
| Isospeed: Improving (min,+) Convolution by Exploiting (min,+)/(max,+) Isomorphism (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 9, Issue 1, pp. 03:1-03:4, doi: 10.4230/DARTS.9.1.3 |
| From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 9, Issue 1, pp. 04:1-04:6, doi: 10.4230/DARTS.9.1.4 |
| Front Matter - ECOOP 2022 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee | |
|
Dagstuhl Artifacts Series, Volume 8, Issue 2, pp. 00:-1-00:-12, doi: 10.4230/DARTS.8.2.0 |
| How to Take the Inverse of a Type (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 8, Issue 2, pp. 01:1-01:3, doi: 10.4230/DARTS.8.2.1 |
| Defining Corecursive Functions in Coq Using Approximations (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 8, Issue 2, pp. 02:1-02:2, doi: 10.4230/DARTS.8.2.2 |
| Compiling Volatile Correctly in Java (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 8, Issue 2, pp. 03:1-03:2, doi: 10.4230/DARTS.8.2.3 |
| Direct Foundations for Compositional Programming (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 8, Issue 2, pp. 04:1-04:3, doi: 10.4230/DARTS.8.2.4 |
| Elementary Type Inference (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 8, Issue 2, pp. 05:1-05:2, doi: 10.4230/DARTS.8.2.5 |
| Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 8, Issue 2, pp. 06:1-06:3, doi: 10.4230/DARTS.8.2.6 |
| Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 8, Issue 2, pp. 07:1-07:5, doi: 10.4230/DARTS.8.2.7 |
| Functional Programming for Distributed Systems with XC (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 8, Issue 2, pp. 08:1-08:4, doi: 10.4230/DARTS.8.2.8 |
| Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 8, Issue 2, pp. 09:1-09:16, doi: 10.4230/DARTS.8.2.9 |
| Verified Compilation and Optimization of Floating-Point Programs in CakeML (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 8, Issue 2, pp. 10:1-10:2, doi: 10.4230/DARTS.8.2.10 |
| Low-Level Bi-Abduction (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 8, Issue 2, pp. 11:1-11:6, doi: 10.4230/DARTS.8.2.11 |
| REST: Integrating Term Rewriting with Program Verification (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 8, Issue 2, pp. 12:1-12:2, doi: 10.4230/DARTS.8.2.12 |
| A Deterministic Memory Allocator for Dynamic Symbolic Execution (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 8, Issue 2, pp. 13:1-13:2, doi: 10.4230/DARTS.8.2.13 |
| Ferrite: A Judgmental Embedding of Session Types in Rust (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 8, Issue 2, pp. 14:1-14:2, doi: 10.4230/DARTS.8.2.14 |
| A Self-Dual Distillation of Session Types: Mechanized Proofs (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 8, Issue 2, pp. 15:1-15:2, doi: 10.4230/DARTS.8.2.15 |
| Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 8, Issue 2, pp. 16:1-16:3, doi: 10.4230/DARTS.8.2.16 |
| Union Types with Disjoint Switches (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 8, Issue 2, pp. 17:1-17:6, doi: 10.4230/DARTS.8.2.17 |
| Global Type Inference for Featherweight Generic Java - Prototype Implementation (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 8, Issue 2, pp. 18:1-18:4, doi: 10.4230/DARTS.8.2.18 |
| API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 8, Issue 2, pp. 19:1-19:4, doi: 10.4230/DARTS.8.2.19 |
| Concolic Execution for WebAssembly (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 8, Issue 2, pp. 20:1-20:3, doi: 10.4230/DARTS.8.2.20 |
| Design-by-Contract for Flexible Multiparty Session Protocols (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 8, Issue 2, pp. 21:1-21:5, doi: 10.4230/DARTS.8.2.21 |
| Accumulation Analysis (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 8, Issue 2, pp. 22:1-22:3, doi: 10.4230/DARTS.8.2.22 |
| JavaScript Sealed Classes (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 8, Issue 2, pp. 23:1-23:4, doi: 10.4230/DARTS.8.2.23 |
| PEDroid: Automatically Extracting Patches from Android App Updates (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 8, Issue 2, pp. 24:1-24:2, doi: 10.4230/DARTS.8.2.24 |
| Synchron - An API and Runtime for Embedded Systems (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 8, Issue 2, pp. 25:1-25:2, doi: 10.4230/DARTS.8.2.25 |
| What If We Don't Pop the Stack? The Return of 2nd-Class Values (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 8, Issue 2, pp. 26:1-26:2, doi: 10.4230/DARTS.8.2.26 |
| Front Matter - ECRTS 2022 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee | |
|
Dagstuhl Artifacts Series, Volume 8, Issue 1, pp. 00:-1-00:-10, doi: 10.4230/DARTS.8.1.0 |
| Achieving Isolation in Mixed-Criticality Industrial Edge Systems with Real-Time Containers (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 8, Issue 1, pp. 01:1-01:12, doi: 10.4230/DARTS.8.1.1 |
| Unikernel-Based Real-Time Virtualization Under Deferrable Servers: Analysis and Realization (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 8, Issue 1, pp. 02:1-02:2, doi: 10.4230/DARTS.8.1.2 |
| A Formal Link Between Response Time Analysis and Network Calculus (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 8, Issue 1, pp. 03:1-03:3, doi: 10.4230/DARTS.8.1.3 |
| Scheduling Offset-Free Systems Under FIFO Priority Protocol (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 8, Issue 1, pp. 04:1-04:2, doi: 10.4230/DARTS.8.1.4 |
| Response-Time Analysis for Self-Suspending Tasks Under EDF Scheduling (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 8, Issue 1, pp. 05:1-05:2, doi: 10.4230/DARTS.8.1.5 |
| ACETONE: Predictable Programming Framework for ML Applications in Safety-Critical Systems (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 8, Issue 1, pp. 06:1-06:2, doi: 10.4230/DARTS.8.1.6 |
| Foundational Response-Time Analysis as Explainable Evidence of Timeliness (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 8, Issue 1, pp. 07:1-07:2, doi: 10.4230/DARTS.8.1.7 |
| Front Matter - ECOOP 2021 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee | |
|
Dagstuhl Artifacts Series, Volume 7, Issue 2, pp. 00:-1-00:-11, doi: 10.4230/DARTS.7.2.0 |
| Scope States (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 7, Issue 2, pp. 01:1-01:7, doi: 10.4230/DARTS.7.2.1 |
| On the Monitorability of Session Types, in Theory and Practice (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 7, Issue 2, pp. 02:1-02:3, doi: 10.4230/DARTS.7.2.2 |
| mist: Refinements of Futures Past (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 7, Issue 2, pp. 03:1-03:11, doi: 10.4230/DARTS.7.2.3 |
| Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 7, Issue 2, pp. 04:1-04:4, doi: 10.4230/DARTS.7.2.4 |
| Enabling Additional Parallelism in Asynchronous JavaScript Applications (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 7, Issue 2, pp. 05:1-05:6, doi: 10.4230/DARTS.7.2.5 |
| Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 7, Issue 2, pp. 06:1-06:6, doi: 10.4230/DARTS.7.2.6 |
| Differential Privacy for Coverage Analysis of Software Traces (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 7, Issue 2, pp. 07:1-07:3, doi: 10.4230/DARTS.7.2.7 |
| Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 7, Issue 2, pp. 08:1-08:2, doi: 10.4230/DARTS.7.2.8 |
| Type-Directed Operational Semantics for Gradual Typing (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 7, Issue 2, pp. 09:1-09:6, doi: 10.4230/DARTS.7.2.9 |
| Idris 2: Quantitative Type Theory in Practice (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 7, Issue 2, pp. 10:1-10:7, doi: 10.4230/DARTS.7.2.10 |
| Compositional Programming (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 7, Issue 2, pp. 11:1-11:2, doi: 10.4230/DARTS.7.2.11 |
| Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 7, Issue 2, pp. 12:1-12:3, doi: 10.4230/DARTS.7.2.12 |
| CodeDJ: Reproducible Queries over Large-Scale Software Repositories (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 7, Issue 2, pp. 13:1-13:4, doi: 10.4230/DARTS.7.2.13 |
| ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 7, Issue 2, pp. 14:1-14:4, doi: 10.4230/DARTS.7.2.14 |
| Linear Promises: Towards Safer Concurrent Programming (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 7, Issue 2, pp. 15:1-15:3, doi: 10.4230/DARTS.7.2.15 |
| Front Matter - ECRTS 2021 Artifacts, Table of Contents, Artifact Evaluation Committee | |
|
Dagstuhl Artifacts Series, Volume 7, Issue 1, pp. 00:-1-00:-10, doi: 10.4230/DARTS.7.1.0 |
| On the Convolution Efficiency for Probabilistic Analysis of Real-Time Systems (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 7, Issue 1, pp. 01:1-01:2, doi: 10.4230/DARTS.7.1.1 |
| A Residual Service Curve of Rate-Latency Server Used by Sporadic Flows Computable in Quadratic Time for Network Calculus (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 7, Issue 1, pp. 02:1-02:3, doi: 10.4230/DARTS.7.1.2 |
| Light Reading: Optimizing Reader/Writer Locking for Read-Dominant Real-Time Workloads (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 7, Issue 1, pp. 03:1-03:3, doi: 10.4230/DARTS.7.1.3 |
| Front Matter, Table of Contents, Preface, Conference Organization | |
|
Dagstuhl Artifacts Series, Volume 6, Issue 2, pp. 00:-1-00:-12, doi: 10.4230/DARTS.6.2.0 |
| Flow-Sensitive Type-Based Heap Cloning (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 6, Issue 2, pp. 01:1-01:2, doi: 10.4230/DARTS.6.2.1 |
| A Framework for Resource Dependent EDSLs in a Dependently Typed Language (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 6, Issue 2, pp. 02:1-02:3, doi: 10.4230/DARTS.6.2.2 |
| Putting Randomized Compiler Testing into Production (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 6, Issue 2, pp. 03:1-03:2, doi: 10.4230/DARTS.6.2.3 |
| Reconciling Event Structures with Modern Multiprocessors (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 6, Issue 2, pp. 04:1-04:3, doi: 10.4230/DARTS.6.2.4 |
| A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 6, Issue 2, pp. 05:1-05:3, doi: 10.4230/DARTS.6.2.5 |
| Static Analysis of Shape in TensorFlow Programs (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 6, Issue 2, pp. 06:1-06:3, doi: 10.4230/DARTS.6.2.6 |
| Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 6, Issue 2, pp. 07:1-07:4, doi: 10.4230/DARTS.6.2.7 |
| The Duality of Subtyping (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 6, Issue 2, pp. 08:1-08:6, doi: 10.4230/DARTS.6.2.8 |
| A Type-Directed Operational Semantics For a Calculus with a Merge Operator (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 6, Issue 2, pp. 09:1-09:4, doi: 10.4230/DARTS.6.2.9 |
| Blame for Null (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 6, Issue 2, pp. 10:1-10:2, doi: 10.4230/DARTS.6.2.10 |
| Static Type Analysis by Abstract Interpretation of Python Programs (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 6, Issue 2, pp. 11:1-11:6, doi: 10.4230/DARTS.6.2.11 |
| Static Race Detection and Mutex Safety and Liveness for Go Programs (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 6, Issue 2, pp. 12:1-12:3, doi: 10.4230/DARTS.6.2.12 |
| Model-View-Update-Communicate: Session Types Meet the Elm Architecture (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 6, Issue 2, pp. 13:1-13:2, doi: 10.4230/DARTS.6.2.13 |
| Scala with Explicit Nulls (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 6, Issue 2, pp. 14:1-14:2, doi: 10.4230/DARTS.6.2.14 |
| Owicki-Gries Reasoning for C11 RAR (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 6, Issue 2, pp. 15:1-15:2, doi: 10.4230/DARTS.6.2.15 |
| Perfect is the Enemy of Good: Best-Effort Program Synthesis (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 6, Issue 2, pp. 16:1-16:2, doi: 10.4230/DARTS.6.2.16 |
| Don't Panic! Better, Fewer, Syntax Errors for LR Parsers (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 6, Issue 2, pp. 17:1-17:2, doi: 10.4230/DARTS.6.2.17 |
| Multiparty Session Programming with Global Protocol Combinators (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 6, Issue 2, pp. 18:1-18:2, doi: 10.4230/DARTS.6.2.18 |
| Implementation of SHAPES Case Studies (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 6, Issue 2, pp. 19:1-19:3, doi: 10.4230/DARTS.6.2.19 |
| Front Matter, Table of Contents, Preface, Conference Organization | |
|
Dagstuhl Artifacts Series, Volume 6, Issue 1, pp. 00:-1-00:-10, doi: 10.4230/DARTS.6.1.0 |
| Simultaneous Multithreading and Hard Real Time: Can it be Safe? (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 6, Issue 1, pp. 01:1-01:3, doi: 10.4230/DARTS.6.1.1 |
| Demystifying the Real-Time Linux Scheduling Latency (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 6, Issue 1, pp. 02:1-02:3, doi: 10.4230/DARTS.6.1.2 |
| Abstract Response-Time Analysis: A Formal Foundation for the Busy-Window Principle (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 6, Issue 1, pp. 03:1-03:2, doi: 10.4230/DARTS.6.1.3 |
| Modeling and Analysis of Bus Contention for Hardware Accelerators in FPGA SoCs (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 6, Issue 1, pp. 04:1-04:3, doi: 10.4230/DARTS.6.1.4 |
| The Time-Triggered Wireless Architecture (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 6, Issue 1, pp. 05:1-05:3, doi: 10.4230/DARTS.6.1.5 |
| Front Matter - ECOOP 2019 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee | |
|
Dagstuhl Artifacts Series, Volume 5, Issue 2, pp. 00:-1-00:-11, doi: 10.4230/DARTS.5.2.0 |
| Godot: All the Benefits of Implicit and Explicit Futures (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 5, Issue 2, pp. 01:1-01:2, doi: 10.4230/DARTS.5.2.1 |
| DynaSOAr: A Parallel Memory Allocator for Object-Oriented Programming on GPUs with Efficient Memory Access (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 5, Issue 2, pp. 02:1-02:2, doi: 10.4230/DARTS.5.2.2 |
| NumLin: Linear Types for Linear Algebra (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 5, Issue 2, pp. 03:1-03:2, doi: 10.4230/DARTS.5.2.3 |
| Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 5, Issue 2, pp. 04:1-04:3, doi: 10.4230/DARTS.5.2.4 |
| Minimal Session Types (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 5, Issue 2, pp. 05:1-05:3, doi: 10.4230/DARTS.5.2.5 |
| Deep Static Modeling of invokedynamic (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 5, Issue 2, pp. 06:1-06:4, doi: 10.4230/DARTS.5.2.6 |
| Garbage-Free Abstract Interpretation Through Abstract Reference Counting (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 5, Issue 2, pp. 07:1-07:2, doi: 10.4230/DARTS.5.2.7 |
| On Julia's Efficient Algorithm for Subtyping Union Types and Covariant Tuples (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 5, Issue 2, pp. 08:1-08:2, doi: 10.4230/DARTS.5.2.8 |
| Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 5, Issue 2, pp. 09:1-09:2, doi: 10.4230/DARTS.5.2.9 |
| Semantic Patches for Java Program Transformation (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 5, Issue 2, pp. 10:1-10:3, doi: 10.4230/DARTS.5.2.10 |
| Automated Large-Scale Multi-Language Dynamic Program Analysis in the Wild (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 5, Issue 2, pp. 11:1-11:3, doi: 10.4230/DARTS.5.2.11 |
| Fling - A Fluent API Generator (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 5, Issue 2, pp. 12:1-12:9, doi: 10.4230/DARTS.5.2.12 |
| Lifestate: Event-Driven Protocols and Callback Control Flow (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 5, Issue 2, pp. 13:1-13:3, doi: 10.4230/DARTS.5.2.13 |
| A Typing Discipline for Hardware Interfaces (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 5, Issue 2, pp. 14:1-14:3, doi: 10.4230/DARTS.5.2.14 |
| Front Matter - ECRTS 2019 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee | |
|
Dagstuhl Artifacts Series, Volume 5, Issue 1, pp. 00:-1-00:-9, doi: 10.4230/DARTS.5.1.0 |
| Dual Priority Scheduling is Not Optimal (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 5, Issue 1, pp. 01:1-01:2, doi: 10.4230/DARTS.5.1.1 |
| NPM-BUNDLE: Non-Preemptive Multitask Scheduling for Jobs with BUNDLE-Based Thread-Level Scheduling (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 5, Issue 1, pp. 02:1-02:2, doi: 10.4230/DARTS.5.1.2 |
| DMAC: Deadline-Miss-Aware Control (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 5, Issue 1, pp. 03:1-03:3, doi: 10.4230/DARTS.5.1.3 |
| API Comparison of CPU-To-GPU Command Offloading Latency on Embedded Platforms (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 5, Issue 1, pp. 04:1-04:3, doi: 10.4230/DARTS.5.1.4 |
| Response-Time Analysis of ROS 2 Processing Chains Under Reservation-Based Scheduling (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 5, Issue 1, pp. 05:1-05:2, doi: 10.4230/DARTS.5.1.5 |
| Scheduling Self-Suspending Tasks: New and Old Results (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 5, Issue 1, pp. 06:1-06:3, doi: 10.4230/DARTS.5.1.6 |
| Modeling Cache Coherence to Expose Interference (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 5, Issue 1, pp. 07:1-07:2, doi: 10.4230/DARTS.5.1.7 |
| Simultaneous Multithreading Applied to Real Time (Artifact) | |
|
Dagstuhl Artifacts Series, Volume 5, Issue 1, pp. 08:1-08:2, doi: 10.4230/DARTS.5.1.8 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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
