ECOOP 2017 June 19-23, 2017 - Barcelona, Spain

31st European Conference on Object-Oriented Programming (ECOOP 2017)



Peter Müller (Ed.)
ISBN 978-3-95977-035-4, LIPICS Vol. 74 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 19 MB)
Search Publication Server


Authors
  • Aldrich, Jonathan
  • Anderson, Paul
  • Anderson, Todd A.
  • Banerjee, Anindya
  • Bejleri, Andi
  • Berger, Martin
  • Binder, Walter
  • Bracevac, Oliver
  • Bracha, Gilad
  • Brada, Premek
  • Bulej, Lubomír
  • Castegren, Elias
  • Chamith, Buddhika
  • Cheney, James
  • Cruz, Raimil
  • Dang, Hoang-Hai
  • Dardha, Ornela
  • Delbianco, Germán Andrés
  • De Meuter, Wolfgang
  • De Roover, Coen
  • Dietrich, Jens
  • Dreyer, Derek
  • Erdweg, Sebastian
  • Feeley, Marc
  • Fowler, Simon
  • Fu, Weili
  • Gordon, Colin S.
  • Hamza, Jad
  • Harkes, Daco C.
  • Hu, Raymond
  • Huang, Jeff
  • Huang, Shiyou
  • Jezek, Kamil
  • Kaiser, Jan-Oliver
  • Koparkar, Chaitanya
  • Kuci, Edlira
  • Kulkarni, Milind
  • Kuncak, Viktor
  • Kuper, Lindsey
  • Lahav, Ori
  • Lindley, Sam
  • Liu, Hai
  • Müller, Peter
  • Mayer, Mikaël
  • Melicher, Darya
  • Mezini, Mira
  • Morris, J. Garrett
  • Nanevski, Aleksandar
  • Newton, Ryan R.
  • Nicolay, Jens
  • Oliveira, Bruno C. d. S.
  • Pearce, David J.
  • Perera, Roly
  • Petricek, Tomas
  • Podkopaev, Anton
  • Potanin, Alex
  • Rajagopalan, Arun K.
  • Rasheed, Shawn
  • Rezk, Tamara
  • Rompf, Tiark
  • Sakka, Laith
  • Saleil, Baptiste
  • Scalas, Alceste
  • Schulte, Wolfram
  • Sergey, Ilya
  • Serpette, Bernard
  • Shi, Yangqingwei
  • Shpeisman, Tatiana
  • Spall, Sarah
  • Stiévenart, Quentin
  • Tahir, Amjed
  • Tanter, Éric
  • Tate, Ross
  • Tobin-Hochstadt, Sam
  • Totoni, Ehsan
  • Tratt, Laurence
  • Urban, Christian
  • Vafeiadis, Viktor
  • Visser, Eelco
  • Vitek, Jan
  • Vollmer, Michael
  • Wadler, Philip
  • Wang, Fei
  • Williams, Jack
  • Wrigstad, Tobias
  • Yoshida, Nobuko
  • Zalewski, Jakub
  • Zhang, Weixin
  • Zheng, Yudi

  •   
    Front Matter, Table of Contents, Foreword, Conference Organization, External Reviewers, Authors
    Authors: Müller, Peter

    Abstract | Document (371 KB) | BibTeX

    Challenges to Achieving High Availability at Scale (Invited Talk)
    Authors: Schulte, Wolfram

    Abstract | Document (201 KB) | BibTeX

    Composing Software in an Age of Dissonance (Invited Talk)
    Authors: Bracha, Gilad

    Abstract | Document (200 KB) | BibTeX

    Retargeting Gradual Typing (Invited Talk)
    Authors: Tate, Ross

    Abstract | Document (201 KB) | BibTeX

    Parallelizing Julia with a Non-Invasive DSL
    Authors: Anderson, Todd A. ; Liu, Hai ; Kuper, Lindsey ; Totoni, Ehsan ; Vitek, Jan ; Shpeisman, Tatiana

    Abstract | Document (826 KB) | BibTeX

    Modelling Homogeneous Generative Meta-Programming
    Authors: Berger, Martin ; Tratt, Laurence ; Urban, Christian

    Abstract | Document (546 KB) | BibTeX

    Relaxed Linear References for Lock-free Data Structures
    Authors: Castegren, Elias ; Wrigstad, Tobias

    Abstract | Document (1,680 KB) | BibTeX

    Type Abstraction for Relaxed Noninterference
    Authors: Cruz, Raimil ; Rezk, Tamara ; Serpette, Bernard ; Tanter, Éric

    Abstract | Document (668 KB) | BibTeX

    Concurrent Data Structures Linked in Time
    Authors: Delbianco, Germán Andrés ; Sergey, Ilya ; Nanevski, Aleksandar ; Banerjee, Anindya

    Abstract | Document (798 KB) | BibTeX

    Contracts in the Wild: A Study of Java Programs
    Authors: Dietrich, Jens ; Pearce, David J. ; Jezek, Kamil ; Brada, Premek

    Abstract | Document (615 KB) | BibTeX

    Evil Pickles: DoS Attacks Based on Object-Graph Engineering
    Authors: Dietrich, Jens ; Jezek, Kamil ; Rasheed, Shawn ; Tahir, Amjed ; Potanin, Alex

    Abstract | Document (1,015 KB) | BibTeX

    Mixing Metaphors: Actors as Channels and Channels as Actors
    Authors: Fowler, Simon ; Lindley, Sam ; Wadler, Philip

    Abstract | Document (749 KB) | BibTeX

    muPuppet: A Declarative Subset of the Puppet Configuration Language
    Authors: Fu, Weili ; Perera, Roly ; Anderson, Paul ; Cheney, James

    Abstract | Document (664 KB) | BibTeX

    A Generic Approach to Flow-Sensitive Polymorphic Effects
    Authors: Gordon, Colin S.

    Abstract | Document (816 KB) | BibTeX

    IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition
    Authors: Harkes, Daco C. ; Visser, Eelco

    Abstract | Document (822 KB) | BibTeX

    What'’s the Optimal Performance of Precise Dynamic Race Detection? –A Redundancy Perspective
    Authors: Huang, Jeff ; Rajagopalan, Arun K.

    Abstract | Document (727 KB) | BibTeX

    Speeding Up Maximal Causality Reduction with Static Dependency Analysis
    Authors: Huang, Shiyou ; Huang, Jeff

    Abstract | Document (788 KB) | BibTeX

    Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris
    Authors: Kaiser, Jan-Oliver ; Dang, Hoang-Hai ; Dreyer, Derek ; Lahav, Ori ; Vafeiadis, Viktor

    Abstract | Document (777 KB) | BibTeX

    A Co-contextual Type Checker for Featherweight Java
    Authors: Kuci, Edlira ; Erdweg, Sebastian ; Bracevac, Oliver ; Bejleri, Andi ; Mezini, Mira

    Abstract | Document (665 KB) | BibTeX

    Proactive Synthesis of Recursive Tree-to-String Functions from Examples
    Authors: Mayer, Mikaël ; Hamza, Jad ; Kuncak, Viktor

    Abstract | Document (748 KB) | BibTeX

    A Capability-Based Module System for Authority Control
    Authors: Melicher, Darya ; Shi, Yangqingwei ; Potanin, Alex ; Aldrich, Jonathan

    Abstract | Document (730 KB) | BibTeX

    Data Exploration through Dot-driven Development
    Authors: Petricek, Tomas

    Abstract | Document (766 KB) | BibTeX

    Promising Compilation to ARMv8 POP
    Authors: Podkopaev, Anton ; Lahav, Ori ; Vafeiadis, Viktor

    Abstract | Document (708 KB) | BibTeX

    Interprocedural Specialization of Higher-Order Dynamic Languages Without Static Analysis
    Authors: Saleil, Baptiste ; Feeley, Marc

    Abstract | Document (765 KB) | BibTeX

    A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming
    Authors: Scalas, Alceste ; Dardha, Ornela ; Hu, Raymond ; Yoshida, Nobuko

    Abstract | Document (968 KB) | BibTeX

    Mailbox Abstractions for Static Analysis of Actor Programs
    Authors: Stiévenart, Quentin ; Nicolay, Jens ; De Meuter, Wolfgang ; De Roover, Coen

    Abstract | Document (744 KB) | BibTeX

    Compiling Tree Transforms to Operate on Packed Representations
    Authors: Vollmer, Michael ; Spall, Sarah ; Chamith, Buddhika ; Sakka, Laith ; Koparkar, Chaitanya ; Kulkarni, Milind ; Tobin-Hochstadt, Sam ; Newton, Ryan R.

    Abstract | Document (711 KB) | BibTeX

    Towards Strong Normalization for Dependent Object Types (DOT)
    Authors: Wang, Fei ; Rompf, Tiark

    Abstract | Document (708 KB) | BibTeX

    Mixed Messages: Measuring Conformance and Non-Interference in TypeScript
    Authors: Williams, Jack ; Morris, J. Garrett ; Wadler, Philip ; Zalewski, Jakub

    Abstract | Document (521 KB) | BibTeX

    EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse
    Authors: Zhang, Weixin ; Oliveira, Bruno C. d. S.

    Abstract | Document (771 KB) | BibTeX

    An Empirical Study on Deoptimization in the Graal Compiler
    Authors: Zheng, Yudi ; Bulej, Lubomír ; Binder, Walter

    Abstract | Document (746 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint Published by LZI