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