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