European Conference on Object-Oriented Programming, ECOOP 2016


The information below was collected semi-automatically. The authors have not yet been given the opportunity to verify the data.
[?] We ask all authors to verify the information we have about their papers, in particular the location of any supporting artifacts. We send out emails to authors asking them to update or verify this information incrementally, one conference at a time. For conferences where these emails have yet to be sent out we present the information in gray text.
Title/Authors Title Research Artifacts
[?] A research artifact is any by-product of a research project that is not directly included in the published research paper. In Computer Science research this is often source code and data sets, but it could also be media, documentation, inputs to proof assistants, shell-scripts to run experiments, etc.
Details

Reference Capabilities for Concurrency Control

Elias Castegren, Tobias Wrigstad

Reference Capabilities for Concurrency Control

Details
Discussion Comments: 0
Verification: Authors have not verified information

Transforming Programs between APIs with Many-to-Many Mappings

Chenglong Wang, Jiajun Jiang, Jun Li, Yingfei Xiong, Xiangyu Luo, Lu Zhang, Zhenjiang Hu

Transforming Programs between APIs with Many-to-Many Mappings

Details
Discussion Comments: 0
Verification: Authors have not verified information

Trace Typing: An Approach for Evaluating Retrofitted Type Systems

Esben Andreasen, Colin S. Gordon, Satish Chandra, Manu Sridharan, Frank Tip, Koushik Sen

Trace Typing: An Approach for Evaluating Retrofitted Type Systems

Details
Discussion Comments: 0
Verification: Authors have not verified information

Fine-grained Language Composition: A Case Study

Edd Barrett, Carl Friedrich Bolz, Lukas Diekmann, Laurence Tratt

Fine-grained Language Composition: A Case Study

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

IceDust: Incremental and Eventual Computation of Derived Values in Persistent Object Graphs

Daco Harkes, Danny M. Groenewegen, Eelco Visser

IceDust: Incremental and Eventual Computation of Derived Values in Persistent Object Graphs

Details
Discussion Comments: 0
Verification: Authors have not verified information

Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics

Casper Bach Poulsen, Pierre Néron, Andrew P. Tolmach, Eelco Visser

Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Making an Embedded DBMS JIT-friendly

Carl Friedrich Bolz, Darya Kurilova, Laurence Tratt

Making an Embedded DBMS JIT-friendly

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Program Tailoring: Slicing by Sequential Criteria

Yue Li, Tian Tan, Yifei Zhang, Jingling Xue

Program Tailoring: Slicing by Sequential Criteria

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

C++ const and Immutability: An Empirical Study of Writes-Through-const

Jon Eyolfson, Patrick Lam

C++ const and Immutability: An Empirical Study of Writes-Through-const

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Formal Language Recognition with the Java Type Checker

Yossi Gil, Tomer Levy

Formal Language Recognition with the Java Type Checker

Details
Discussion Comments: 0
Verification: Authors have not verified information

The Elements of Decision Alignment

Mark S. Miller, Bill Tulloh

The Elements of Decision Alignment

Details
Discussion Comments: 0
Verification: Authors have not verified information

Magic with Dynamo -- Flexible Cross-Component Linking for Java with Invokedynamic

Kamil Jezek, Jens Dietrich

Magic with Dynamo -- Flexible Cross-Component Linking for Java with Invokedynamic

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Object Inheritance Without Classes

Timothy Jones, Michael Homer, James Noble, Kim B. Bruce

Object Inheritance Without Classes

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Staccato: A Bug Finder for Dynamic Configuration Updates

John Toman, Dan Grossman

Staccato: A Bug Finder for Dynamic Configuration Updates

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Lightweight Session Programming in Scala

Alceste Scalas, Nobuko Yoshida

Lightweight Session Programming in Scala

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

QL: Object-oriented Queries on Relational Data

Pavel Avgustinov, Oege de Moor, Michael Peyton Jones, Max Schäfer

QL: Object-oriented Queries on Relational Data

Details
Discussion Comments: 0
Verification: Authors have not verified information

Composing Interfering Abstract Protocols

Filipe Militão, Jonathan Aldrich, Luís Caires

Composing Interfering Abstract Protocols

Details
Discussion Comments: 0
Verification: Authors have not verified information

One Way to Select Many

Jaakko Järvi, Sean Parent

One Way to Select Many

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java

Johannes Späth, Lisa Nguyen Quang Do, Karim Ali, Eric Bodden

Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

LJGS: Gradual Security Types for Object-Oriented Languages

Luminous Fennell, Peter Thiemann

LJGS: Gradual Security Types for Object-Oriented Languages

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Transactional Tasks: Parallelism in Software Transactions

Janwillem Swalens, Joeri De Koster, Wolfgang De Meuter

Transactional Tasks: Parallelism in Software Transactions

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects

Atsushi Ohori, Katsuhiro Ueno, Tomohiro Sasaki, Daisuke Kikuchi

A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects

Details
Discussion Comments: 0
Verification: Authors have not verified information

Higher-Order Demand-Driven Program Analysis

Zachary Palmer, Scott F. Smith

Higher-Order Demand-Driven Program Analysis

Details
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
Discussion Comments: 0
Verification: Authors have not verified information

Towards Ontology-Based Program Analysis

Yue Zhao, Guoyang Chen, Chunhua Liao, Xipeng Shen

Towards Ontology-Based Program Analysis

Details
Discussion Comments: 0
Verification: Authors have not verified information

Interprocedural Type Specialization of JavaScript Programs Without Type Analysis

Maxime Chevalier-Boisvert, Marc Feeley

Interprocedural Type Specialization of JavaScript Programs Without Type Analysis

Details
Discussion Comments: 0
Verification: Authors have not verified information

A Calculus for Variational Programming

Sheng Chen, Martin Erwig, Eric Walkingshaw

A Calculus for Variational Programming

Details
Discussion Comments: 0
Verification: Authors have not verified information