Shriram Krishnamurthi, Benjamin S. Lerner
Proceedings of the 30th European Conference on Object-Oriented Programming
ECOOP, 2016.

@proceedings{ECOOP-2016,
	editor        = "Shriram Krishnamurthi and Benjamin S. Lerner",
	ee            = "http://www.dagstuhl.de/dagpub/978-3-95977-014-9",
	isbn          = "978-3-95977-014-9",
	publisher     = "{Schloss Dagstuhl - Leibniz-Zentrum für Informatik}",
	series        = "{Leibniz International Proceedings in Informatics}",
	title         = "{Proceedings of the 30th European Conference on Object-Oriented Programming}",
	volume        = 56,
	year          = 2016,
}

Contents (26 items)

ECOOP-2016-MillerT

The Elements of Decision Alignment (MSM, BT), p. 5.

ECOOP-2016-BolzKT #embedded

Making an Embedded DBMS JIT-friendly (CFB, DK, LT), p. 24.

ECOOP-2016-Chevalier-Boisvert #analysis #interprocedural #javascript #source code

Interprocedural Type Specialization of JavaScript Programs Without Type Analysis (MCB, MF), p. 24.

ECOOP-2016-AvgustinovMJS #named #object-oriented #query #relational

QL: Object-oriented Queries on Relational Data (PA, OdM, MPJ, MS), p. 25.

ECOOP-2016-EyolfsonL #c++ #empirical

C++ const and Immutability: An Empirical Study of Writes-Through-const (JE, PL0), p. 25.

ECOOP-2016-JezekD #component #flexibility #java

Magic with Dynamo -- Flexible Cross-Component Linking for Java with Invokedynamic (KJ, JD0), p. 25.

ECOOP-2016-OhoriUSK #calculus

A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects (AO, KU, TS, DK), p. 25.

ECOOP-2016-PalmerS #higher-order #program analysis

Higher-Order Demand-Driven Program Analysis (ZP, SFS0), p. 25.

ECOOP-2016-TomanG #debugging #named

Staccato: A Bug Finder for Dynamic Configuration Updates (JT, DG), p. 25.

ECOOP-2016-ZhaoCLS #ontology #program analysis #towards

Towards Ontology-Based Program Analysis (YZ, GC, CL, XS), p. 25.

ECOOP-2016-AndreasenGCSTS #approach #type system

Trace Typing: An Approach for Evaluating Retrofitted Type Systems (EA, CSG, SC0, MS, FT, KS), p. 26.

ECOOP-2016-CastegrenW #concurrent

Reference Capabilities for Concurrency Control (EC, TW), p. 26.

ECOOP-2016-FennellT #named #object-oriented #security

LJGS: Gradual Security Types for Object-Oriented Languages (LF, PT0), p. 26.

ECOOP-2016-HarkesGV #graph #incremental #named #persistent

IceDust: Incremental and Eventual Computation of Derived Values in Persistent Object Graphs (DH, DMG, EV), p. 26.

ECOOP-2016-JarviP

One Way to Select Many (JJ, SP), p. 26.

ECOOP-2016-JonesHNB #inheritance

Object Inheritance Without Classes (TJ, MH, JN0, KBB), p. 26.

ECOOP-2016-MilitaoAC #protocol

Composing Interfering Abstract Protocols (FM, JA, LC), p. 26.

ECOOP-2016-PoulsenNTV #layout #memory management #semantics

Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (CBP, PN, APT, EV), p. 26.

ECOOP-2016-SpathDAB #analysis #java #named #pointer

Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java (JS, LNQD, KA0, EB), p. 26.

ECOOP-2016-WangJLXLZH #api #source code

Transforming Programs between APIs with Many-to-Many Mappings (CW, JJ, JL, YX, XL, LZ0, ZH), p. 26.

ECOOP-2016-BarrettBDT #case study #composition #fine-grained

Fine-grained Language Composition: A Case Study (EB, CFB, LD, LT), p. 27.

ECOOP-2016-GilL #formal method #java #recognition

Formal Language Recognition with the Java Type Checker (YG, TL), p. 27.

ECOOP-2016-LiTZX #slicing

Program Tailoring: Slicing by Sequential Criteria (YL0, TT0, YZ0, JX), p. 27.

ECOOP-2016-ChenEW #calculus #programming

A Calculus for Variational Programming (SC, ME, EW), p. 28.

ECOOP-2016-ScalasY #lightweight #programming #scala

Lightweight Session Programming in Scala (AS, NY), p. 28.

ECOOP-2016-SwalensKM #parallel #transaction

Transactional Tasks: Parallelism in Software Transactions (JS, JDK, WDM), p. 28.