DARTS, Volume 8, Issue 2, ECOOP 2022

• Alessandra Gorla and Stefan Winter Front Matter - ECOOP 2022 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee 10.4230/DARTS.8.2.0
• Daniel Marshall and Dominic Orchard How to Take the Inverse of a Type (Artifact) 10.4230/DARTS.8.2.1
• Vlad Rusu and David Nowak Defining Corecursive Functions in Coq Using Approximations (Artifact) 10.4230/DARTS.8.2.2
• Shuyang Liu, John Bender, and Jens Palsberg Compiling Volatile Correctly in Java (Artifact) 10.4230/DARTS.8.2.3
• Andong Fan, Xuejing Huang, Han Xu, Yaozhu Sun, and Bruno C. d. S. Oliveira Direct Foundations for Compositional Programming (Artifact) 10.4230/DARTS.8.2.4
• Jinxu Zhao and Bruno C. d. S. Oliveira Elementary Type Inference (Artifact) 10.4230/DARTS.8.2.5
• Dongjie He, Jingbo Lu, and Jingling Xue Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis (Artifact) 10.4230/DARTS.8.2.6
• Madhurima Chakraborty, Renzo Olivares, Manu Sridharan, and Behnaz Hassanshahi Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs (Artifact) 10.4230/DARTS.8.2.7
• Giorgio Audrito, Roberto Casadei, Ferruccio Damiani, Guido Salvaneschi, and Mirko Viroli Functional Programming for Distributed Systems with XC (Artifact) 10.4230/DARTS.8.2.8
• Nicolas Lagaillardie, Rumyana Neykova, and Nobuko Yoshida Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types (Artifact) 10.4230/DARTS.8.2.9
• Heiko Becker, Robert Rabe, Eva Darulova, Magnus O. Myreen, Zachary Tatlock, Ramana Kumar, Yong Kiam Tan, and Anthony Fox Verified Compilation and Optimization of Floating-Point Programs in CakeML (Artifact) 10.4230/DARTS.8.2.10
• Lukáš Holík, Petr Peringer, Adam Rogalewicz, Veronika Šoková, Tomáš Vojnar, and Florian Zuleger Low-Level Bi-Abduction (Artifact) 10.4230/DARTS.8.2.11
• Zachary Grannan, Niki Vazou, Eva Darulova, and Alexander J. Summers REST: Integrating Term Rewriting with Program Verification (Artifact) 10.4230/DARTS.8.2.12
• Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, and Cristian Cadar A Deterministic Memory Allocator for Dynamic Symbolic Execution (Artifact) 10.4230/DARTS.8.2.13
• Ruo Fei Chen, Stephanie Balzer, and Bernardo Toninho Ferrite: A Judgmental Embedding of Session Types in Rust (Artifact) 10.4230/DARTS.8.2.14
• Jules Jacobs A Self-Dual Distillation of Session Types: Mechanized Proofs (Artifact) 10.4230/DARTS.8.2.15
• David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, and Mira Mezini Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Artifact) 10.4230/DARTS.8.2.16
• Baber Rehman, Xuejing Huang, Ningning Xie, and Bruno C. d. S. Oliveira Union Types with Disjoint Switches (Artifact) 10.4230/DARTS.8.2.17
• Andreas Stadelmeier, Martin Plümicke, and Peter Thiemann Global Type Inference for Featherweight Generic Java - Prototype Implementation (Artifact) 10.4230/DARTS.8.2.18
• Guillermina Cledou, Luc Edixhoven, Sung-Shik Jongmans, and José Proença API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact) 10.4230/DARTS.8.2.19
• Filipe Marques, José Fragoso Santos, Nuno Santos, and Pedro Adão Concolic Execution for WebAssembly (Artifact) 10.4230/DARTS.8.2.20
• Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, and Nobuko Yoshida Design-by-Contract for Flexible Multiparty Session Protocols (Artifact) 10.4230/DARTS.8.2.21
• Martin Kellogg, Narges Shadab, Manu Sridharan, and Michael D. Ernst Accumulation Analysis (Artifact) 10.4230/DARTS.8.2.22
• Manuel Serrano JavaScript Sealed Classes (Artifact) 10.4230/DARTS.8.2.23
• Hehao Li, Yizhuo Wang, Yiwei Zhang, Juanru Li, and Dawu Gu PEDroid: Automatically Extracting Patches from Android App Updates (Artifact) 10.4230/DARTS.8.2.24
• Abhiroop Sarkar and Bo Joel Svensson Synchron - An API and Runtime for Embedded Systems (Artifact) 10.4230/DARTS.8.2.25
• Anxhelo Xhebraj, Oliver Bračevac, Guannan Wei, and Tiark Rompf What If We Don't Pop the Stack? The Return of 2nd-Class Values (Artifact) 10.4230/DARTS.8.2.26