ECOOP 2019 July 15-19, 2019, London, United Kingdom

33rd European Conference on Object-Oriented Programming (ECOOP 2019)



Alastair F. Donaldson (Ed.)
ISBN 978-3-95977-111-5, LIPICS Vol. 134 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 29 MB)
Search Publication Server

Authors
  • Aiken, Alex
  • Anand, Saswat
  • Arslanagic, Alen
  • Arteca, Ellen
  • Bastani, Osbert
  • Binder, Walter
  • Bodden, Eric
  • Bonetta, Daniele
  • Campbell, Eric
  • Chang, Bor-Yuh Evan
  • Chung, Benjamin
  • Clapp, Lazaro
  • Clarke, Dave
  • Defilippis, Isabella
  • Deligiannis, Pantazis
  • de Muijnck-Hughes, Jan
  • De Roover, Coen
  • Dolby, Julian
  • Donaldson, Alastair F.
  • Eichholz, Matthias
  • Fernandez-Reyes, Kiko
  • Foster, Nate
  • Fourtounis, George
  • Gardner, Philippa
  • Gil, Yossi
  • Gonzalez Boix, Elisa
  • Govindraj, Krishnan
  • Gurdeep Singh, Robbert
  • Hamin, Jafar
  • Henrio, Ludovic
  • Homer, Michael
  • Jacobs, Bart
  • Jiang, Lingxiao
  • Johnsen, Einar Broch
  • Kang, Hong Jin
  • Krishnaswami, Neelakantan R.
  • Krishnaswamy, Raja
  • Lal, Akash
  • Lawall, Julia
  • Livshits, Benjamin
  • Lo, David
  • Luo, Linghui
  • Majumdar, Rupak
  • Maksimovic, Petar
  • Makwana, Dhruv C.
  • Marr, Stefan
  • Masuhara, Hidehiko
  • Meier, Shawn
  • Mezini, Mira
  • Misonizhnik, Aleksandr
  • Mordvinov, Dmitry
  • Mover, Sergio
  • Mukherjee, Suvam
  • Muller, Gilles
  • Noble, James
  • Oporto, Sergio
  • Parreaux, Lionel
  • Pelsmaeker, Daniel A. A.
  • Pérez, Jorge A.
  • Pirron, Marcus
  • Raj, Nitin John
  • Rastogi, Aseem
  • Ravichandran, Chandramouleswaran
  • Richards, Gregor
  • Roberts, Richard
  • Rosà, Andrea
  • Rosales, Eduardo
  • Roth, Ori
  • Salvaneschi, Guido
  • Scholliers, Christophe
  • Shaikhha, Amir
  • Sharma, Rahul
  • Smaragdakis, Yannis
  • Sotiropoulos, Thodoris
  • Springer, Matthias
  • Stiévenart, Quentin
  • Sun, Haiyang
  • Thung, Ferdian
  • Tolmach, Andrew
  • Torres Lopez, Carmen
  • Turcotte, Alexi
  • van Antwerpen, Hendrik
  • Vanderbauwhede, Wim
  • Van Es, Noah
  • Vergu, Vlad
  • Villazón, Alex
  • Visser, Eelco
  • Vitek, Jan
  • Voogd, Erik
  • Watt, Conrad
  • Weisenburger, Pascal
  • Wrigstad, Tobias
  • Yoshida, Nobuko
  • Zappa Nardelli, Francesco
  • Zufferey, Damien
    		•

    		  
    Front Matter, Table of Contents, Preface, Conference Organization
    Authors: Donaldson, Alastair F.

    Abstract | Document (497 KB) | BibTeX

    Lifestate: Event-Driven Protocols and Callback Control Flow
    Authors: Meier, Shawn ; Mover, Sergio ; Chang, Bor-Yuh Evan

    Abstract | Document (927 KB) | BibTeX

    Godot: All the Benefits of Implicit and Explicit Futures
    Authors: Fernandez-Reyes, Kiko ; Clarke, Dave ; Henrio, Ludovic ; Johnsen, Einar Broch ; Wrigstad, Tobias

    Abstract | Document (938 KB) | BibTeX

    Multitier Modules
    Authors: Weisenburger, Pascal ; Salvaneschi, Guido

    Abstract | Document (674 KB) | BibTeX

    Scopes and Frames Improve Meta-Interpreter Specialization
    Authors: Vergu, Vlad ; Tolmach, Andrew ; Visser, Eelco

    Abstract | Document (813 KB) | BibTeX

    Transient Typechecks Are (Almost) Free
    Authors: Roberts, Richard ; Marr, Stefan ; Homer, Michael ; Noble, James

    Abstract | Document (577 KB) | BibTeX

    A Typing Discipline for Hardware Interfaces
    Authors: de Muijnck-Hughes, Jan ; Vanderbauwhede, Wim

    Abstract | Document (658 KB) | BibTeX

    On Satisfiability of Nominal Subtyping with Variance
    Authors: Misonizhnik, Aleksandr ; Mordvinov, Dmitry

    Abstract | Document (573 KB) | BibTeX

    Static Analysis for Asynchronous JavaScript Programs
    Authors: Sotiropoulos, Thodoris ; Livshits, Benjamin

    Abstract | Document (816 KB) | BibTeX

    A Program Logic for First-Order Encapsulated WebAssembly
    Authors: Watt, Conrad ; Maksimovic, Petar ; Krishnaswami, Neelakantan R. ; Gardner, Philippa

    Abstract | Document (765 KB) | BibTeX

    Garbage-Free Abstract Interpretation Through Abstract Reference Counting
    Authors: Van Es, Noah ; Stiévenart, Quentin ; De Roover, Coen

    Abstract | Document (1,528 KB) | BibTeX

    Eventually Sound Points-To Analysis with Specifications
    Authors: Bastani, Osbert ; Sharma, Rahul ; Clapp, Lazaro ; Anand, Saswat ; Aiken, Alex

    Abstract | Document (701 KB) | BibTeX

    How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4
    Authors: Eichholz, Matthias ; Campbell, Eric ; Foster, Nate ; Salvaneschi, Guido ; Mezini, Mira

    Abstract | Document (646 KB) | BibTeX

    Fling - A Fluent API Generator
    Authors: Gil, Yossi ; Roth, Ori

    Abstract | Document (827 KB) | BibTeX

    NumLin: Linear Types for Linear Algebra
    Authors: Makwana, Dhruv C. ; Krishnaswami, Neelakantan R.

    Abstract | Document (756 KB) | BibTeX

    Deep Static Modeling of invokedynamic
    Authors: Fourtounis, George ; Smaragdakis, Yannis

    Abstract | Document (645 KB) | BibTeX

    Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language
    Authors: Turcotte, Alexi ; Arteca, Ellen ; Richards, Gregor

    Abstract | Document (638 KB) | BibTeX

    DynaSOAr: A Parallel Memory Allocator for Object-Oriented Programming on GPUs with Efficient Memory Access
    Authors: Springer, Matthias ; Masuhara, Hidehiko

    Abstract | Document (2,933 KB) | BibTeX

    Reliable State Machines: A Framework for Programming Reliable Cloud Services
    Authors: Mukherjee, Suvam ; Raj, Nitin John ; Govindraj, Krishnan ; Deligiannis, Pantazis ; Ravichandran, Chandramouleswaran ; Lal, Akash ; Rastogi, Aseem ; Krishnaswamy, Raja

    Abstract | Document (988 KB) | BibTeX

    Transferring Obligations Through Synchronizations
    Authors: Hamin, Jafar ; Jacobs, Bart

    Abstract | Document (766 KB) | BibTeX

    Automated Large-Scale Multi-Language Dynamic Program Analysis in the Wild (Tool Insights Paper)
    Authors: Villazón, Alex ; Sun, Haiyang ; Rosà, Andrea ; Rosales, Eduardo ; Bonetta, Daniele ; Defilippis, Isabella ; Oporto, Sergio ; Binder, Walter

    Abstract | Document (776 KB) | BibTeX

    MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors (Tool Insights Paper)
    Authors: Luo, Linghui ; Dolby, Julian ; Bodden, Eric

    Abstract | Document (5,825 KB) | BibTeX

    Semantic Patches for Java Program Transformation (Experience Report)
    Authors: Kang, Hong Jin ; Thung, Ferdian ; Lawall, Julia ; Muller, Gilles ; Jiang, Lingxiao ; Lo, David

    Abstract | Document (549 KB) | BibTeX

    Minimal Session Types (Pearl)
    Authors: Arslanagic, Alen ; Pérez, Jorge A. ; Voogd, Erik

    Abstract | Document (670 KB) | BibTeX

    Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples (Pearl)
    Authors: Chung, Benjamin ; Zappa Nardelli, Francesco ; Vitek, Jan

    Abstract | Document (594 KB) | BibTeX

    Finally, a Polymorphic Linear Algebra Language (Pearl)
    Authors: Shaikhha, Amir ; Parreaux, Lionel

    Abstract | Document (499 KB) | BibTeX

    Towards Language-Parametric Semantic Editor Services Based on Declarative Type System Specifications (Brave New Idea Paper)
    Authors: Pelsmaeker, Daniel A. A. ; van Antwerpen, Hendrik ; Visser, Eelco

    Abstract | Document (539 KB) | BibTeX

    Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs (Brave New Idea Paper)
    Authors: Torres Lopez, Carmen ; Gurdeep Singh, Robbert ; Marr, Stefan ; Gonzalez Boix, Elisa ; Scholliers, Christophe

    Abstract | Document (2,169 KB) | BibTeX

    Motion Session Types for Robotic Interactions (Brave New Idea Paper)
    Authors: Majumdar, Rupak ; Pirron, Marcus ; Yoshida, Nobuko ; Zufferey, Damien

    Abstract | Document (3,515 KB) | BibTeX

    		  



    DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI