ECOOP 2021
23 papers
- ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety
- Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability
- Best-Effort Lazy Evaluation for Python Software Built on APIs
- CodeDJ: Reproducible Queries over Large-Scale Software Repositories
- Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems
- Dealing with Variability in API Misuse Specification
- Differential Privacy for Coverage Analysis of Software Traces
- Do Bugs Propagate? An Empirical Analysis of Temporal Correlations Among Software Bugs
- Enabling Additional Parallelism in Asynchronous JavaScript Applications
- Front Matter, Table of Contents, Preface, Conference Organization
- Gradual Program Analysis for Null Pointers
- Idris 2: Quantitative Type Theory in Practice
- Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation
- Linear Promises: Towards Safer Concurrent Programming
- Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis
- Multiparty Languages: The Choreographic and Multitier Cases (Pearl)
- Multiparty Session Types for Safe Runtime Adaptation in an Actor Language
- On the Monitorability of Session Types, in Theory and Practice
- Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types
- Scope States: Guarding Safety of Name Resolution in Parallel Type Checkers
- Signal Classes: A Mechanism for Building Synchronous and Persistent Signal Networks
- Type-Directed Operational Semantics for Gradual Typing
- λ-Based Object-Oriented Programming (Pearl)