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