LIPIcs, Volume 134, ECOOP 2019

• Alastair F. Donaldson LIPIcs, Volume 134, ECOOP'19, Complete Volume 10.4230/LIPIcs.ECOOP.2019
• Alastair F. Donaldson Front Matter, Table of Contents, Preface, Conference Organization 10.4230/LIPIcs.ECOOP.2019.0
• Shawn Meier, Sergio Mover, and Bor-Yuh Evan Chang Lifestate: Event-Driven Protocols and Callback Control Flow 10.4230/LIPIcs.ECOOP.2019.1
• Kiko Fernandez-Reyes, Dave Clarke, Ludovic Henrio, Einar Broch Johnsen, and Tobias Wrigstad Godot: All the Benefits of Implicit and Explicit Futures 10.4230/LIPIcs.ECOOP.2019.2
• Pascal Weisenburger and Guido Salvaneschi Multitier Modules 10.4230/LIPIcs.ECOOP.2019.3
• Vlad Vergu, Andrew Tolmach, and Eelco Visser Scopes and Frames Improve Meta-Interpreter Specialization 10.4230/LIPIcs.ECOOP.2019.4
• Richard Roberts, Stefan Marr, Michael Homer, and James Noble Transient Typechecks Are (Almost) Free 10.4230/LIPIcs.ECOOP.2019.5
• Jan de Muijnck-Hughes and Wim Vanderbauwhede A Typing Discipline for Hardware Interfaces 10.4230/LIPIcs.ECOOP.2019.6
• Aleksandr Misonizhnik and Dmitry Mordvinov On Satisfiability of Nominal Subtyping with Variance 10.4230/LIPIcs.ECOOP.2019.7
• Thodoris Sotiropoulos and Benjamin Livshits Static Analysis for Asynchronous JavaScript Programs 10.4230/LIPIcs.ECOOP.2019.8
• Conrad Watt, Petar Maksimović, Neelakantan R. Krishnaswami, and Philippa Gardner A Program Logic for First-Order Encapsulated WebAssembly 10.4230/LIPIcs.ECOOP.2019.9
• Noah Van Es, Quentin Stiévenart, and Coen De Roover Garbage-Free Abstract Interpretation Through Abstract Reference Counting 10.4230/LIPIcs.ECOOP.2019.10
• Osbert Bastani, Rahul Sharma, Lazaro Clapp, Saswat Anand, and Alex Aiken Eventually Sound Points-To Analysis with Specifications 10.4230/LIPIcs.ECOOP.2019.11
• Matthias Eichholz, Eric Campbell, Nate Foster, Guido Salvaneschi, and Mira Mezini How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4 10.4230/LIPIcs.ECOOP.2019.12
• Yossi Gil and Ori Roth Fling - A Fluent API Generator 10.4230/LIPIcs.ECOOP.2019.13
• Dhruv C. Makwana and Neelakantan R. Krishnaswami NumLin: Linear Types for Linear Algebra 10.4230/LIPIcs.ECOOP.2019.14
• George Fourtounis and Yannis Smaragdakis Deep Static Modeling of invokedynamic 10.4230/LIPIcs.ECOOP.2019.15
• Alexi Turcotte, Ellen Arteca, and Gregor Richards Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language 10.4230/LIPIcs.ECOOP.2019.16
• Matthias Springer and Hidehiko Masuhara DynaSOAr: A Parallel Memory Allocator for Object-Oriented Programming on GPUs with Efficient Memory Access 10.4230/LIPIcs.ECOOP.2019.17
• Suvam Mukherjee, Nitin John Raj, Krishnan Govindraj, Pantazis Deligiannis, Chandramouleswaran Ravichandran, Akash Lal, Aseem Rastogi, and Raja Krishnaswamy Reliable State Machines: A Framework for Programming Reliable Cloud Services 10.4230/LIPIcs.ECOOP.2019.18
• Jafar Hamin and Bart Jacobs Transferring Obligations Through Synchronizations 10.4230/LIPIcs.ECOOP.2019.19
• 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 (Tool Insights Paper) 10.4230/LIPIcs.ECOOP.2019.20
• Linghui Luo, Julian Dolby, and Eric Bodden MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors (Tool Insights Paper) 10.4230/LIPIcs.ECOOP.2019.21
• Hong Jin Kang, Ferdian Thung, Julia Lawall, Gilles Muller, Lingxiao Jiang, and David Lo Semantic Patches for Java Program Transformation (Experience Report) 10.4230/LIPIcs.ECOOP.2019.22
• Alen Arslanagić, Jorge A. Pérez, and Erik Voogd Minimal Session Types (Pearl) 10.4230/LIPIcs.ECOOP.2019.23
• Benjamin Chung, Francesco Zappa Nardelli, and Jan Vitek Julia’s Efficient Algorithm for Subtyping Unions and Covariant Tuples (Pearl) 10.4230/LIPIcs.ECOOP.2019.24
• Amir Shaikhha and Lionel Parreaux Finally, a Polymorphic Linear Algebra Language (Pearl) 10.4230/LIPIcs.ECOOP.2019.25
• Daniel A. A. Pelsmaeker, Hendrik van Antwerpen, and Eelco Visser Towards Language-Parametric Semantic Editor Services Based on Declarative Type System Specifications (Brave New Idea Paper) 10.4230/LIPIcs.ECOOP.2019.26
• Carmen Torres Lopez, Robbert Gurdeep Singh, Stefan Marr, Elisa Gonzalez Boix, and Christophe Scholliers Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs (Brave New Idea Paper) 10.4230/LIPIcs.ECOOP.2019.27
• Rupak Majumdar, Marcus Pirron, Nobuko Yoshida, and Damien Zufferey Motion Session Types for Robotic Interactions (Brave New Idea Paper) 10.4230/LIPIcs.ECOOP.2019.28