LIPIcs, Volume 74, ECOOP 2017

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