DARTS, Volume 7, Issue 2, ECOOP 2021

• William G. J. Halfond and Quentin Stiévenart Front Matter - ECOOP 2021 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee 10.4230/DARTS.7.2.0
• Hendrik van Antwerpen and Eelco Visser Scope States (Artifact) 10.4230/DARTS.7.2.1
• Christian Bartolo Burlò, Adrian Francalanza, and Alceste Scalas On the Monitorability of Session Types, in Theory and Practice (Artifact) 10.4230/DARTS.7.2.2
• Anish Tondwalkar, Matt Kolosick, and Ranjit Jhala mist: Refinements of Futures Past (Artifact) 10.4230/DARTS.7.2.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 (Artifact) 10.4230/DARTS.7.2.4
• Ellen Arteca, Frank Tip, and Max Schäfer Enabling Additional Parallelism in Asynchronous JavaScript Applications (Artifact) 10.4230/DARTS.7.2.5
• Aleksandar S. Dimovski and Sven Apel Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation (Artifact) 10.4230/DARTS.7.2.6
• Yu Hao, Sufian Latif, Hailong Zhang, Raef Bassily, and Atanas Rountev Differential Privacy for Coverage Analysis of Software Traces (Artifact) 10.4230/DARTS.7.2.7
• Paul Harvey, Simon Fowler, Ornela Dardha, and Simon J. Gay Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Artifact) 10.4230/DARTS.7.2.8
• Wenjia Ye, Bruno C. d. S. Oliveira, and Xuejing Huang Type-Directed Operational Semantics for Gradual Typing (Artifact) 10.4230/DARTS.7.2.9
• Edwin Brady Idris 2: Quantitative Type Theory in Practice (Artifact) 10.4230/DARTS.7.2.10
• Weixin Zhang, Yaozhu Sun, and Bruno C. d. S. Oliveira Compositional Programming (Artifact) 10.4230/DARTS.7.2.11
• Dongjie He, Jingbo Lu, Yaoqing Gao, and Jingling Xue Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability (Artifact) 10.4230/DARTS.7.2.12
• Petr Maj, Konrad Siek¹, Alexander Kovalenko, and Jan Vitek CodeDJ: Reproducible Queries over Large-Scale Software Repositories (Artifact) 10.4230/DARTS.7.2.13
• Maxime Buyse, Rémi Delmas, and Youssef Hamadi ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety (Artifact) 10.4230/DARTS.7.2.14
• Ohad Rau, Caleb Voss, and Vivek Sarkar Linear Promises: Towards Safer Concurrent Programming (Artifact) 10.4230/DARTS.7.2.15