Journal: DARTS

Volume 5, Issue 2

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