Portal - ECOOP 2021

ECOOP 2021	July 11-17, 2021, Aarhus, Denmark (Virtual Conference)
35th European Conference on Object-Oriented Programming (ECOOP 2021) Manu Sridharan and Anders Møller (Eds.)
ISBN 978-3-95977-190-0, LIPICS Vol. 194	ISSN 1868-8969

Additional Information

License
Conference Website
Complete volume (PDF, 13 MB)
Search Publication Server

Authors

Bartolo Burlò, Christian

Dimovski, Aleksandar S.

Oliveira, Bruno C. d. S.

Schubert, Philipp Dominik

van Antwerpen, Hendrik

Front Matter, Table of Contents, Preface, Conference Organization

Authors: Møller, Anders ; Sridharan, Manu

Abstract | Document (600 KB) | BibTeX

Scope States: Guarding Safety of Name Resolution in Parallel Type Checkers

Authors: van Antwerpen, Hendrik ; Visser, Eelco

Abstract | Document (1,140 KB) | BibTeX

Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis

Authors: Schubert, Philipp Dominik ; Hermann, Ben ; Bodden, Eric

Abstract | Document (1,027 KB) | BibTeX

Gradual Program Analysis for Null Pointers

Authors: Estep, Sam ; Wise, Jenna ; Aldrich, Jonathan ; Tanter, Éric ; Bader, Johannes ; Sunshine, Joshua

Abstract | Document (860 KB) | BibTeX

Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems

Authors: Bessai, Jan ; Heineman, George T. ; Düdder, Boris

Abstract | Document (2,221 KB) | BibTeX

ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety

Authors: Buyse, Maxime ; Delmas, Rémi ; Hamadi, Youssef

Abstract | Document (1,181 KB) | BibTeX

CodeDJ: Reproducible Queries over Large-Scale Software Repositories

Authors: Maj, Petr ; Siek, Konrad ; Kovalenko, Alexander ; Vitek, Jan

Abstract | Document (1,209 KB) | BibTeX

Enabling Additional Parallelism in Asynchronous JavaScript Applications

Authors: Arteca, Ellen ; Tip, Frank ; Schäfer, Max

Abstract | Document (1,148 KB) | BibTeX

Differential Privacy for Coverage Analysis of Software Traces

Authors: Hao, Yu ; Latif, Sufian ; Zhang, Hailong ; Bassily, Raef ; Rountev, Atanas

Abstract | Document (1,090 KB) | BibTeX

Idris 2: Quantitative Type Theory in Practice

Authors: Brady, Edwin

Abstract | Document (917 KB) | BibTeX

Multiparty Session Types for Safe Runtime Adaptation in an Actor Language

Authors: Harvey, Paul ; Fowler, Simon ; Dardha, Ornela ; Gay, Simon J.

Abstract | Document (1,221 KB) | BibTeX

Do Bugs Propagate? An Empirical Analysis of Temporal Correlations Among Software Bugs

Authors: Gu, Xiaodong ; Han, Yo-Sub ; Kim, Sunghun ; Zhang, Hongyu

Abstract | Document (1,844 KB) | BibTeX

Type-Directed Operational Semantics for Gradual Typing

Authors: Ye, Wenjia ; Oliveira, Bruno C. d. S. ; Huang, Xuejing

Abstract | Document (1,004 KB) | BibTeX

Linear Promises: Towards Safer Concurrent Programming

Authors: Rau, Ohad ; Voss, Caleb ; Sarkar, Vivek

Abstract | Document (976 KB) | BibTeX

Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation

Authors: Dimovski, Aleksandar S. ; Apel, Sven

Abstract | Document (1,171 KB) | BibTeX

Best-Effort Lazy Evaluation for Python Software Built on APIs

Authors: Zhang, Guoqiang ; Shen, Xipeng

Abstract | Document (1,350 KB) | BibTeX

Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability

Authors: He, Dongjie ; Lu, Jingbo ; Gao, Yaoqing ; Xue, Jingling

Abstract | Document (1,527 KB) | BibTeX

Signal Classes: A Mechanism for Building Synchronous and Persistent Signal Networks

Authors: Kamina, Tetsuo ; Aotani, Tomoyuki ; Masuhara, Hidehiko

Abstract | Document (969 KB) | BibTeX

Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types

Authors: Tondwalkar, Anish ; Kolosick, Matthew ; Jhala, Ranjit

Abstract | Document (1,041 KB) | BibTeX

Dealing with Variability in API Misuse Specification

Authors: Bonifácio, Rodrigo ; Krüger, Stefan ; Narasimhan, Krishna ; Bodden, Eric ; Mezini, Mira

Abstract | Document (1,131 KB) | BibTeX

On the Monitorability of Session Types, in Theory and Practice

Authors: Bartolo Burlò, Christian ; Francalanza, Adrian ; Scalas, Alceste

Abstract | Document (1,284 KB) | BibTeX

λ-Based Object-Oriented Programming (Pearl)

Authors: Servetto, Marco ; Zucca, Elena

Abstract | Document (782 KB) | BibTeX

Multiparty Languages: The Choreographic and Multitier Cases (Pearl)

Authors: Giallorenzo, Saverio ; Montesi, Fabrizio ; Peressotti, Marco ; Richter, David ; Salvaneschi, Guido ; Weisenburger, Pascal

Abstract | Document (980 KB) | BibTeX

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI

35th European Conference on Object-Oriented Programming (ECOOP 2021)