<h2>LIPIcs, Volume 313, ECOOP 2024</h2>
<ul>
<li>
<span class="authors">Jonathan Aldrich and Guido Salvaneschi</span>
<span class="title">LIPIcs, Volume 313, ECOOP 2024, Complete Volume</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2024">10.4230/LIPIcs.ECOOP.2024</a>
</li>
<li>
<span class="authors">Jonathan Aldrich 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.2024.0">10.4230/LIPIcs.ECOOP.2024.0</a>
</li>
<li>
<span class="authors">Luca Aceto, Daniele Gorla, and Stian Lybech</span>
<span class="title">A Sound Type System for Secure Currency Flow</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2024.1">10.4230/LIPIcs.ECOOP.2024.1</a>
</li>
<li>
<span class="authors">Luca Aceto, Duncan Paul Attard, Adrian Francalanza, and Anna Ingólfsdóttir</span>
<span class="title">Runtime Instrumentation for Reactive Components</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2024.2">10.4230/LIPIcs.ECOOP.2024.2</a>
</li>
<li>
<span class="authors">Barnabas Arvay, Thi Thu Ha Doan, and Peter Thiemann</span>
<span class="title">A Dynamic Logic for Symbolic Execution for the Smart Contract Programming Language Michelson</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2024.3">10.4230/LIPIcs.ECOOP.2024.3</a>
</li>
<li>
<span class="authors">Steven Arzt, Marc Miltenberger, and Julius Näumann</span>
<span class="title">Dynamically Generating Callback Summaries for Enhancing Static Analysis</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2024.4">10.4230/LIPIcs.ECOOP.2024.4</a>
</li>
<li>
<span class="authors">Lorenzo Bacchiani, Mario Bravetti, Marco Giunti, João Mota, and António Ravara</span>
<span class="title">Behavioural Up/down Casting For Statically Typed Languages</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2024.5">10.4230/LIPIcs.ECOOP.2024.5</a>
</li>
<li>
<span class="authors">Felix Berlakovich and Stefan Brunthaler</span>
<span class="title">Cross Module Quickening - The Curious Case of C Extensions</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2024.6">10.4230/LIPIcs.ECOOP.2024.6</a>
</li>
<li>
<span class="authors">Matthias Bernad and Stefan Brunthaler</span>
<span class="title">HOBBIT: Hashed OBject Based InTegrity</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2024.7">10.4230/LIPIcs.ECOOP.2024.7</a>
</li>
<li>
<span class="authors">Bob Brockbernd, Nikita Koval, Arie van Deursen, and Burcu Kulahcioglu Ozkan</span>
<span class="title">Understanding Concurrency Bugs in Real-World Programs with Kotlin Coroutines</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2024.8">10.4230/LIPIcs.ECOOP.2024.8</a>
</li>
<li>
<span class="authors">Luís Carvalho and João Costa Seco</span>
<span class="title">A Language-Based Version Control System for Python</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2024.9">10.4230/LIPIcs.ECOOP.2024.9</a>
</li>
<li>
<span class="authors">Madhurima Chakraborty, Aakash Gnanakumar, Manu Sridharan, and Anders Møller</span>
<span class="title">Indirection-Bounded Call Graph Analysis</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2024.10">10.4230/LIPIcs.ECOOP.2024.10</a>
</li>
<li>
<span class="authors">Farzaneh Derakhshan, Stephanie Balzer, and Yue Yao</span>
<span class="title">Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2024.11">10.4230/LIPIcs.ECOOP.2024.11</a>
</li>
<li>
<span class="authors">Aleksandar S. Dimovski</span>
<span class="title">Mutation-Based Lifted Repair of Software Product Lines</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2024.12">10.4230/LIPIcs.ECOOP.2024.12</a>
</li>
<li>
<span class="authors">Vlastimil Dort, Yufeng Li, Ondřej Lhoták, and Pavel Parízek</span>
<span class="title">Pure Methods for roDOT</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2024.13">10.4230/LIPIcs.ECOOP.2024.13</a>
</li>
<li>
<span class="authors">M. Anton Ertl and Bernd Paysan</span>
<span class="title">The Performance Effects of Virtual-Machine Instruction Pointer Updates</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2024.14">10.4230/LIPIcs.ECOOP.2024.14</a>
</li>
<li>
<span class="authors">Sam Estep, Wode Ni, Raven Rothkopf, and Joshua Sunshine</span>
<span class="title">Rose: Composable Autodiff for the Interactive Web</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2024.15">10.4230/LIPIcs.ECOOP.2024.15</a>
</li>
<li>
<span class="authors">Cormac Flanagan and Stephen N. Freund</span>
<span class="title">Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2024.16">10.4230/LIPIcs.ECOOP.2024.16</a>
</li>
<li>
<span class="authors">Philipp Haller, Ayman Hussein, Hernán Melgratti, Alceste Scalas, and Emilio Tuosto</span>
<span class="title">Fair Join Pattern Matching for Actors</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2024.17">10.4230/LIPIcs.ECOOP.2024.17</a>
</li>
<li>
<span class="authors">Dongjie He, Jingbo Lu, and Jingling Xue</span>
<span class="title">A CFL-Reachability Formulation of Callsite-Sensitive Pointer Analysis with Built-In On-The-Fly Call Graph Construction</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2024.18">10.4230/LIPIcs.ECOOP.2024.18</a>
</li>
<li>
<span class="authors">Ping Hou, Nicolas Lagaillardie, and Nobuko Yoshida</span>
<span class="title">Fearless Asynchronous Communications with Timed Multiparty Session Protocols</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2024.19">10.4230/LIPIcs.ECOOP.2024.19</a>
</li>
<li>
<span class="authors">Florian Huemer, David Leopoldseder, Aleksandar Prokopec, Raphael Mosaner, and Hanspeter Mössenböck</span>
<span class="title">Taking a Closer Look: An Outlier-Driven Approach to Compilation-Time Optimization</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2024.20">10.4230/LIPIcs.ECOOP.2024.20</a>
</li>
<li>
<span class="authors">Mohammad Wahiduzzaman Khan, Sheng Chen, and Yi He</span>
<span class="title">Learning Gradual Typing Performance</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2024.21">10.4230/LIPIcs.ECOOP.2024.21</a>
</li>
<li>
<span class="authors">Elad Kinsbruner, Shachar Itzhaky, and Hila Peleg</span>
<span class="title">Constrictor: Immutability as a Design Concept</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2024.22">10.4230/LIPIcs.ECOOP.2024.22</a>
</li>
<li>
<span class="authors">Senxi Li, Tetsuro Yamazaki, and Shigeru Chiba</span>
<span class="title">InferType: A Compiler Toolkit for Implementing Efficient Constraint-Based Type Inference</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2024.23">10.4230/LIPIcs.ECOOP.2024.23</a>
</li>
<li>
<span class="authors">Liyi Li, Mingwei Zhu, Rance Cleaveland, Alexander Nicolellis, Yi Lee, Le Chang, and Xiaodi Wu</span>
<span class="title">Qafny: A Quantum-Program Verifier</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2024.24">10.4230/LIPIcs.ECOOP.2024.24</a>
</li>
<li>
<span class="authors">Andreas Lööw, Daniele Nantes-Sobrinho, Sacha-Élie Ayoun, Caroline Cronjäger, Petar Maksimović, and Philippa Gardner</span>
<span class="title">Compositional Symbolic Execution for Correctness and Incorrectness Reasoning</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2024.25">10.4230/LIPIcs.ECOOP.2024.25</a>
</li>
<li>
<span class="authors">Andreas Lööw, Daniele Nantes-Sobrinho, Sacha-Élie Ayoun, Petar Maksimović, and Philippa Gardner</span>
<span class="title">Matching Plans for Frame Inference in Compositional Reasoning</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2024.26">10.4230/LIPIcs.ECOOP.2024.26</a>
</li>
<li>
<span class="authors">Petr Maj, Stefanie Muroya, Konrad Siek, Luca Di Grazia, and Jan Vitek</span>
<span class="title">The Fault in Our Stars: Designing Reproducible Large-scale Code Analysis Experiments</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2024.27">10.4230/LIPIcs.ECOOP.2024.27</a>
</li>
<li>
<span class="authors">Olivier Melançon, Marc Feeley, and Manuel Serrano</span>
<span class="title">Static Basic Block Versioning</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2024.28">10.4230/LIPIcs.ECOOP.2024.28</a>
</li>
<li>
<span class="authors">Zeina Migeed, James Reed, Jason Ansel, and Jens Palsberg</span>
<span class="title">Generalizing Shape Analysis with Gradual Types</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2024.29">10.4230/LIPIcs.ECOOP.2024.29</a>
</li>
<li>
<span class="authors">Nisarg Patel, Dennis Shasha, and Thomas Wies</span>
<span class="title">Verifying Lock-Free Search Structure Templates</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2024.30">10.4230/LIPIcs.ECOOP.2024.30</a>
</li>
<li>
<span class="authors">Dan Plyukhin, Marco Peressotti, and Fabrizio Montesi</span>
<span class="title">Ozone: Fully Out-of-Order Choreographies</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2024.31">10.4230/LIPIcs.ECOOP.2024.31</a>
</li>
<li>
<span class="authors">Jie Qiu, Colin Cai, Sahil Bhatia, Niranjan Hasabnis, Sanjit A. Seshia, and Alvin Cheung</span>
<span class="title">Tenspiler: A Verified-Lifting-Based Compiler for Tensor Operations</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2024.32">10.4230/LIPIcs.ECOOP.2024.32</a>
</li>
<li>
<span class="authors">David Richter, Timon Böhler, Pascal Weisenburger, and Mira Mezini</span>
<span class="title">Compiling with Arrays</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2024.33">10.4230/LIPIcs.ECOOP.2024.33</a>
</li>
<li>
<span class="authors">Amos Robinson and Alex Potanin</span>
<span class="title">Pipit on the Post: Proving Pre- and Post-Conditions of Reactive Systems</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2024.34">10.4230/LIPIcs.ECOOP.2024.34</a>
</li>
<li>
<span class="authors">Reshma Roy, Sreekala S, and Vineeth Paleri</span>
<span class="title">Partial Redundancy Elimination in Two Iterative Data Flow Analyses</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2024.35">10.4230/LIPIcs.ECOOP.2024.35</a>
</li>
<li>
<span class="authors">Fabian Schiebel, Florian Sattler, Philipp Dominik Schubert, Sven Apel, and Eric Bodden</span>
<span class="title">Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications: An Experience Report</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2024.36">10.4230/LIPIcs.ECOOP.2024.36</a>
</li>
<li>
<span class="authors">Stefan Schott, Serena Elisa Ponta, Wolfram Fischer, Jonas Klauke, and Eric Bodden</span>
<span class="title">Java Bytecode Normalization for Code Similarity Analysis</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2024.37">10.4230/LIPIcs.ECOOP.2024.37</a>
</li>
<li>
<span class="authors">Vidush Singhal, Chaitanya Koparkar, Joseph Zullo, Artem Pelenitsyn, Michael Vollmer, Mike Rainey, Ryan Newton, and Milind Kulkarni</span>
<span class="title">Optimizing Layout of Recursive Datatypes with Marmoset: Or, Algorithms + Data Layouts = Efficient Programs</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2024.38">10.4230/LIPIcs.ECOOP.2024.38</a>
</li>
<li>
<span class="authors">Ke Sun, Di Wang, Sheng Chen, Meng Wang, and Dan Hao</span>
<span class="title">Formalizing, Mechanizing, and Verifying Class-Based Refinement Types</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2024.39">10.4230/LIPIcs.ECOOP.2024.39</a>
</li>
<li>
<span class="authors">Bas van den Heuvel, Farzaneh Derakhshan, and Stephanie Balzer</span>
<span class="title">Information Flow Control in Cyclic Process Networks</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2024.40">10.4230/LIPIcs.ECOOP.2024.40</a>
</li>
<li>
<span class="authors">Martin Vassor and Nobuko Yoshida</span>
<span class="title">Refinements for Multiparty Message-Passing Protocols: Specification-Agnostic Theory and Implementation</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2024.41">10.4230/LIPIcs.ECOOP.2024.41</a>
</li>
<li>
<span class="authors">Aleksey Veresov, Jonas Spenger, Paris Carbone, and Philipp Haller</span>
<span class="title">Failure Transparency in Stateful Dataflow Systems</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2024.42">10.4230/LIPIcs.ECOOP.2024.42</a>
</li>
<li>
<span class="authors">Scott Wesley, Maria Christakis, Jorge A. Navas, Richard Trefler, Valentin Wüstholz, and Arie Gurfinkel</span>
<span class="title">Inductive Predicate Synthesis Modulo Programs</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2024.43">10.4230/LIPIcs.ECOOP.2024.43</a>
</li>
<li>
<span class="authors">Ashton Wiersdorf, Stephen Chang, Matthias Felleisen, and Ben Greenman</span>
<span class="title">Type Tailoring</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2024.44">10.4230/LIPIcs.ECOOP.2024.44</a>
</li>
<li>
<span class="authors">David Young, Ziyi Yang, Ilya Sergey, and Alex Potanin</span>
<span class="title">Higher-Order Specifications for Deductive Synthesis of Programs with Pointers</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2024.45">10.4230/LIPIcs.ECOOP.2024.45</a>
</li>
<li>
<span class="authors">Quan Zhou, Sixuan Dang, and Danfeng Zhang</span>
<span class="title">{CtChecker}: A Precise, Sound and Efficient Static Analysis for Constant-Time Programming</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2024.46">10.4230/LIPIcs.ECOOP.2024.46</a>
</li>
<li>
<span class="authors">Aron Zwaan and Casper Bach Poulsen</span>
<span class="title">Defining Name Accessibility Using Scope Graphs</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2024.47">10.4230/LIPIcs.ECOOP.2024.47</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