<h2>LIPIcs, Volume 134, ECOOP 2019</h2>
<ul>
<li>
<span class="authors">Alastair F. Donaldson</span>
<span class="title">LIPIcs, Volume 134, ECOOP'19, Complete Volume</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2019">10.4230/LIPIcs.ECOOP.2019</a>
</li>
<li>
<span class="authors">Alastair F. Donaldson</span>
<span class="title">Front Matter, Table of Contents, Preface, Conference Organization</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.0">10.4230/LIPIcs.ECOOP.2019.0</a>
</li>
<li>
<span class="authors">Shawn Meier, Sergio Mover, and Bor-Yuh Evan Chang</span>
<span class="title">Lifestate: Event-Driven Protocols and Callback Control Flow</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.1">10.4230/LIPIcs.ECOOP.2019.1</a>
</li>
<li>
<span class="authors">Kiko Fernandez-Reyes, Dave Clarke, Ludovic Henrio, Einar Broch Johnsen, and Tobias Wrigstad</span>
<span class="title">Godot: All the Benefits of Implicit and Explicit Futures</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.2">10.4230/LIPIcs.ECOOP.2019.2</a>
</li>
<li>
<span class="authors">Pascal Weisenburger and Guido Salvaneschi</span>
<span class="title">Multitier Modules</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.3">10.4230/LIPIcs.ECOOP.2019.3</a>
</li>
<li>
<span class="authors">Vlad Vergu, Andrew Tolmach, and Eelco Visser</span>
<span class="title">Scopes and Frames Improve Meta-Interpreter Specialization</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.4">10.4230/LIPIcs.ECOOP.2019.4</a>
</li>
<li>
<span class="authors">Richard Roberts, Stefan Marr, Michael Homer, and James Noble</span>
<span class="title">Transient Typechecks Are (Almost) Free</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.5">10.4230/LIPIcs.ECOOP.2019.5</a>
</li>
<li>
<span class="authors">Jan de Muijnck-Hughes and Wim Vanderbauwhede</span>
<span class="title">A Typing Discipline for Hardware Interfaces</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.6">10.4230/LIPIcs.ECOOP.2019.6</a>
</li>
<li>
<span class="authors">Aleksandr Misonizhnik and Dmitry Mordvinov</span>
<span class="title">On Satisfiability of Nominal Subtyping with Variance</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.7">10.4230/LIPIcs.ECOOP.2019.7</a>
</li>
<li>
<span class="authors">Thodoris Sotiropoulos and Benjamin Livshits</span>
<span class="title">Static Analysis for Asynchronous JavaScript Programs</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.8">10.4230/LIPIcs.ECOOP.2019.8</a>
</li>
<li>
<span class="authors">Conrad Watt, Petar Maksimović, Neelakantan R. Krishnaswami, and Philippa Gardner</span>
<span class="title">A Program Logic for First-Order Encapsulated WebAssembly</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.9">10.4230/LIPIcs.ECOOP.2019.9</a>
</li>
<li>
<span class="authors">Noah Van Es, Quentin Stiévenart, and Coen De Roover</span>
<span class="title">Garbage-Free Abstract Interpretation Through Abstract Reference Counting</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.10">10.4230/LIPIcs.ECOOP.2019.10</a>
</li>
<li>
<span class="authors">Osbert Bastani, Rahul Sharma, Lazaro Clapp, Saswat Anand, and Alex Aiken</span>
<span class="title">Eventually Sound Points-To Analysis with Specifications</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.11">10.4230/LIPIcs.ECOOP.2019.11</a>
</li>
<li>
<span class="authors">Matthias Eichholz, Eric Campbell, Nate Foster, Guido Salvaneschi, and Mira Mezini</span>
<span class="title">How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.12">10.4230/LIPIcs.ECOOP.2019.12</a>
</li>
<li>
<span class="authors">Yossi Gil and Ori Roth</span>
<span class="title">Fling - A Fluent API Generator</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.13">10.4230/LIPIcs.ECOOP.2019.13</a>
</li>
<li>
<span class="authors">Dhruv C. Makwana and Neelakantan R. Krishnaswami</span>
<span class="title">NumLin: Linear Types for Linear Algebra</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.14">10.4230/LIPIcs.ECOOP.2019.14</a>
</li>
<li>
<span class="authors">George Fourtounis and Yannis Smaragdakis</span>
<span class="title">Deep Static Modeling of invokedynamic</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.15">10.4230/LIPIcs.ECOOP.2019.15</a>
</li>
<li>
<span class="authors">Alexi Turcotte, Ellen Arteca, and Gregor Richards</span>
<span class="title">Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.16">10.4230/LIPIcs.ECOOP.2019.16</a>
</li>
<li>
<span class="authors">Matthias Springer and Hidehiko Masuhara</span>
<span class="title">DynaSOAr: A Parallel Memory Allocator for Object-Oriented Programming on GPUs with Efficient Memory Access</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.17">10.4230/LIPIcs.ECOOP.2019.17</a>
</li>
<li>
<span class="authors">Suvam Mukherjee, Nitin John Raj, Krishnan Govindraj, Pantazis Deligiannis, Chandramouleswaran Ravichandran, Akash Lal, Aseem Rastogi, and Raja Krishnaswamy</span>
<span class="title">Reliable State Machines: A Framework for Programming Reliable Cloud Services</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.18">10.4230/LIPIcs.ECOOP.2019.18</a>
</li>
<li>
<span class="authors">Jafar Hamin and Bart Jacobs</span>
<span class="title">Transferring Obligations Through Synchronizations</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.19">10.4230/LIPIcs.ECOOP.2019.19</a>
</li>
<li>
<span class="authors">Alex Villazón, Haiyang Sun, Andrea Rosà, Eduardo Rosales, Daniele Bonetta, Isabella Defilippis, Sergio Oporto, and Walter Binder</span>
<span class="title">Automated Large-Scale Multi-Language Dynamic Program Analysis in the Wild (Tool Insights Paper)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.20">10.4230/LIPIcs.ECOOP.2019.20</a>
</li>
<li>
<span class="authors">Linghui Luo, Julian Dolby, and Eric Bodden</span>
<span class="title">MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors (Tool Insights Paper)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.21">10.4230/LIPIcs.ECOOP.2019.21</a>
</li>
<li>
<span class="authors">Hong Jin Kang, Ferdian Thung, Julia Lawall, Gilles Muller, Lingxiao Jiang, and David Lo</span>
<span class="title">Semantic Patches for Java Program Transformation (Experience Report)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.22">10.4230/LIPIcs.ECOOP.2019.22</a>
</li>
<li>
<span class="authors">Alen Arslanagić, Jorge A. Pérez, and Erik Voogd</span>
<span class="title">Minimal Session Types (Pearl)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.23">10.4230/LIPIcs.ECOOP.2019.23</a>
</li>
<li>
<span class="authors">Benjamin Chung, Francesco Zappa Nardelli, and Jan Vitek</span>
<span class="title">Julia’s Efficient Algorithm for Subtyping Unions and Covariant Tuples (Pearl)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.24">10.4230/LIPIcs.ECOOP.2019.24</a>
</li>
<li>
<span class="authors">Amir Shaikhha and Lionel Parreaux</span>
<span class="title">Finally, a Polymorphic Linear Algebra Language (Pearl)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.25">10.4230/LIPIcs.ECOOP.2019.25</a>
</li>
<li>
<span class="authors">Daniel A. A. Pelsmaeker, Hendrik van Antwerpen, and Eelco Visser</span>
<span class="title">Towards Language-Parametric Semantic Editor Services Based on Declarative Type System Specifications (Brave New Idea Paper)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.26">10.4230/LIPIcs.ECOOP.2019.26</a>
</li>
<li>
<span class="authors">Carmen Torres Lopez, Robbert Gurdeep Singh, Stefan Marr, Elisa Gonzalez Boix, and Christophe Scholliers</span>
<span class="title">Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs (Brave New Idea Paper)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.27">10.4230/LIPIcs.ECOOP.2019.27</a>
</li>
<li>
<span class="authors">Rupak Majumdar, Marcus Pirron, Nobuko Yoshida, and Damien Zufferey</span>
<span class="title">Motion Session Types for Robotic Interactions (Brave New Idea Paper)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2019.28">10.4230/LIPIcs.ECOOP.2019.28</a>
</li>
</ul>
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing