<h2>LIPIcs, Volume 74, ECOOP 2017</h2>
<ul>
<li>
<span class="authors">Peter Müller</span>
<span class="title">LIPIcs, Volume 74, ECOOP'17, Complete Volume</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2017">10.4230/LIPIcs.ECOOP.2017</a>
</li>
<li>
<span class="authors">Peter Müller</span>
<span class="title">Front Matter, Table of Contents, Foreword, Conference Organization, External Reviewers, Authors</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2017.0">10.4230/LIPIcs.ECOOP.2017.0</a>
</li>
<li>
<span class="authors">Wolfram Schulte</span>
<span class="title">Challenges to Achieving High Availability at Scale (Invited Talk)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2017.1">10.4230/LIPIcs.ECOOP.2017.1</a>
</li>
<li>
<span class="authors">Gilad Bracha</span>
<span class="title">Composing Software in an Age of Dissonance (Invited Talk)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2017.2">10.4230/LIPIcs.ECOOP.2017.2</a>
</li>
<li>
<span class="authors">Ross Tate</span>
<span class="title">Retargeting Gradual Typing (Invited Talk)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2017.3">10.4230/LIPIcs.ECOOP.2017.3</a>
</li>
<li>
<span class="authors">Todd A. Anderson, Hai Liu, Lindsey Kuper, Ehsan Totoni, Jan Vitek, and Tatiana Shpeisman</span>
<span class="title">Parallelizing Julia with a Non-Invasive DSL</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2017.4">10.4230/LIPIcs.ECOOP.2017.4</a>
</li>
<li>
<span class="authors">Martin Berger, Laurence Tratt, and Christian Urban</span>
<span class="title">Modelling Homogeneous Generative Meta-Programming</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2017.5">10.4230/LIPIcs.ECOOP.2017.5</a>
</li>
<li>
<span class="authors">Elias Castegren and Tobias Wrigstad</span>
<span class="title">Relaxed Linear References for Lock-free Data Structures</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2017.6">10.4230/LIPIcs.ECOOP.2017.6</a>
</li>
<li>
<span class="authors">Raimil Cruz, Tamara Rezk, Bernard Serpette, and Éric Tanter</span>
<span class="title">Type Abstraction for Relaxed Noninterference</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2017.7">10.4230/LIPIcs.ECOOP.2017.7</a>
</li>
<li>
<span class="authors">Germán Andrés Delbianco, Ilya Sergey, Aleksandar Nanevski, and Anindya Banerjee</span>
<span class="title">Concurrent Data Structures Linked in Time</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2017.8">10.4230/LIPIcs.ECOOP.2017.8</a>
</li>
<li>
<span class="authors">Jens Dietrich, David J. Pearce, Kamil Jezek, and Premek Brada</span>
<span class="title">Contracts in the Wild: A Study of Java Programs</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2017.9">10.4230/LIPIcs.ECOOP.2017.9</a>
</li>
<li>
<span class="authors">Jens Dietrich, Kamil Jezek, Shawn Rasheed, Amjed Tahir, and Alex Potanin</span>
<span class="title">Evil Pickles: DoS Attacks Based on Object-Graph Engineering</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2017.10">10.4230/LIPIcs.ECOOP.2017.10</a>
</li>
<li>
<span class="authors">Simon Fowler, Sam Lindley, and Philip Wadler</span>
<span class="title">Mixing Metaphors: Actors as Channels and Channels as Actors</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2017.11">10.4230/LIPIcs.ECOOP.2017.11</a>
</li>
<li>
<span class="authors">Weili Fu, Roly Perera, Paul Anderson, and James Cheney</span>
<span class="title">muPuppet: A Declarative Subset of the Puppet Configuration Language</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2017.12">10.4230/LIPIcs.ECOOP.2017.12</a>
</li>
<li>
<span class="authors">Colin S. Gordon</span>
<span class="title">A Generic Approach to Flow-Sensitive Polymorphic Effects</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2017.13">10.4230/LIPIcs.ECOOP.2017.13</a>
</li>
<li>
<span class="authors">Daco C. Harkes and Eelco Visser</span>
<span class="title">IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2017.14">10.4230/LIPIcs.ECOOP.2017.14</a>
</li>
<li>
<span class="authors">Jeff Huang and Arun K. Rajagopalan</span>
<span class="title">What'’s the Optimal Performance of Precise Dynamic Race Detection? –A Redundancy Perspective</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2017.15">10.4230/LIPIcs.ECOOP.2017.15</a>
</li>
<li>
<span class="authors">Shiyou Huang and Jeff Huang</span>
<span class="title">Speeding Up Maximal Causality Reduction with Static Dependency Analysis</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2017.16">10.4230/LIPIcs.ECOOP.2017.16</a>
</li>
<li>
<span class="authors">Jan-Oliver Kaiser, Hoang-Hai Dang, Derek Dreyer, Ori Lahav, and Viktor Vafeiadis</span>
<span class="title">Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2017.17">10.4230/LIPIcs.ECOOP.2017.17</a>
</li>
<li>
<span class="authors">Edlira Kuci, Sebastian Erdweg, Oliver Bracevac, Andi Bejleri, and Mira Mezini</span>
<span class="title">A Co-contextual Type Checker for Featherweight Java</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2017.18">10.4230/LIPIcs.ECOOP.2017.18</a>
</li>
<li>
<span class="authors">Mikaël Mayer, Jad Hamza, and Viktor Kuncak</span>
<span class="title">Proactive Synthesis of Recursive Tree-to-String Functions from Examples</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2017.19">10.4230/LIPIcs.ECOOP.2017.19</a>
</li>
<li>
<span class="authors">Darya Melicher, Yangqingwei Shi, Alex Potanin, and Jonathan Aldrich</span>
<span class="title">A Capability-Based Module System for Authority Control</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2017.20">10.4230/LIPIcs.ECOOP.2017.20</a>
</li>
<li>
<span class="authors">Tomas Petricek</span>
<span class="title">Data Exploration through Dot-driven Development</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2017.21">10.4230/LIPIcs.ECOOP.2017.21</a>
</li>
<li>
<span class="authors">Anton Podkopaev, Ori Lahav, and Viktor Vafeiadis</span>
<span class="title">Promising Compilation to ARMv8 POP</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2017.22">10.4230/LIPIcs.ECOOP.2017.22</a>
</li>
<li>
<span class="authors">Baptiste Saleil and Marc Feeley</span>
<span class="title">Interprocedural Specialization of Higher-Order Dynamic Languages Without Static Analysis</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2017.23">10.4230/LIPIcs.ECOOP.2017.23</a>
</li>
<li>
<span class="authors">Alceste Scalas, Ornela Dardha, Raymond Hu, and Nobuko Yoshida</span>
<span class="title">A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2017.24">10.4230/LIPIcs.ECOOP.2017.24</a>
</li>
<li>
<span class="authors">Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, and Coen De Roover</span>
<span class="title">Mailbox Abstractions for Static Analysis of Actor Programs</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2017.25">10.4230/LIPIcs.ECOOP.2017.25</a>
</li>
<li>
<span class="authors">Michael Vollmer, Sarah Spall, Buddhika Chamith, Laith Sakka, Chaitanya Koparkar, Milind Kulkarni, Sam Tobin-Hochstadt, and Ryan R. Newton</span>
<span class="title">Compiling Tree Transforms to Operate on Packed Representations</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2017.26">10.4230/LIPIcs.ECOOP.2017.26</a>
</li>
<li>
<span class="authors">Fei Wang and Tiark Rompf</span>
<span class="title">Towards Strong Normalization for Dependent Object Types (DOT)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2017.27">10.4230/LIPIcs.ECOOP.2017.27</a>
</li>
<li>
<span class="authors">Jack Williams, J. Garrett Morris, Philip Wadler, and Jakub Zalewski</span>
<span class="title">Mixed Messages: Measuring Conformance and Non-Interference in TypeScript</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2017.28">10.4230/LIPIcs.ECOOP.2017.28</a>
</li>
<li>
<span class="authors">Weixin Zhang and Bruno C. d. S. Oliveira</span>
<span class="title">EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2017.29">10.4230/LIPIcs.ECOOP.2017.29</a>
</li>
<li>
<span class="authors">Yudi Zheng, Lubomír Bulej, and Walter Binder</span>
<span class="title">An Empirical Study on Deoptimization in the Graal Compiler</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2017.30">10.4230/LIPIcs.ECOOP.2017.30</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