<h2>LIPIcs, Volume 37, ECOOP 2015</h2>
<ul>
<li>
<span class="authors">John Tang Boyland</span>
<span class="title">LIPIcs, Volume 37, ECOOP'15, Complete Volume</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2015">10.4230/LIPIcs.ECOOP.2015</a>
</li>
<li>
<span class="authors">John Tang Boyland</span>
<span class="title">Front Matter, Table of Contents, Preface, Artifacts, Conference Organization</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2015.i">10.4230/LIPIcs.ECOOP.2015.i</a>
</li>
<li>
<span class="authors">Bjarne Stroustrup</span>
<span class="title">Object-Oriented Programming without Inheritance (Invited Talk)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2015.1">10.4230/LIPIcs.ECOOP.2015.1</a>
</li>
<li>
<span class="authors">Jong-Deok Choi</span>
<span class="title">Programming in the Large for the Internet of Things (Invited Talk)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2015.2">10.4230/LIPIcs.ECOOP.2015.2</a>
</li>
<li>
<span class="authors">Alexander J. Summers</span>
<span class="title">Software Verification "Across the Stack" (Invited Talk)</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2015.3">10.4230/LIPIcs.ECOOP.2015.3</a>
</li>
<li>
<span class="authors">Asumu Takikawa, Daniel Feltey, Earl Dean, Matthew Flatt, Robert Bruce Findler, Sam Tobin-Hochstadt, and Matthias Felleisen</span>
<span class="title">Towards Practical Gradual Typing</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2015.4">10.4230/LIPIcs.ECOOP.2015.4</a>
</li>
<li>
<span class="authors">Matthias Keil and Peter Thiemann</span>
<span class="title">TreatJS: Higher-Order Contracts for JavaScripts</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2015.28">10.4230/LIPIcs.ECOOP.2015.28</a>
</li>
<li>
<span class="authors">Panagiotis Vekris, Benjamin Cosman, and Ranjit Jhala</span>
<span class="title">Trust, but Verify: Two-Phase Typing for Dynamic Languages</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2015.52">10.4230/LIPIcs.ECOOP.2015.52</a>
</li>
<li>
<span class="authors">Gregor Richards, Francesco Zappa Nardelli, and Jan Vitek</span>
<span class="title">Concrete Types for TypeScript</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2015.76">10.4230/LIPIcs.ECOOP.2015.76</a>
</li>
<li>
<span class="authors">Maxime Chevalier-Boisvert and Marc Feeley</span>
<span class="title">Simple and Effective Type Check Removal through Lazy Basic Block Versioning</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2015.101">10.4230/LIPIcs.ECOOP.2015.101</a>
</li>
<li>
<span class="authors">Abhilash Bhandari and V. Krishna Nandivada</span>
<span class="title">Loop Tiling in the Presence of Exceptions</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2015.124">10.4230/LIPIcs.ECOOP.2015.124</a>
</li>
<li>
<span class="authors">Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, and Peter Thiemann</span>
<span class="title">Transparent Object Proxies in JavaScript</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2015.149">10.4230/LIPIcs.ECOOP.2015.149</a>
</li>
<li>
<span class="authors">Joseph Lee, Jonathan Aldrich, Troy Shaw, and Alex Potanin</span>
<span class="title">A Theory of Tagged Objects</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2015.174">10.4230/LIPIcs.ECOOP.2015.174</a>
</li>
<li>
<span class="authors">Timothy Jones, Michael Homer, and James Noble</span>
<span class="title">Brand Objects for Nominal Typing</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2015.198">10.4230/LIPIcs.ECOOP.2015.198</a>
</li>
<li>
<span class="authors">Paolina Centonze, Marco Pistoia, and Omer Tripp</span>
<span class="title">Access-rights Analysis in the Presence of Subjects</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2015.222">10.4230/LIPIcs.ECOOP.2015.222</a>
</li>
<li>
<span class="authors">Aleksandar S. Dimovski, Claus Brabrand, and Andrzej Wasowski</span>
<span class="title">Variability Abstractions: Trading Precision for Speed in Family-Based Analyses</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2015.247">10.4230/LIPIcs.ECOOP.2015.247</a>
</li>
<li>
<span class="authors">Vincent St-Amour and Shu-yu Guo</span>
<span class="title">Optimization Coaching for JavaScript</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2015.271">10.4230/LIPIcs.ECOOP.2015.271</a>
</li>
<li>
<span class="authors">Lu Fang, Liang Dou, and Guoqing Xu</span>
<span class="title">PerfBlower: Quickly Detecting Memory-Related Performance Problems via Amplification</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2015.296">10.4230/LIPIcs.ECOOP.2015.296</a>
</li>
<li>
<span class="authors">Saba Alimadadi, Ali Mesbah, and Karthik Pattabiraman</span>
<span class="title">Hybrid DOM-Sensitive Change Impact Analysis for JavaScript</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2015.321">10.4230/LIPIcs.ECOOP.2015.321</a>
</li>
<li>
<span class="authors">Yuheng Long, Yu David Liu, and Hridesh Rajan</span>
<span class="title">Intensional Effect Polymorphism</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2015.346">10.4230/LIPIcs.ECOOP.2015.346</a>
</li>
<li>
<span class="authors">Riyaz Haque and Jens Palsberg</span>
<span class="title">Type Inference for Place-Oblivious Objects</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2015.371">10.4230/LIPIcs.ECOOP.2015.371</a>
</li>
<li>
<span class="authors">Johannes Kloos, Rupak Majumdar, and Viktor Vafeiadis</span>
<span class="title">Asynchronous Liquid Separation Types</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2015.396">10.4230/LIPIcs.ECOOP.2015.396</a>
</li>
<li>
<span class="authors">Shams Imam and Vivek Sarkar</span>
<span class="title">The Eureka Programming Model for Speculative Task Parallelism</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2015.421">10.4230/LIPIcs.ECOOP.2015.421</a>
</li>
<li>
<span class="authors">Gustavo Petri, Jan Vitek, and Suresh Jagannathan</span>
<span class="title">Cooking the Books: Formalizing JMM Implementation Recipes</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2015.445">10.4230/LIPIcs.ECOOP.2015.445</a>
</li>
<li>
<span class="authors">Brijesh Dongol, John Derrick, Lindsay Groves, and Graeme Smith</span>
<span class="title">Defining Correctness Conditions for Concurrent Objects in Multicore Architectures</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2015.470">10.4230/LIPIcs.ECOOP.2015.470</a>
</li>
<li>
<span class="authors">Flávio Medeiros, Christian Kästner, Márcio Ribeiro, Sarah Nadi, and Rohit Gheyi</span>
<span class="title">The Love/Hate Relationship with the C Preprocessor: An Interview Study</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2015.495">10.4230/LIPIcs.ECOOP.2015.495</a>
</li>
<li>
<span class="authors">Michael Pradel and Koushik Sen</span>
<span class="title">The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2015.519">10.4230/LIPIcs.ECOOP.2015.519</a>
</li>
<li>
<span class="authors">Avraham Shinnar, Jérôme Siméon, and Martin Hirzel</span>
<span class="title">A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2015.542">10.4230/LIPIcs.ECOOP.2015.542</a>
</li>
<li>
<span class="authors">Sebastian Burckhardt, Daan Leijen, Jonathan Protzenko, and Manuel Fähndrich</span>
<span class="title">Global Sequence Protocol: A Robust Abstraction for Replicated Shared State</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2015.568">10.4230/LIPIcs.ECOOP.2015.568</a>
</li>
<li>
<span class="authors">Aggelos Biboudis, Nick Palladinos, George Fourtounis, and Yannis Smaragdakis</span>
<span class="title">Streams a la carte: Extensible Pipelines with Object Algebras</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2015.591">10.4230/LIPIcs.ECOOP.2015.591</a>
</li>
<li>
<span class="authors">Malte Schwerhoff and Alexander J. Summers</span>
<span class="title">Lightweight Support for Magic Wands in an Automatic Verifier</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2015.614">10.4230/LIPIcs.ECOOP.2015.614</a>
</li>
<li>
<span class="authors">Pontus Boström and Peter Müller</span>
<span class="title">Modular Verification of Finite Blocking in Non-terminating Programs</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2015.639">10.4230/LIPIcs.ECOOP.2015.639</a>
</li>
<li>
<span class="authors">Bart Jacobs, Dragan Bosnacki, and Ruurd Kuiper</span>
<span class="title">Modular Termination Verification</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2015.664">10.4230/LIPIcs.ECOOP.2015.664</a>
</li>
<li>
<span class="authors">David Hauzar and Jan Kofron</span>
<span class="title">Framework for Static Analysis of PHP Applications</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2015.689">10.4230/LIPIcs.ECOOP.2015.689</a>
</li>
<li>
<span class="authors">Shiyi Wei and Barbara G. Ryder</span>
<span class="title">Adaptive Context-sensitive Analysis for JavaScript</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2015.712">10.4230/LIPIcs.ECOOP.2015.712</a>
</li>
<li>
<span class="authors">Changhee Park and Sukyoung Ryu</span>
<span class="title">Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity</span>
<a class="doi" href="https://doi.org/10.4230/LIPIcs.ECOOP.2015.735">10.4230/LIPIcs.ECOOP.2015.735</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