DARTS, Volume 5, Issue 2, ECOOP 2019
-
Maria Christakis and Manuel Rigger
Front Matter - ECOOP 2019 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee
10.4230/DARTS.5.2.0
-
Kiko Fernandez-Reyes, Dave Clarke, Ludovic Henrio, Einar Broch Johnsen, and Tobias Wrigstad
Godot: All the Benefits of Implicit and Explicit Futures (Artifact)
10.4230/DARTS.5.2.1
-
Matthias Springer and Hidehiko Masuhara
DynaSOAr: A Parallel Memory Allocator for Object-Oriented Programming on GPUs with Efficient Memory Access (Artifact)
10.4230/DARTS.5.2.2
-
Dhruv C. Makwana and Neelakantan R. Krishnaswami
NumLin: Linear Types for Linear Algebra (Artifact)
10.4230/DARTS.5.2.3
-
Robbert Gurdeep Singh, Carmen Torres Lopez, Stefan Marr, Elisa Gonzalez Boix, and Christophe Scholliers
Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs (Artifact)
10.4230/DARTS.5.2.4
-
Alen Arslanagić, Jorge A. Pérez, and Erik Voogd
Minimal Session Types (Artifact)
10.4230/DARTS.5.2.5
-
George Fourtounis and Yannis Smaragdakis
Deep Static Modeling of invokedynamic (Artifact)
10.4230/DARTS.5.2.6
-
Noah Van Es, Quentin Stiévenart, and Coen De Roover
Garbage-Free Abstract Interpretation Through Abstract Reference Counting (Artifact)
10.4230/DARTS.5.2.7
-
Benjamin Chung, Francesco Zappa Nardelli, and Jan Vitek
On Julia’s Efficient Algorithm for Subtyping Union Types and Covariant Tuples (Artifact)
10.4230/DARTS.5.2.8
-
Alexi Turcotte, Ellen Arteca, and Gregor Richards
Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language (Artifact)
10.4230/DARTS.5.2.9
-
Hong Jin Kang, Ferdian Thung, Julia Lawall, Gilles Muller, Lingxiao Jiang, and David Lo
Semantic Patches for Java Program Transformation (Artifact)
10.4230/DARTS.5.2.10
-
Alex Villazón, Haiyang Sun, Andrea Rosà, Eduardo Rosales, Daniele Bonetta, Isabella Defilippis, Sergio Oporto, and Walter Binder
Automated Large-Scale Multi-Language Dynamic Program Analysis in the Wild (Artifact)
10.4230/DARTS.5.2.11
-
Ori Roth and Yossi Gil
Fling - A Fluent API Generator (Artifact)
10.4230/DARTS.5.2.12
-
Shawn Meier, Sergio Mover, and Bor-Yuh Evan Chang
Lifestate: Event-Driven Protocols and Callback Control Flow (Artifact)
10.4230/DARTS.5.2.13
-
Jan de Muijnck-Hughes and Wim Vanderbauwhede
A Typing Discipline for Hardware Interfaces (Artifact)
10.4230/DARTS.5.2.14