<h2>LIPIcs, Volume 194, ECOOP 2021</h2>
<ul>
<li>
<span class="authors">Anders Møller and Manu Sridharan</span>
<span class="title">LIPIcs, Volume 194, ECOOP 2021, Complete Volume</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2021">10.4230/LIPIcs.ECOOP.2021</a>
</li>
<li>
<span class="authors">Anders Møller and Manu Sridharan</span>
<span class="title">Front Matter, Table of Contents, Preface, Conference Organization</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2021.0">10.4230/LIPIcs.ECOOP.2021.0</a>
</li>
<li>
<span class="authors">Hendrik van Antwerpen and Eelco Visser</span>
<span class="title">Scope States: Guarding Safety of Name Resolution in Parallel Type Checkers</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2021.1">10.4230/LIPIcs.ECOOP.2021.1</a>
</li>
<li>
<span class="authors">Philipp Dominik Schubert, Ben Hermann, and Eric Bodden</span>
<span class="title">Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2021.2">10.4230/LIPIcs.ECOOP.2021.2</a>
</li>
<li>
<span class="authors">Sam Estep, Jenna Wise, Jonathan Aldrich, Éric Tanter, Johannes Bader, and Joshua Sunshine</span>
<span class="title">Gradual Program Analysis for Null Pointers</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2021.3">10.4230/LIPIcs.ECOOP.2021.3</a>
</li>
<li>
<span class="authors">Jan Bessai, George T. Heineman, and Boris Düdder</span>
<span class="title">Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2021.4">10.4230/LIPIcs.ECOOP.2021.4</a>
</li>
<li>
<span class="authors">Maxime Buyse, Rémi Delmas, and Youssef Hamadi</span>
<span class="title">ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2021.5">10.4230/LIPIcs.ECOOP.2021.5</a>
</li>
<li>
<span class="authors">Petr Maj, Konrad Siek, Alexander Kovalenko, and Jan Vitek</span>
<span class="title">CodeDJ: Reproducible Queries over Large-Scale Software Repositories</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2021.6">10.4230/LIPIcs.ECOOP.2021.6</a>
</li>
<li>
<span class="authors">Ellen Arteca, Frank Tip, and Max Schäfer</span>
<span class="title">Enabling Additional Parallelism in Asynchronous JavaScript Applications</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2021.7">10.4230/LIPIcs.ECOOP.2021.7</a>
</li>
<li>
<span class="authors">Yu Hao, Sufian Latif, Hailong Zhang, Raef Bassily, and Atanas Rountev</span>
<span class="title">Differential Privacy for Coverage Analysis of Software Traces</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2021.8">10.4230/LIPIcs.ECOOP.2021.8</a>
</li>
<li>
<span class="authors">Edwin Brady</span>
<span class="title">Idris 2: Quantitative Type Theory in Practice</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2021.9">10.4230/LIPIcs.ECOOP.2021.9</a>
</li>
<li>
<span class="authors">Paul Harvey, Simon Fowler, Ornela Dardha, and Simon J. Gay</span>
<span class="title">Multiparty Session Types for Safe Runtime Adaptation in an Actor Language</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2021.10">10.4230/LIPIcs.ECOOP.2021.10</a>
</li>
<li>
<span class="authors">Xiaodong Gu, Yo-Sub Han, Sunghun Kim, and Hongyu Zhang</span>
<span class="title">Do Bugs Propagate? An Empirical Analysis of Temporal Correlations Among Software Bugs</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2021.11">10.4230/LIPIcs.ECOOP.2021.11</a>
</li>
<li>
<span class="authors">Wenjia Ye, Bruno C. d. S. Oliveira, and Xuejing Huang</span>
<span class="title">Type-Directed Operational Semantics for Gradual Typing</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2021.12">10.4230/LIPIcs.ECOOP.2021.12</a>
</li>
<li>
<span class="authors">Ohad Rau, Caleb Voss, and Vivek Sarkar</span>
<span class="title">Linear Promises: Towards Safer Concurrent Programming</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2021.13">10.4230/LIPIcs.ECOOP.2021.13</a>
</li>
<li>
<span class="authors">Aleksandar S. Dimovski and Sven Apel</span>
<span class="title">Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2021.14">10.4230/LIPIcs.ECOOP.2021.14</a>
</li>
<li>
<span class="authors">Guoqiang Zhang and Xipeng Shen</span>
<span class="title">Best-Effort Lazy Evaluation for Python Software Built on APIs</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2021.15">10.4230/LIPIcs.ECOOP.2021.15</a>
</li>
<li>
<span class="authors">Dongjie He, Jingbo Lu, Yaoqing Gao, and Jingling Xue</span>
<span class="title">Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2021.16">10.4230/LIPIcs.ECOOP.2021.16</a>
</li>
<li>
<span class="authors">Tetsuo Kamina, Tomoyuki Aotani, and Hidehiko Masuhara</span>
<span class="title">Signal Classes: A Mechanism for Building Synchronous and Persistent Signal Networks</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2021.17">10.4230/LIPIcs.ECOOP.2021.17</a>
</li>
<li>
<span class="authors">Anish Tondwalkar, Matthew Kolosick, and Ranjit Jhala</span>
<span class="title">Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2021.18">10.4230/LIPIcs.ECOOP.2021.18</a>
</li>
<li>
<span class="authors">Rodrigo Bonifácio, Stefan Krüger, Krishna Narasimhan, Eric Bodden, and Mira Mezini</span>
<span class="title">Dealing with Variability in API Misuse Specification</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2021.19">10.4230/LIPIcs.ECOOP.2021.19</a>
</li>
<li>
<span class="authors">Christian Bartolo Burlò, Adrian Francalanza, and Alceste Scalas</span>
<span class="title">On the Monitorability of Session Types, in Theory and Practice</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2021.20">10.4230/LIPIcs.ECOOP.2021.20</a>
</li>
<li>
<span class="authors">Marco Servetto and Elena Zucca</span>
<span class="title">λ-Based Object-Oriented Programming (Pearl)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2021.21">10.4230/LIPIcs.ECOOP.2021.21</a>
</li>
<li>
<span class="authors">Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, David Richter, Guido Salvaneschi, and Pascal Weisenburger</span>
<span class="title">Multiparty Languages: The Choreographic and Multitier Cases (Pearl)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2021.22">10.4230/LIPIcs.ECOOP.2021.22</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