John Tang Boyland
Proceedings of the 29th European Conference on Object-Oriented Programming
ECOOP, 2015.

@proceedings{ECOOP-2015,
	address       = "Prague, Czech Republic",
	editor        = "John Tang Boyland",
	ee            = "http://www.dagstuhl.de/dagpub/978-3-939897-86-6",
	isbn          = "978-3-939897-86-6",
	publisher     = "{Schloss Dagstuhl — Leibniz-Zentrum für Informatik}",
	series        = "{Leibniz International Proceedings in Informatics}",
	title         = "{Proceedings of the 29th European Conference on Object-Oriented Programming}",
	volume        = 37,
	year          = 2015,
}

Contents (34 items)

6 ×#javascript
5 ×#verification
3 ×#analysis
3 ×#programming
3 ×#type system
2 ×#abstraction
2 ×#composition
2 ×#formal method
2 ×#named
2 ×#precise

ECOOP-2015-Stroustrup #inheritance #object-oriented #programming

Object-Oriented Programming without Inheritance (BS), p. 1.

ECOOP-2015-Choi #in the large #internet #programming

Programming in the Large for the Internet of Things (JDC), p. 2.

ECOOP-2015-Summers #stack #verification

Software Verification “Across the Stack” (AJS), p. 3.

ECOOP-2015-TakikawaFDFFTF #towards #type system

Towards Practical Gradual Typing (AT, DF, ED, MF, RBF, STH, MF), pp. 4–27.

ECOOP-2015-KeilT #contract #higher-order #named

TreatJS: Higher-Order Contracts for JavaScripts (MK, PT), pp. 28–51.

ECOOP-2015-VekrisCJ #trust #type system #verification

Trust, but Verify: Two-Phase Typing for Dynamic Languages (PV, BC, RJ), pp. 52–75.

ECOOP-2015-RichardsNV #typescript

Concrete Types for TypeScript (GR, FZN, JV), pp. 76–100.

ECOOP-2015-Chevalier-Boisvert #effectiveness #lazy evaluation #version control

Simple and Effective Type Check Removal through Lazy Basic Block Versioning (MCB, MF), pp. 101–123.

ECOOP-2015-BhandariN #exception

Loop Tiling in the Presence of Exceptions (AB, VKN), pp. 124–148.

ECOOP-2015-KeilGSGT #javascript

Transparent Object Proxies in JavaScript (MK, SNG, AS, MG, PT), pp. 149–173.

ECOOP-2015-LeeASP #formal method

A Theory of Tagged Objects (JL, JA, TS, AP), pp. 174–197.

ECOOP-2015-JonesHN #type system

Brand Objects for Nominal Typing (TJ, MH, JN), pp. 198–221.

ECOOP-2015-CentonzePT #analysis

Access-rights Analysis in the Presence of Subjects (PC, MP, OT), pp. 222–246.

ECOOP-2015-DimovskiBW #abstraction #analysis #precise #variability

Variability Abstractions: Trading Precision for Speed in Family-Based Analyses (ASD, CB, AW), pp. 247–270.

ECOOP-2015-St-AmourG #javascript #optimisation

Optimization Coaching for JavaScript (VSA, SyG), pp. 271–295.

ECOOP-2015-FangDX #detection #named #performance #problem

PerfBlower: Quickly Detecting Memory-Related Performance Problems via Amplification (LF, LD, G(X), pp. 296–320.

ECOOP-2015-Alimadadi0P #hybrid #impact analysis #javascript

Hybrid DOM-Sensitive Change Impact Analysis for JavaScript (SA, AM, KP), pp. 321–345.

ECOOP-2015-LongLR #morphism #polymorphism

Intensional Effect Polymorphism (YL, YDL, HR), pp. 346–370.

ECOOP-2015-HaqueP #type inference

Type Inference for Place-Oblivious Objects (RH, JP), pp. 371–395.

ECOOP-2015-KloosMV

Asynchronous Liquid Separation Types (JK, RM, VV), pp. 396–420.

ECOOP-2015-ImamS #parallel #programming

The Eureka Programming Model for Speculative Task Parallelism (SI, VS), pp. 421–444.

ECOOP-2015-PetriVJ #formal method #implementation

Cooking the Books: Formalizing JMM Implementation Recipes (GP, JV, SJ), pp. 445–469.

ECOOP-2015-DongolDGS #architecture #concurrent #correctness #manycore

Defining Correctness Conditions for Concurrent Objects in Multicore Architectures (BD, JD, LG, GS), pp. 470–494.

ECOOP-2015-MedeirosKRNG #c #preprocessor

The Love/Hate Relationship with the C Preprocessor: An Interview Study (FM, CK, MR, SN, RG), pp. 495–518.

ECOOP-2015-PradelS #empirical #javascript

The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript (MP, KS), pp. 519–541.

ECOOP-2015-ShinnarSH #calculus #compilation

A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization (AS, JS, MH), pp. 542–567.

ECOOP-2015-BurckhardtLPF #abstraction #protocol #robust #sequence

Global Sequence Protocol: A Robust Abstraction for Replicated Shared State (SB, DL, JP, MF), pp. 568–590.

ECOOP-2015-BiboudisPFS #algebra #pipes and filters

Streams a la carte: Extensible Pipelines with Object Algebras (AB, NP, GF, YS), pp. 591–613.

ECOOP-2015-SchwerhoffS #automation #lightweight #verification

Lightweight Support for Magic Wands in an Automatic Verifier (MS, AJS), pp. 614–638.

ECOOP-2015-BostromM #composition #finite #source code #verification

Modular Verification of Finite Blocking in Non-terminating Programs (PB, PM), pp. 639–663.

ECOOP-2015-JacobsBK #composition #termination #verification

Modular Termination Verification (BJ, DB, RK), pp. 664–688.

ECOOP-2015-HauzarK #framework #php #static analysis

Framework for Static Analysis of PHP Applications (DH, JK), pp. 689–711.

ECOOP-2015-WeiR #adaptation #analysis #javascript

Adaptive Context-sensitive Analysis for JavaScript (SW, BGR), pp. 712–734.

ECOOP-2015-ParkR #javascript #precise #scalability #static analysis

Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity (CP, SR), pp. 735–756.