Abstract is missing.
- Multiparty Languages: The Choreographic and Multitier Cases (Pearl)Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, David Richter, Guido Salvaneschi, Pascal Weisenburger. [doi]
- Type-Directed Operational Semantics for Gradual TypingWenjia Ye, Bruno C. D. S. Oliveira, Xuejing Huang. [doi]
- Scope States: Guarding Safety of Name Resolution in Parallel Type CheckersHendrik van Antwerpen, Eelco Visser. [doi]
- CodeDJ: Reproducible Queries over Large-Scale Software RepositoriesPetr Maj, Konrad Siek, Alexander Kovalenko, Jan Vitek. [doi]
- Do Bugs Propagate? An Empirical Analysis of Temporal Correlations Among Software BugsXiaodong Gu, Yo-Sub Han, Sunghun Kim 0001, Hongyu Zhang 0002. [doi]
- Enabling Additional Parallelism in Asynchronous JavaScript ApplicationsEllen Arteca, Frank Tip, Max Schäfer. [doi]
- Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow AnalysisPhilipp Dominik Schubert, Ben Hermann, Eric Bodden. [doi]
- Differential Privacy for Coverage Analysis of Software TracesYu Hao, Sufian Latif, Hailong Zhang 0006, Raef Bassily, Atanas Rountev. [doi]
- Idris 2: Quantitative Type Theory in PracticeEdwin C. Brady. [doi]
- Best-Effort Lazy Evaluation for Python Software Built on APIsGuoqiang Zhang, Xipeng Shen. [doi]
- Lifted Static Analysis of Dynamic Program Families by Abstract InterpretationAleksandar S. Dimovski, Sven Apel. [doi]
- ALPACAS: A Language for Parametric Assessment of Critical Architecture SafetyMaxime Buyse, Rémi Delmas, Youssef Hamadi. [doi]
- Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented SystemsJan Bessai, George T. Heineman, Boris Düdder. [doi]
- Dealing with Variability in API Misuse SpecificationRodrigo Bonifácio, Stefan Krüger, Krishna Narasimhan, Eric Bodden, Mira Mezini. [doi]
- Signal Classes: A Mechanism for Building Synchronous and Persistent Signal NetworksTetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara. [doi]
- Gradual Program Analysis for Null PointersSam Estep, Jenna Wise, Jonathan Aldrich, Éric Tanter, Johannes Bader, Joshua Sunshine. [doi]
- Refinements of Futures Past: Higher-Order Specification with Implicit Refinement TypesAnish Tondwalkar, Matthew Kolosick, Ranjit Jhala. [doi]
- λ-Based Object-Oriented Programming (Pearl)Marco Servetto, Elena Zucca. [doi]
- Linear Promises: Towards Safer Concurrent ProgrammingOhad Rau, Caleb Voss 0001, Vivek Sarkar. [doi]
- Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and ReachabilityDongjie He, Jingbo Lu, Yaoqing Gao, Jingling Xue. [doi]
- Front Matter, Table of Contents, Preface, Conference Organization [doi]
- Multiparty Session Types for Safe Runtime Adaptation in an Actor LanguagePaul Harvey 0002, Simon Fowler 0001, Ornela Dardha, Simon J. Gay. [doi]
- On the Monitorability of Session Types, in Theory and PracticeChristian Bartolo Burlò, Adrian Francalanza, Alceste Scalas. [doi]