ECOOP 2019

29 papers

1. A Program Logic for First-Order Encapsulated WebAssembly · Conrad Watt, Petar Maksimovic, Neelakantan R. Krishnaswami, Philippa Gardner
2. A Typing Discipline for Hardware Interfaces · Jan de Muijnck-Hughes, Wim Vanderbauwhede
3. Automated Large-Scale Multi-Language Dynamic Program Analysis in the Wild (Tool Insights Paper) · Alex Villazón, Haiyang Sun, Andrea Rosà, Eduardo Rosales, Daniele Bonetta, Isabella Defilippis + 2 more
4. Deep Static Modeling of invokedynamic · George Fourtounis, Yannis Smaragdakis
5. DynaSOAr: A Parallel Memory Allocator for Object-Oriented Programming on GPUs with Efficient Memory Access · Matthias Springer, Hidehiko Masuhara
6. Eventually Sound Points-To Analysis with Specifications · Osbert Bastani, Rahul Sharma, Lazaro Clapp, Saswat Anand, Alex Aiken
7. Finally, a Polymorphic Linear Algebra Language (Pearl) · Amir Shaikhha, Lionel Parreaux
8. Fling - A Fluent API Generator · Yossi Gil, Ori Roth
9. Front Matter, Table of Contents, Preface, Conference Organization ·
10. Garbage-Free Abstract Interpretation Through Abstract Reference Counting · Noah Van Es, Quentin Stiévenart, Coen De Roover
11. Godot: All the Benefits of Implicit and Explicit Futures · Kiko Fernandez-Reyes, Dave Clarke, Ludovic Henrio, Einar Broch Johnsen, Tobias Wrigstad
12. How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4 · Matthias Eichholz, Eric Hayden Campbell, Nate Foster, Guido Salvaneschi, Mira Mezini
13. Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples (Pearl) · Benjamin Chung, Francesco Zappa Nardelli, Jan Vitek
14. Lifestate: Event-Driven Protocols and Callback Control Flow · Shawn Meier, Sergio Mover, Bor-Yuh Evan Chang
15. MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors (Tool Insights Paper) · Linghui Luo, Julian Dolby, Eric Bodden
16. Minimal Session Types (Pearl) · Alen Arslanagic, Jorge A. Pérez, Erik Voogd
17. Motion Session Types for Robotic Interactions (Brave New Idea Paper) · Rupak Majumdar, Marcus Pirron, Nobuko Yoshida, Damien Zufferey
18. Multitier Modules · Pascal Weisenburger, Guido Salvaneschi
19. Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs (Brave New Idea Paper) · Carmen Torres Lopez, Robbert Gurdeep Singh, Stefan Marr, Elisa Gonzalez Boix, Christophe Scholliers
20. NumLin: Linear Types for Linear Algebra · Dhruv C. Makwana, Neelakantan R. Krishnaswami
21. On Satisfiability of Nominal Subtyping with Variance · Aleksandr Misonizhnik, Dmitry Mordvinov
22. Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language · Alexi Turcotte, Ellen Arteca, Gregor Richards
23. Reliable State Machines: A Framework for Programming Reliable Cloud Services · Suvam Mukherjee, Nitin John Raj, Krishnan Govindraj, Pantazis Deligiannis, Chandramouleswaran Ravichandran, Akash Lal + 2 more
24. Scopes and Frames Improve Meta-Interpreter Specialization · Vlad A. Vergu, Andrew Tolmach, Eelco Visser
25. Semantic Patches for Java Program Transformation (Experience Report) · Hong Jin Kang, Ferdian Thung, Julia Lawall, Gilles Muller, Lingxiao Jiang, David Lo
26. Static Analysis for Asynchronous JavaScript Programs · Thodoris Sotiropoulos, Benjamin Livshits
27. Towards Language-Parametric Semantic Editor Services Based on Declarative Type System Specifications (Brave New Idea Paper) · Daniël A. A. Pelsmaeker, Hendrik van Antwerpen, Eelco Visser
28. Transferring Obligations Through Synchronizations · Jafar Hamin, Bart Jacobs
29. Transient Typechecks Are (Almost) Free · Richard Roberts, Stefan Marr, Michael Homer, James Noble