DARTS, Volume 9, Issue 2, ECOOP 2023

• Hernán Ponce de León and Stefan Winter Front Matter - ECOOP 2023 Artifacts, Table of Contents, Preface, Artifact Evaluation Committee 10.4230/DARTS.9.2.0
• Ori Roth Python Type Hints Are Turing Complete (Artifact) 10.4230/DARTS.9.2.1
• Jinhao Tan and Bruno C. d. S. Oliveira Dependent Merges and First-Class Environments (Artifact) 10.4230/DARTS.9.2.2
• Ugnius Rumsevicius, Siddhanth Venkateshwaran, Ellen Kidane, and Luís Pina Sinatra: Stateful Instantaneous Updates for Commercial Browsers Through Multi-Version eXecution (Artifact) 10.4230/DARTS.9.2.3
• Jan de Muijnck-Hughes and Wim Vanderbauwhede Wiring Circuits Is Easy as {0, 1, ω}, or Is It... (Artifact) 10.4230/DARTS.9.2.4
• Ming-Ho Yee and Arjun Guha Do Machine Learning Models Produce TypeScript Types That Type Check? (Artifact) 10.4230/DARTS.9.2.5
• Lucas Silver, Paul He, Ethan Cecchetti, Andrew K. Hirsch, and Steve Zdancewic Semantics for Noninterference with Interaction Trees (Artifact) 10.4230/DARTS.9.2.6
• Frederico Ramos, Nuno Sabino, Pedro Adão, David A. Naumann, and José Fragoso Santos Toward Tool-Independent Summaries for Symbolic Execution (Artifact) 10.4230/DARTS.9.2.7
• Lucas Silver, Eddy Westbrook, Matthew Yacavone, and Ryan Scott Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations That Supports Auto-Active Verification (Artifact) 10.4230/DARTS.9.2.8
• Adam D. Barwell, Ping Hou, Nobuko Yoshida, and Fangyi Zhou Designing Asynchronous Multiparty Protocols with Crash-Stop Failures (Artifact) 10.4230/DARTS.9.2.9
• David Castro-Perez and Nobuko Yoshida Dynamically Updatable Multiparty Session Protocols (Artifact) 10.4230/DARTS.9.2.10
• Julian Haas, Ragnar Mogk, Elena Yanakieva, Annette Bieniusa, and Mira Mezini LoRe: A Programming Model for Verifiably Safe Local-First Software (Artifact) 10.4230/DARTS.9.2.11
• Magnus Madsen, Jonathan Lindegaard Starup, and Matthew Lutze Restrictable Variants: A Simple and Practical Alternative to Extensible Variants (Artifact) 10.4230/DARTS.9.2.12
• Simon Henniger and Nada Amin The Dolorem Pattern: Growing a Language Through Compile-Time Function Execution (Artifact) 10.4230/DARTS.9.2.13
• Roland Kuhn, Hernán Melgratti, and Emilio Tuosto Behavioural Types for Local-First Software (Artifact) 10.4230/DARTS.9.2.14
• Abel Nieto, Arnaud Daby-Seesaram, Léon Gondelman, Amin Timany, and Lars Birkedal Modular Verification of State-Based CRDTs in Separation Logic (Artifact) 10.4230/DARTS.9.2.15
• Felix Suchert, Lisza Zeidler, Jeronimo Castrillon, and Sebastian Ertel ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs (Artifact) 10.4230/DARTS.9.2.16
• David Richter, Timon Böhler, Pascal Weisenburger, and Mira Mezini A Direct-Style Effect Notation for Sequential and Parallel Programs (Artifact) 10.4230/DARTS.9.2.17
• Sung-Shik Jongmans and Francisco Ferreira Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Artifact) 10.4230/DARTS.9.2.18
• Kevin De Porre, Carla Ferreira, and Elisa Gonzalez Boix VeriFx: Correct Replicated Data Types for the Masses (Artifact) 10.4230/DARTS.9.2.19
• Henrique Botelho Guerra, João F. Ferreira, and João Costa Seco Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution (Artifact) 10.4230/DARTS.9.2.20
• Mark Moeller, Thomas Wiener, Alaia Solko-Breslin, Caleb Koch, Nate Foster, and Alexandra Silva Automata Learning with an Incomplete Teacher (Artifact) 10.4230/DARTS.9.2.21
• Andong Fan and Lionel Parreaux super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion (Artifact) 10.4230/DARTS.9.2.22
• Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, and Fausto Spoto Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact) 10.4230/DARTS.9.2.23
• Feiyang Jin and Lechen Yu Determinacy Race Detector for Promises (Artifact) 10.4230/DARTS.9.2.24
• Sarah Harris, Simon Cooksey, Michael Vollmer, and Mark Batty Rust for Morello: Always-On Memory Safety, Even in Unsafe Code (Artifact) 10.4230/DARTS.9.2.25
• Christian Kuessner, Ragnar Mogk, Anna-Katharina Wickert, and Mira Mezini Algebraic Replicated Data Types: Programming Secure Local-First Software (Artifact) 10.4230/DARTS.9.2.26