default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID35th ECOOP 2021: Aarhus, Denmark (Virtual Conference)
- Anders Møller
, Manu Sridharan:
35th European Conference on Object-Oriented Programming, ECOOP 2021, July 11-17, 2021, Aarhus, Denmark (Virtual Conference). LIPIcs 194, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-190-0 - Front Matter, Table of Contents, Preface, Conference Organization. 0:1-0:24
- Hendrik van Antwerpen, Eelco Visser:
Scope States: Guarding Safety of Name Resolution in Parallel Type Checkers. 1:1-1:29 - Philipp Dominik Schubert, Ben Hermann, Eric Bodden:
Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis. 2:1-2:31 - Sam Estep, Jenna Wise, Jonathan Aldrich, Éric Tanter, Johannes Bader, Joshua Sunshine:
Gradual Program Analysis for Null Pointers. 3:1-3:25 - Jan Bessai, George T. Heineman, Boris Düdder:
Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems. 4:1-4:25 - Maxime Buyse, Rémi Delmas, Youssef Hamadi:
ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety. 5:1-5:29 - Petr Maj, Konrad Siek, Alexander Kovalenko, Jan Vitek:
CodeDJ: Reproducible Queries over Large-Scale Software Repositories. 6:1-6:24 - Ellen Arteca, Frank Tip, Max Schäfer:
Enabling Additional Parallelism in Asynchronous JavaScript Applications. 7:1-7:28 - Yu Hao, Sufian Latif, Hailong Zhang, Raef Bassily, Atanas Rountev:
Differential Privacy for Coverage Analysis of Software Traces. 8:1-8:25 - Edwin C. Brady:
Idris 2: Quantitative Type Theory in Practice. 9:1-9:26 - Paul Harvey, Simon Fowler, Ornela Dardha, Simon J. Gay:
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language. 10:1-10:30 - Xiaodong Gu, Yo-Sub Han, Sunghun Kim, Hongyu Zhang:
Do Bugs Propagate? An Empirical Analysis of Temporal Correlations Among Software Bugs. 11:1-11:21 - Wenjia Ye, Bruno C. d. S. Oliveira, Xuejing Huang:
Type-Directed Operational Semantics for Gradual Typing. 12:1-12:30 - Ohad Rau, Caleb Voss, Vivek Sarkar:
Linear Promises: Towards Safer Concurrent Programming. 13:1-13:27 - Aleksandar S. Dimovski, Sven Apel:
Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation. 14:1-14:28 - Guoqiang Zhang, Xipeng Shen:
Best-Effort Lazy Evaluation for Python Software Built on APIs. 15:1-15:24 - Dongjie He, Jingbo Lu, Yaoqing Gao, Jingling Xue:
Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability. 16:1-16:31 - Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara:
Signal Classes: A Mechanism for Building Synchronous and Persistent Signal Networks. 17:1-17:30 - Anish Tondwalkar, Matthew Kolosick, Ranjit Jhala:
Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types. 18:1-18:29 - Rodrigo Bonifácio, Stefan Krüger, Krishna Narasimhan, Eric Bodden, Mira Mezini:
Dealing with Variability in API Misuse Specification. 19:1-19:27 - Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas:
On the Monitorability of Session Types, in Theory and Practice. 20:1-20:30 - Marco Servetto, Elena Zucca:
λ-Based Object-Oriented Programming (Pearl). 21:1-21:16 - Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, David Richter, Guido Salvaneschi, Pascal Weisenburger:
Multiparty Languages: The Choreographic and Multitier Cases (Pearl). 22:1-22:27
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-05 20:41 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
