default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID33rd ECOOP 2019: London, UK
- Alastair F. Donaldson:
33rd European Conference on Object-Oriented Programming, ECOOP 2019, London, United Kingdom, July 15-19, 2019. LIPIcs 134, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-111-5 - Front Matter, Table of Contents, Preface, Conference Organization. 0:1-0:25
- Shawn Meier
, Sergio Mover, Bor-Yuh Evan Chang:
Lifestate: Event-Driven Protocols and Callback Control Flow. 1:1-1:29 - Kiko Fernandez-Reyes, Dave Clarke, Ludovic Henrio, Einar Broch Johnsen, Tobias Wrigstad:
Godot: All the Benefits of Implicit and Explicit Futures. 2:1-2:28 - Pascal Weisenburger, Guido Salvaneschi:
Multitier Modules. 3:1-3:29 - Vlad A. Vergu, Andrew Tolmach, Eelco Visser:
Scopes and Frames Improve Meta-Interpreter Specialization. 4:1-4:30 - Richard Roberts, Stefan Marr, Michael Homer, James Noble:
Transient Typechecks Are (Almost) Free. 5:1-5:28 - Jan de Muijnck-Hughes, Wim Vanderbauwhede:
A Typing Discipline for Hardware Interfaces. 6:1-6:27 - Aleksandr Misonizhnik, Dmitry Mordvinov:
On Satisfiability of Nominal Subtyping with Variance. 7:1-7:20 - Thodoris Sotiropoulos, Benjamin Livshits:
Static Analysis for Asynchronous JavaScript Programs. 8:1-8:30 - Conrad Watt, Petar Maksimovic, Neelakantan R. Krishnaswami, Philippa Gardner:
A Program Logic for First-Order Encapsulated WebAssembly. 9:1-9:30 - Noah Van Es, Quentin Stiévenart, Coen De Roover:
Garbage-Free Abstract Interpretation Through Abstract Reference Counting. 10:1-10:33 - Osbert Bastani, Rahul Sharma, Lazaro Clapp, Saswat Anand, Alex Aiken:
Eventually Sound Points-To Analysis with Specifications. 11:1-11:28 - Matthias Eichholz, Eric Hayden Campbell, Nate Foster, Guido Salvaneschi, Mira Mezini:
How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4. 12:1-12:28 - Yossi Gil, Ori Roth:
Fling - A Fluent API Generator. 13:1-13:25 - Dhruv C. Makwana, Neelakantan R. Krishnaswami:
NumLin: Linear Types for Linear Algebra. 14:1-14:25 - George Fourtounis, Yannis Smaragdakis:
Deep Static Modeling of invokedynamic. 15:1-15:28 - Alexi Turcotte, Ellen Arteca, Gregor Richards:
Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language. 16:1-16:32 - Matthias Springer, Hidehiko Masuhara:
DynaSOAr: A Parallel Memory Allocator for Object-Oriented Programming on GPUs with Efficient Memory Access. 17:1-17:37 - Suvam Mukherjee, Nitin John Raj, Krishnan Govindraj, Pantazis Deligiannis, Chandramouleswaran Ravichandran, Akash Lal, Aseem Rastogi, Raja Krishnaswamy:
Reliable State Machines: A Framework for Programming Reliable Cloud Services. 18:1-18:29 - Jafar Hamin, Bart Jacobs:
Transferring Obligations Through Synchronizations. 19:1-19:58 - 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 (Tool Insights Paper). 20:1-20:27 - Linghui Luo, Julian Dolby, Eric Bodden:
MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors (Tool Insights Paper). 21:1-21:25 - Hong Jin Kang, Ferdian Thung, Julia Lawall, Gilles Muller, Lingxiao Jiang, David Lo:
Semantic Patches for Java Program Transformation (Experience Report). 22:1-22:27 - Alen Arslanagic, Jorge A. Pérez, Erik Voogd:
Minimal Session Types (Pearl). 23:1-23:28 - Benjamin Chung, Francesco Zappa Nardelli, Jan Vitek:
Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples (Pearl). 24:1-24:15 - Amir Shaikhha, Lionel Parreaux:
Finally, a Polymorphic Linear Algebra Language (Pearl). 25:1-25:29 - Daniël A. A. Pelsmaeker, Hendrik van Antwerpen, Eelco Visser:
Towards Language-Parametric Semantic Editor Services Based on Declarative Type System Specifications (Brave New Idea Paper). 26:1-26:18 - Carmen Torres Lopez, Robbert Gurdeep Singh, Stefan Marr, Elisa Gonzalez Boix, Christophe Scholliers:
Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs (Brave New Idea Paper). 27:1-27:30 - Rupak Majumdar, Marcus Pirron, Nobuko Yoshida, Damien Zufferey:
Motion Session Types for Robotic Interactions (Brave New Idea Paper). 28:1-28:27
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-04 01:26 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
