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