|
ISSN 2509-8195 |
| 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 |