<h2>LIPIcs, Volume 263, ECOOP 2023</h2>
<ul>
<li>
<span class="authors">Karim Ali and Guido Salvaneschi</span>
<span class="title">LIPIcs, Volume 263, ECOOP 2023, Complete Volume</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2023">10.4230/LIPIcs.ECOOP.2023</a>
</li>
<li>
<span class="authors">Karim Ali and Guido Salvaneschi</span>
<span class="title">Front Matter, Table of Contents, Preface, Conference Organization</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2023.0">10.4230/LIPIcs.ECOOP.2023.0</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</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2023.1">10.4230/LIPIcs.ECOOP.2023.1</a>
</li>
<li>
<span class="authors">Jim Bauwens and Elisa Gonzalez Boix</span>
<span class="title">Nested Pure Operation-Based CRDTs</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2023.2">10.4230/LIPIcs.ECOOP.2023.2</a>
</li>
<li>
<span class="authors">Riccardo Bianchini, Francesco Dagnino, Paola Giannini, and Elena Zucca</span>
<span class="title">Multi-Graded Featherweight Java</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2023.3">10.4230/LIPIcs.ECOOP.2023.3</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</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2023.4">10.4230/LIPIcs.ECOOP.2023.4</a>
</li>
<li>
<span class="authors">Katharina Brandl, Sebastian Erdweg, Sven Keidel, and Nils Hansen</span>
<span class="title">Modular Abstract Definitional Interpreters for WebAssembly</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2023.5">10.4230/LIPIcs.ECOOP.2023.5</a>
</li>
<li>
<span class="authors">David Castro-Perez and Nobuko Yoshida</span>
<span class="title">Dynamically Updatable Multiparty Session Protocols: Generating Concurrent Go Code from Unbounded Protocols</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2023.6">10.4230/LIPIcs.ECOOP.2023.6</a>
</li>
<li>
<span class="authors">Luís Cruz-Filipe, Eva Graversen, Lovro Lugović, Fabrizio Montesi, and Marco Peressotti</span>
<span class="title">Modular Compilation for Higher-Order Functional Choreographies</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2023.7">10.4230/LIPIcs.ECOOP.2023.7</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...</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2023.8">10.4230/LIPIcs.ECOOP.2023.8</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</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2023.9">10.4230/LIPIcs.ECOOP.2023.9</a>
</li>
<li>
<span class="authors">Jens Dietrich, David J. Pearce, and Mahin Chandramohan</span>
<span class="title">On Leveraging Tests to Infer Nullable Annotations</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2023.10">10.4230/LIPIcs.ECOOP.2023.10</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</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2023.11">10.4230/LIPIcs.ECOOP.2023.11</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 (Extended Abstract)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2023.12">10.4230/LIPIcs.ECOOP.2023.12</a>
</li>
<li>
<span class="authors">Feiyang Jin, Lechen Yu, Tiago Cogumbreiro, Jun Shirako, and Vivek Sarkar</span>
<span class="title">Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2023.13">10.4230/LIPIcs.ECOOP.2023.13</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</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2023.14">10.4230/LIPIcs.ECOOP.2023.14</a>
</li>
<li>
<span class="authors">Roland Kuhn, Hernán Melgratti, and Emilio Tuosto</span>
<span class="title">Behavioural Types for Local-First Software</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2023.15">10.4230/LIPIcs.ECOOP.2023.15</a>
</li>
<li>
<span class="authors">Yannan Li and Chao Wang</span>
<span class="title">Constraint Based Compiler Optimization for Energy Harvesting Applications</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2023.16">10.4230/LIPIcs.ECOOP.2023.16</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</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2023.17">10.4230/LIPIcs.ECOOP.2023.17</a>
</li>
<li>
<span class="authors">Magnus Madsen and Jaco van de Pol</span>
<span class="title">Programming with Purity Reflection: Peaceful Coexistence of Effects, Laziness, and Parallelism</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2023.18">10.4230/LIPIcs.ECOOP.2023.18</a>
</li>
<li>
<span class="authors">Petar Maksimović, Caroline Cronjäger, Andreas Lööw, Julian Sutherland, and Philippa Gardner</span>
<span class="title">Exact Separation Logic: Towards Bridging the Gap Between Verification and Bug-Finding</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2023.19">10.4230/LIPIcs.ECOOP.2023.19</a>
</li>
<li>
<span class="authors">Ashish Mishra and Suresh Jagannathan</span>
<span class="title">Morpheus: Automated Safety Verification of Data-Dependent Parser Combinator Programs</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2023.20">10.4230/LIPIcs.ECOOP.2023.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</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2023.21">10.4230/LIPIcs.ECOOP.2023.21</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</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2023.22">10.4230/LIPIcs.ECOOP.2023.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</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2023.23">10.4230/LIPIcs.ECOOP.2023.23</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</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2023.24">10.4230/LIPIcs.ECOOP.2023.24</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</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2023.25">10.4230/LIPIcs.ECOOP.2023.25</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</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2023.26">10.4230/LIPIcs.ECOOP.2023.26</a>
</li>
<li>
<span class="authors">Hesam Shahrokhi and Amir Shaikhha</span>
<span class="title">An Efficient Vectorized Hash Table for Batch Computations</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2023.27">10.4230/LIPIcs.ECOOP.2023.27</a>
</li>
<li>
<span class="authors">Amir Shaikhha, Mahdi Ghorbani, and Hesam Shahrokhi</span>
<span class="title">Hinted Dictionaries: Efficient Functional Ordered Sets and Maps</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2023.28">10.4230/LIPIcs.ECOOP.2023.28</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</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2023.29">10.4230/LIPIcs.ECOOP.2023.29</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</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2023.30">10.4230/LIPIcs.ECOOP.2023.30</a>
</li>
<li>
<span class="authors">Jonathan Lindegaard Starup, Magnus Madsen, and Ondřej Lhoták</span>
<span class="title">Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2023.31">10.4230/LIPIcs.ECOOP.2023.31</a>
</li>
<li>
<span class="authors">Felix Stutz</span>
<span class="title">Asynchronous Multiparty Session Type Implementability is Decidable - Lessons Learned from Message Sequence Charts</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2023.32">10.4230/LIPIcs.ECOOP.2023.32</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</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2023.33">10.4230/LIPIcs.ECOOP.2023.33</a>
</li>
<li>
<span class="authors">Jinhao Tan and Bruno C. d. S. Oliveira</span>
<span class="title">Dependent Merges and First-Class Environments</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2023.34">10.4230/LIPIcs.ECOOP.2023.34</a>
</li>
<li>
<span class="authors">Jacob Van Geffen, Xi Wang, Emina Torlak, and James Bornholt</span>
<span class="title">Synthesis-Aided Crash Consistency for Storage Systems</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2023.35">10.4230/LIPIcs.ECOOP.2023.35</a>
</li>
<li>
<span class="authors">Chengpeng Wang, Peisen Yao, Wensheng Tang, Gang Fan, and Charles Zhang</span>
<span class="title">Synthesizing Conjunctive Queries for Code Search</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2023.36">10.4230/LIPIcs.ECOOP.2023.36</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?</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2023.37">10.4230/LIPIcs.ECOOP.2023.37</a>
</li>
<li>
<span class="authors">Sahil Bhatia, Sumer Kohli, Sanjit A. Seshia, and Alvin Cheung</span>
<span class="title">Building Code Transpilers for Domain-Specific Languages Using Program Synthesis (Experience Paper)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2023.38">10.4230/LIPIcs.ECOOP.2023.38</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 (Experience Paper)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2023.39">10.4230/LIPIcs.ECOOP.2023.39</a>
</li>
<li>
<span class="authors">João Mota, Marco Giunti, and António Ravara</span>
<span class="title">On Using VeriFast, VerCors, Plural, and KeY to Check Object Usage (Experience Paper)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2023.40">10.4230/LIPIcs.ECOOP.2023.40</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 (Pearl/Brave New Idea)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2023.41">10.4230/LIPIcs.ECOOP.2023.41</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 (Pearl/Brave New Idea)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2023.42">10.4230/LIPIcs.ECOOP.2023.42</a>
</li>
<li>
<span class="authors">Marco Raglianti, Csaba Nagy, Roberto Minelli, Bin Lin, and Michele Lanza</span>
<span class="title">On the Rise of Modern Software Documentation (Pearl/Brave New Idea)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2023.43">10.4230/LIPIcs.ECOOP.2023.43</a>
</li>
<li>
<span class="authors">Ori Roth</span>
<span class="title">Python Type Hints Are Turing Complete (Pearl/Brave New Idea)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2023.44">10.4230/LIPIcs.ECOOP.2023.44</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