Proceedings of the 31st European Conference on Object-Oriented Programming
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

OOP
DBLP
Scholar
?EE?
Full names Links ISxN
@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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.