<h2>LIPIcs, Volume 109, ECOOP 2018</h2>
<ul>
<li>
<span class="authors">Todd Millstein</span>
<span class="title">LIPIcs, Volume 109, ECOOP'18, Complete Volume</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2018">10.4230/LIPIcs.ECOOP.2018</a>
</li>
<li>
<span class="authors">Todd Millstein</span>
<span class="title">Front Matter, Table of Contents, Preface, Conference Organization</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2018.0">10.4230/LIPIcs.ECOOP.2018.0</a>
</li>
<li>
<span class="authors">Ragnar Mogk, Lars Baumgärtner, Guido Salvaneschi, Bernd Freisleben, and Mira Mezini</span>
<span class="title">Fault-tolerant Distributed Reactive Programming</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2018.1">10.4230/LIPIcs.ECOOP.2018.1</a>
</li>
<li>
<span class="authors">Hiroaki Inoue, Tomoyuki Aotani, and Atsushi Igarashi</span>
<span class="title">ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2018.2">10.4230/LIPIcs.ECOOP.2018.2</a>
</li>
<li>
<span class="authors">Aleksandar Prokopec and Fengyun Liu</span>
<span class="title">Theory and Practice of Coroutines with Snapshots</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2018.3">10.4230/LIPIcs.ECOOP.2018.3</a>
</li>
<li>
<span class="authors">Gian Ntzik, Pedro da Rocha Pinto, Julian Sutherland, and Philippa Gardner</span>
<span class="title">A Concurrent Specification of POSIX File Systems</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2018.4">10.4230/LIPIcs.ECOOP.2018.4</a>
</li>
<li>
<span class="authors">Wing Lam, Siwakorn Srisakaokul, Blake Bassett, Peyman Mahdian, Tao Xie, Pratap Lakshman, and Jonathan de Halleux</span>
<span class="title">A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2018.5">10.4230/LIPIcs.ECOOP.2018.5</a>
</li>
<li>
<span class="authors">Junjie Chen, Wenxiang Hu, Lingming Zhang, Dan Hao, Sarfraz Khurshid, and Lu Zhang</span>
<span class="title">Learning to Accelerate Symbolic Execution via Code Transformation</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2018.6">10.4230/LIPIcs.ECOOP.2018.6</a>
</li>
<li>
<span class="authors">Gianluca Mezzetti, Anders Møller, and Martin Toldam Torp</span>
<span class="title">Type Regression Testing to Detect Breaking Changes in Node.js Libraries</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2018.7">10.4230/LIPIcs.ECOOP.2018.7</a>
</li>
<li>
<span class="authors">Sihan Li, Farah Hariri, and Gul Agha</span>
<span class="title">Targeted Test Generation for Actor Systems</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2018.8">10.4230/LIPIcs.ECOOP.2018.8</a>
</li>
<li>
<span class="authors">Xuan Bi and Bruno C. d. S. Oliveira</span>
<span class="title">Typed First-Class Traits</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2018.9">10.4230/LIPIcs.ECOOP.2018.9</a>
</li>
<li>
<span class="authors">Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, and Mira Mezini</span>
<span class="title">CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2018.10">10.4230/LIPIcs.ECOOP.2018.10</a>
</li>
<li>
<span class="authors">Gowtham Kaki and G. Ramalingam</span>
<span class="title">Safe Transferable Regions</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2018.11">10.4230/LIPIcs.ECOOP.2018.11</a>
</li>
<li>
<span class="authors">Benjamin Chung, Paley Li, Francesco Zappa Nardelli, and Jan Vitek</span>
<span class="title">KafKa: Gradual Typing for Objects</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2018.12">10.4230/LIPIcs.ECOOP.2018.12</a>
</li>
<li>
<span class="authors">Joana Campos and Vasco T. Vasconcelos</span>
<span class="title">Dependent Types for Class-based Mutable Objects</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2018.13">10.4230/LIPIcs.ECOOP.2018.13</a>
</li>
<li>
<span class="authors">Nathalie Oostvogels, Joeri De Koster, and Wolfgang De Meuter</span>
<span class="title">Static Typing of Complex Presence Constraints in Interfaces</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2018.14">10.4230/LIPIcs.ECOOP.2018.14</a>
</li>
<li>
<span class="authors">Ugo de'Liguoro and Luca Padovani</span>
<span class="title">Mailbox Types for Unordered Interactions</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2018.15">10.4230/LIPIcs.ECOOP.2018.15</a>
</li>
<li>
<span class="authors">Mohaned Qunaibit, Stefan Brunthaler, Yeoul Na, Stijn Volckaert, and Michael Franz</span>
<span class="title">Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2018.16">10.4230/LIPIcs.ECOOP.2018.16</a>
</li>
<li>
<span class="authors">Jonathan Bell and Luís Pina</span>
<span class="title">CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2018.17">10.4230/LIPIcs.ECOOP.2018.17</a>
</li>
<li>
<span class="authors">Julien Gascon-Samson, Kumseok Jung, Shivanshu Goyal, Armin Rezaiean-Asel, and Karthik Pattabiraman</span>
<span class="title">ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2018.18">10.4230/LIPIcs.ECOOP.2018.18</a>
</li>
<li>
<span class="authors">Tianxiao Gu, Xiaoxing Ma, Chang Xu, Yanyan Jiang, Chun Cao, and Jian Lu</span>
<span class="title">Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2018.19">10.4230/LIPIcs.ECOOP.2018.19</a>
</li>
<li>
<span class="authors">Yanlin Wang, Haoyuan Zhang, Bruno C. d. S. Oliveira, and Marco Servetto</span>
<span class="title">FHJ: A Formal Model for Hierarchical Dispatching and Overriding</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2018.20">10.4230/LIPIcs.ECOOP.2018.20</a>
</li>
<li>
<span class="authors">Davide Ancona, Francesco Dagnino, and Elena Zucca</span>
<span class="title">Modeling Infinite Behaviour by Corules</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2018.21">10.4230/LIPIcs.ECOOP.2018.21</a>
</li>
<li>
<span class="authors">Xuan Bi, Bruno C. d. S. Oliveira, and Tom Schrijvers</span>
<span class="title">The Essence of Nested Composition</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2018.22">10.4230/LIPIcs.ECOOP.2018.22</a>
</li>
<li>
<span class="authors">Yannis Smaragdakis and George Kastrinis</span>
<span class="title">Defensive Points-To Analysis: Effective Soundness via Laziness</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2018.23">10.4230/LIPIcs.ECOOP.2018.23</a>
</li>
<li>
<span class="authors">John Toman and Dan Grossman</span>
<span class="title">Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2018.24">10.4230/LIPIcs.ECOOP.2018.24</a>
</li>
<li>
<span class="authors">Ana Milanova</span>
<span class="title">Definite Reference Mutability</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2018.25">10.4230/LIPIcs.ECOOP.2018.25</a>
</li>
<li>
<span class="authors">Neville Grech, George Kastrinis, and Yannis Smaragdakis</span>
<span class="title">Efficient Reflection String Analysis via Graph Coloring</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2018.26">10.4230/LIPIcs.ECOOP.2018.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