DARTS, Volume 10, Issue 2, ECOOP 2024

• Karine Even-Mendoza and Raphaël Monat Front Matter, Table of Contents, Preface, Conference Organization 10.4230/DARTS.10.2.0
• Luca Aceto, Duncan Paul Attard, Adrian Francalanza, and Anna Ingólfsdóttir Runtime Instrumentation for Reactive Components (Artifact) 10.4230/DARTS.10.2.1
• Steven Arzt, Marc Miltenberger, and Julius Näumann Dynamically Generating Callback Summaries for Enhancing Static Analysis (Artifact) 10.4230/DARTS.10.2.2
• Luís Carvalho and João Costa Seco A Language-Based Version Control System for Python (Artifact) 10.4230/DARTS.10.2.3
• Farzaneh Derakhshan, Stephanie Balzer, and Yue Yao Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency (Artifact) 10.4230/DARTS.10.2.4
• Aleksandar S. Dimovski Mutation-Based Lifted Repair of Software Product Lines (Artifact) 10.4230/DARTS.10.2.5
• Vlastimil Dort, Yufeng Li, Ondřej Lhoták, and Pavel Parízek Pure Methods for roDOT (Artifact) 10.4230/DARTS.10.2.6
• Sam Estep, Wode Ni, Raven Rothkopf, and Joshua Sunshine Rose: Composable Autodiff for the Interactive Web (Artifact) 10.4230/DARTS.10.2.7
• Philipp Haller, Ayman Hussein, Hernán Melgratti, Alceste Scalas, and Emilio Tuosto Fair Join Pattern Matching for Actors (Artifact) 10.4230/DARTS.10.2.8
• Elad Kinsbruner, Shachar Itzhaky, and Hila Peleg Constrictor: Immutability as a Design Concept (Artifact) 10.4230/DARTS.10.2.9
• Nicolas Lagaillardie, Ping Hou, and Nobuko Yoshida Fearless Asynchronous Communications with Timed Session Types in Rust (Artifact) 10.4230/DARTS.10.2.10
• Senxi Li, Tetsuro Yamazaki, and Shigeru Chiba InferType: A Compiler Toolkit for Implementing Efficient Constraint-Based Type Inference (Artifact) 10.4230/DARTS.10.2.11
• Liyi Li, Mingwei Zhu, Rance Cleaveland, Alexander Nicolellis, Yi Lee, Le Chang, and Xiaodi Wu Qafny: A Quantum-Program Verifier (Artifact) 10.4230/DARTS.10.2.12
• Andreas Lööw, Daniele Nantes-Sobrinho, Sacha-Élie Ayoun, Caroline Cronjäger, Nat Karmios, Petar Maksimović, and Philippa Gardner Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Artifact) 10.4230/DARTS.10.2.13
• Zeina Migeed and Jens Palsberg Generalizing Shape Analysis with Gradual Types (Artifact) 10.4230/DARTS.10.2.14
• Nisarg Patel, Dennis Shasha, and Thomas Wies Verifying Lock-Free Search Structure Templates (Artifact) 10.4230/DARTS.10.2.15
• Dan Plyukhin, Marco Peressotti, and Fabrizio Montesi Ozone: Fully Out-of-Order Choreographies (Artifact) 10.4230/DARTS.10.2.16
• Jie Qiu, Colin Cai, Sahil Bhatia, Niranjan Hasabnis, Sanjit A. Seshia, and Alvin Cheung Tenspiler: A Verified-Lifting-Based Compiler for Tensor Operations (Artifact) 10.4230/DARTS.10.2.17
• David Richter, Timon Böhler, Pascal Weisenburger, and Mira Mezini Compiling with Arrays (Artifact) 10.4230/DARTS.10.2.18
• Amos Robinson and Alex Potanin Pipit on the Post: Proving Pre- and Post-Conditions of Reactive Systems (Artifact) 10.4230/DARTS.10.2.19
• Stefan Schott, Serena Elisa Ponta, Wolfram Fischer, Jonas Klauke, and Eric Bodden Java Bytecode Normalization for Code Similarity Analysis (Artifact) 10.4230/DARTS.10.2.20
• Vidush Singhal, Chaitanya Koparkar, Joseph Zullo, Artem Pelenitsyn, Michael Vollmer, Mike Rainey, Ryan Newton, and Milind Kulkarni Optimizing Layout of Recursive Datatypes with Marmoset (Artifact) 10.4230/DARTS.10.2.21
• Ke Sun, Di Wang, Sheng Chen, Meng Wang, and Dan Hao Formalizing, Mechanizing, and Verifying Class-Based Refinement Types (Artifact) 10.4230/DARTS.10.2.22
• Martin Vassor and Nobuko Yoshida Refinements for Multiparty Message-Passing Protocols: Specification-Agnostic Theory and Implementation (Artifact) 10.4230/DARTS.10.2.23
• Ashton Wiersdorf, Stephen Chang, Matthias Felleisen, and Ben Greenman Type Tailoring (Artifact) 10.4230/DARTS.10.2.24
• David Young, Ziyi Yang, Ilya Sergey, and Alex Potanin Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Artifact) 10.4230/DARTS.10.2.25
• Quan Zhou, Sixuan Dang, and Danfeng Zhang CtChecker: A Precise, Sound and Efficient Static Analysis for Constant-Time Programming (Artifact) 10.4230/DARTS.10.2.26
• Aron Zwaan and Casper Bach Poulsen Defining Name Accessibility Using Scope Graphs (Artifact) 10.4230/DARTS.10.2.27