LIPIcs, Volume 37, ECOOP 2015

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