Peter Müller 0001
Proceedings of the 31st European Conference on Object-Oriented Programming
ECOOP, 2017.

@proceedings{ECOOP-2017,
	editor        = "Peter Müller 0001",
	ee            = "http://www.dagstuhl.de/dagpub/978-3-95977-035-4",
	isbn          = "978-3-95977-035-4",
	publisher     = "{Schloss Dagstuhl - Leibniz-Zentrum für Informatik}",
	series        = "{Leibniz International Proceedings in Informatics}",
	title         = "{Proceedings of the 31st European Conference on Object-Oriented Programming}",
	volume        = 74,
	year          = 2017,
}

Contents (30 items)

ECOOP-2017-Bracha

Composing Software in an Age of Dissonance (Invited Talk) (GB), p. 1.

ECOOP-2017-Schulte #challenge #scalability

Challenges to Achieving High Availability at Scale (Invited Talk) (WS), p. 1.

ECOOP-2017-Tate #type system

Retargeting Gradual Typing (Invited Talk) (RT), p. 1.

ECOOP-2017-Huang0 #analysis #dependence #reduction

Speeding Up Maximal Causality Reduction with Static Dependency Analysis (SH, JH0), p. 22.

ECOOP-2017-HuangR #concurrent #detection #performance #perspective #precise #what

What's the Optimal Performance of Precise Dynamic Race Detection? - A Redundancy Perspective (JH, AKR), p. 22.

ECOOP-2017-BergerTU #generative #metaprogramming #modelling

Modelling Homogeneous Generative Meta-Programming (MB, LT, CU), p. 23.

ECOOP-2017-SaleilF #higher-order #interprocedural #static analysis

Interprocedural Specialization of Higher-Order Dynamic Languages Without Static Analysis (BS, MF), p. 23.

ECOOP-2017-WangR #normalisation #towards

Towards Strong Normalization for Dependent Object Types (DOT) (FW, TR), p. 25.

ECOOP-2017-KuciEBBM #java

A Co-contextual Type Checker for Featherweight Java (EK, SE, OB, AB, MM), p. 26.

ECOOP-2017-CruzRST #abstraction

Type Abstraction for Relaxed Noninterference (RC, TR, BPS, ÉT), p. 27.

ECOOP-2017-FuPAC #declarative #named #set

muPuppet: A Declarative Subset of the Puppet Configuration Language (WF, RP, PA0, JC), p. 27.

ECOOP-2017-MelicherSPA

A Capability-Based Module System for Authority Control (DM, YS, AP, JA), p. 27.

ECOOP-2017-Petricek #data analysis #development

Data Exploration through Dot-driven Development (TP0), p. 27.

ECOOP-2017-FowlerLW

Mixing Metaphors: Actors as Channels and Channels as Actors (SF0, SL, PW), p. 28.

ECOOP-2017-PodkopaevLV #compilation

Promising Compilation to ARMv8 POP (AP, OL, VV), p. 28.

ECOOP-2017-AndersonLKTVS #domain-specific language

Parallelizing Julia with a Non-Invasive DSL (TAA, HL, LK, ET, JV, TS), p. 29.

ECOOP-2017-DietrichPJBD #case study #contract #java #source code

Contracts in the Wild: A Study of Java Programs (JD0, DJP, KJ, PB), p. 29.

ECOOP-2017-HarkesV #bidirectional #composition

IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition (DH, EV), p. 29.

ECOOP-2017-KaiserDDLV #consistency #logic #memory management #reasoning

Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris (JOK, HHD, DD, OL, VV), p. 29.

ECOOP-2017-VollmerSCSK0TN #compilation

Compiling Tree Transforms to Operate on Packed Representations (MV0, SS, BC, LS, CK, MK0, STH, RN), p. 29.

ECOOP-2017-WilliamsMWZ #consistency #typescript

Mixed Messages: Measuring Conformance and Non-Interference in TypeScript (JW, JGM, PW, JZ), p. 29.

ECOOP-2017-DelbiancoSNB #concurrent #data type

Concurrent Data Structures Linked in Time (GAD, IS, AN, AB0), p. 30.

ECOOP-2017-MayerHK #recursion #string #synthesis

Proactive Synthesis of Recursive Tree-to-String Functions from Examples (MM, JH, VK), p. 30.

ECOOP-2017-StievenartNMR #abstraction #source code #static analysis

Mailbox Abstractions for Static Analysis of Actor Programs (QS, JN, WDM, CDR), p. 30.

ECOOP-2017-ZhengBB #compilation #empirical

An Empirical Study on Deoptimization in the Graal Compiler (YZ, LB, WB), p. 30.

ECOOP-2017-Gordon #approach #polymorphism

A Generic Approach to Flow-Sensitive Polymorphic Effects (CSG), p. 31.

ECOOP-2017-ScalasDHY #composition #distributed #linear #multi #programming

A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (AS, OD, RH, NY), p. 31.

ECOOP-2017-CastegrenW #data type #linear

Relaxed Linear References for Lock-free Data Structures (EC, TW), p. 32.

ECOOP-2017-DietrichJRTP

Evil Pickles: DoS Attacks Based on Object-Graph Engineering (JD0, KJ, SR, AT, AP), p. 32.

ECOOP-2017-ZhangO #framework #named #programming language #reuse #visitor

EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse (WZ, BCdSO), p. 32.