LIPIcs, Volume 194, ECOOP 2021

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