<h2>LIPIcs, Volume 222, ECOOP 2022</h2>
<ul>
<li>
<span class="authors">Karim Ali and Jan Vitek</span>
<span class="title">LIPIcs, Volume 222, ECOOP 2022, Complete Volume</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2022">10.4230/LIPIcs.ECOOP.2022</a>
</li>
<li>
<span class="authors">Karim Ali and Jan Vitek</span>
<span class="title">Front Matter, Table of Contents, Preface, Conference Organization</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2022.0">10.4230/LIPIcs.ECOOP.2022.0</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</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2022.1">10.4230/LIPIcs.ECOOP.2022.1</a>
</li>
<li>
<span class="authors">Jinxu Zhao and Bruno C. d. S. Oliveira</span>
<span class="title">Elementary Type Inference</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2022.2">10.4230/LIPIcs.ECOOP.2022.2</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</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2022.3">10.4230/LIPIcs.ECOOP.2022.3</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</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2022.4">10.4230/LIPIcs.ECOOP.2022.4</a>
</li>
<li>
<span class="authors">Danielle Marshall and Dominic Orchard</span>
<span class="title">How to Take the Inverse of a Type</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2022.5">10.4230/LIPIcs.ECOOP.2022.5</a>
</li>
<li>
<span class="authors">Shuyang Liu, John Bender, and Jens Palsberg</span>
<span class="title">Compiling Volatile Correctly in Java</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2022.6">10.4230/LIPIcs.ECOOP.2022.6</a>
</li>
<li>
<span class="authors">André Pacak and Sebastian Erdweg</span>
<span class="title">Functional Programming with Datalog</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2022.7">10.4230/LIPIcs.ECOOP.2022.7</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</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2022.8">10.4230/LIPIcs.ECOOP.2022.8</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</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2022.9">10.4230/LIPIcs.ECOOP.2022.9</a>
</li>
<li>
<span class="authors">Martin Kellogg, Narges Shadab, Manu Sridharan, and Michael D. Ernst</span>
<span class="title">Accumulation Analysis</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2022.10">10.4230/LIPIcs.ECOOP.2022.10</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</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2022.11">10.4230/LIPIcs.ECOOP.2022.11</a>
</li>
<li>
<span class="authors">Vlad Rusu and David Nowak</span>
<span class="title">Defining Corecursive Functions in Coq Using Approximations</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2022.12">10.4230/LIPIcs.ECOOP.2022.12</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</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2022.13">10.4230/LIPIcs.ECOOP.2022.13</a>
</li>
<li>
<span class="authors">Rajdeep Mukherjee, Omer Tripp, Ben Liblit, and Michael Wilson</span>
<span class="title">Static Analysis for AWS Best Practices in Python Code</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2022.14">10.4230/LIPIcs.ECOOP.2022.14</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</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2022.15">10.4230/LIPIcs.ECOOP.2022.15</a>
</li>
<li>
<span class="authors">Brian Hempel and Ravi Chugh</span>
<span class="title">Maniposynth: Bimodal Tangible Functional Programming</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2022.16">10.4230/LIPIcs.ECOOP.2022.16</a>
</li>
<li>
<span class="authors">Abhiroop Sarkar, Bo Joel Svensson, and Mary Sheeran</span>
<span class="title">Synchron - An API and Runtime for Embedded Systems</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2022.17">10.4230/LIPIcs.ECOOP.2022.17</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</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2022.18">10.4230/LIPIcs.ECOOP.2022.18</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</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2022.19">10.4230/LIPIcs.ECOOP.2022.19</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</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2022.20">10.4230/LIPIcs.ECOOP.2022.20</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</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2022.21">10.4230/LIPIcs.ECOOP.2022.21</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</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2022.22">10.4230/LIPIcs.ECOOP.2022.22</a>
</li>
<li>
<span class="authors">Jules Jacobs</span>
<span class="title">A Self-Dual Distillation of Session Types</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2022.23">10.4230/LIPIcs.ECOOP.2022.23</a>
</li>
<li>
<span class="authors">Manuel Serrano</span>
<span class="title">JavaScript Sealed Classes</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2022.24">10.4230/LIPIcs.ECOOP.2022.24</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</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2022.25">10.4230/LIPIcs.ECOOP.2022.25</a>
</li>
<li>
<span class="authors">Luca Ciccone, Francesco Dagnino, and Luca Padovani</span>
<span class="title">Fair Termination of Multiparty Sessions</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2022.26">10.4230/LIPIcs.ECOOP.2022.26</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</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2022.27">10.4230/LIPIcs.ECOOP.2022.27</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</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2022.28">10.4230/LIPIcs.ECOOP.2022.28</a>
</li>
<li>
<span class="authors">François Gauthier, Behnaz Hassanshahi, Benjamin Selwyn-Smith, Trong Nhan Mai, Max Schlüter, and Micah Williams</span>
<span class="title">Experience: Model-Based, Feedback-Driven, Greybox Web Fuzzing with BackREST</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2022.29">10.4230/LIPIcs.ECOOP.2022.29</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</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2022.30">10.4230/LIPIcs.ECOOP.2022.30</a>
</li>
<li>
<span class="authors">Andrew Lumsdaine, Luke D'Alessandro, Kevin Deweese, Jesun Firoz, Xu Tony Liu, Scott McMillan, John Phillip Ratzloff, and Marcin Zalewski</span>
<span class="title">NWGraph: A Library of Generic Graph Algorithms and Data Structures in C++20</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2022.31">10.4230/LIPIcs.ECOOP.2022.31</a>
</li>
<li>
<span class="authors">Kenan Liu, Khaled Mahmoud, Joonhwan Yoo, and Yu David Liu</span>
<span class="title">Vincent: Green Hot Methods in the JVM (Extended Abstract)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2022.32">10.4230/LIPIcs.ECOOP.2022.32</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 (Extended Abstract)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2022.33">10.4230/LIPIcs.ECOOP.2022.33</a>
</li>
<li>
<span class="authors">Marcelo Navarro and Federico Olmedo</span>
<span class="title">Slicing of Probabilistic Programs Based on Specifications (Extended Abstract)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2022.34">10.4230/LIPIcs.ECOOP.2022.34</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 (Extended Abstract)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2022.35">10.4230/LIPIcs.ECOOP.2022.35</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