ECOOP 2017
31 papers
- A Capability-Based Module System for Authority Control
- A Co-contextual Type Checker for Featherweight Java
- A Generic Approach to Flow-Sensitive Polymorphic Effects
- A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming
- An Empirical Study on Deoptimization in the Graal Compiler
- Challenges to Achieving High Availability at Scale (Invited Talk)
- Compiling Tree Transforms to Operate on Packed Representations
- Composing Software in an Age of Dissonance (Invited Talk)
- Concurrent Data Structures Linked in Time
- Contracts in the Wild: A Study of Java Programs
- Data Exploration through Dot-driven Development
- EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse
- Evil Pickles: DoS Attacks Based on Object-Graph Engineering
- Front Matter, Table of Contents, Foreword, Conference Organization, External Reviewers, Authors
- IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition
- Interprocedural Specialization of Higher-Order Dynamic Languages Without Static Analysis
- Mailbox Abstractions for Static Analysis of Actor Programs
- Mixed Messages: Measuring Conformance and Non-Interference in TypeScript
- Mixing Metaphors: Actors as Channels and Channels as Actors
- Modelling Homogeneous Generative Meta-Programming
- Parallelizing Julia with a Non-Invasive DSL
- Proactive Synthesis of Recursive Tree-to-String Functions from Examples
- Promising Compilation to ARMv8 POP
- Relaxed Linear References for Lock-free Data Structures
- Retargeting Gradual Typing (Invited Talk)
- Speeding Up Maximal Causality Reduction with Static Dependency Analysis
- Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris
- Towards Strong Normalization for Dependent Object Types (DOT)
- Type Abstraction for Relaxed Noninterference
- What's the Optimal Performance of Precise Dynamic Race Detection? - A Redundancy Perspective
- muPuppet: A Declarative Subset of the Puppet Configuration Language