European Conference on Object-Oriented Programming, ECOOP 2015


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

Brand Objects for Nominal Typing

Timothy Jones, Michael Homer, James Noble

Brand Objects for Nominal Typing

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 Theory of Tagged Objects

Joseph Lee, Jonathan Aldrich, Troy Shaw, Alex Potanin

A Theory of Tagged Objects

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 Practical Gradual Typing

Asumu Takikawa, Daniel Feltey, Earl Dean, Matthew Flatt, Robert Bruce Findler, Sam Tobin-Hochstadt, Matthias Felleisen

Towards Practical Gradual Typing

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

Intensional Effect Polymorphism

Yuheng Long, Yu David Liu, Hridesh Rajan

Intensional Effect Polymorphism

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

The Love/Hate Relationship with the C Preprocessor: An Interview Study

Flávio Medeiros, Christian Kästner, Márcio Ribeiro, Sarah Nadi, Rohit Gheyi

The Love/Hate Relationship with the C Preprocessor: An Interview 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

Adaptive Context-sensitive Analysis for JavaScript

Shiyi Wei, Barbara G. Ryder

Adaptive Context-sensitive Analysis for JavaScript

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

Concrete Types for TypeScript

Gregor Richards, Francesco Zappa Nardelli, Jan Vitek

Concrete Types for TypeScript

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

Optimization Coaching for JavaScript

Vincent St-Amour, Shu-yu Guo

Optimization Coaching for JavaScript

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

Framework for Static Analysis of PHP Applications

David Hauzar, Jan Kofron

Framework for Static Analysis of PHP Applications

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

Cooking the Books: Formalizing JMM Implementation Recipes

Gustavo Petri, Jan Vitek, Suresh Jagannathan

Cooking the Books: Formalizing JMM Implementation Recipes

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

Loop Tiling in the Presence of Exceptions

Abhilash Bhandari, V. Krishna Nandivada

Loop Tiling in the Presence of Exceptions

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

Software Verification "Across the Stack" (Invited Talk)

Alexander J. Summers

Software Verification "Across the Stack" (Invited Talk)

Details
Discussion Comments: 0
Verification: Author has not verified information

The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript

Michael Pradel, Koushik Sen

The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript

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

Access-rights Analysis in the Presence of Subjects

Paolina Centonze, Marco Pistoia, Omer Tripp

Access-rights Analysis in the Presence of Subjects

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

Streams a la carte: Extensible Pipelines with Object Algebras

Aggelos Biboudis, Nick Palladinos, George Fourtounis, Yannis Smaragdakis

Streams a la carte: Extensible Pipelines with Object Algebras

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-Oriented Programming without Inheritance (Invited Talk)

Bjarne Stroustrup

Object-Oriented Programming without Inheritance (Invited Talk)

Details
Discussion Comments: 0
Verification: Author has not verified information

Variability Abstractions: Trading Precision for Speed in Family-Based Analyses

Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wasowski

Variability Abstractions: Trading Precision for Speed in Family-Based Analyses

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

Asynchronous Liquid Separation Types

Johannes Kloos, Rupak Majumdar, Viktor Vafeiadis

Asynchronous Liquid Separation Types

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

Lightweight Support for Magic Wands in an Automatic Verifier

Malte Schwerhoff, Alexander J. Summers

Lightweight Support for Magic Wands in an Automatic Verifier

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

Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity

Changhee Park, Sukyoung Ryu

Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity

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

Modular Termination Verification

Bart Jacobs, Dragan Bosnacki, Ruurd Kuiper

Modular Termination Verification

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

Transparent Object Proxies in JavaScript

Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, Peter Thiemann

Transparent Object Proxies in JavaScript

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

Defining Correctness Conditions for Concurrent Objects in Multicore Architectures

Brijesh Dongol, John Derrick, Lindsay Groves, Graeme Smith

Defining Correctness Conditions for Concurrent Objects in Multicore Architectures

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

TreatJS: Higher-Order Contracts for JavaScripts

Matthias Keil, Peter Thiemann

TreatJS: Higher-Order Contracts for JavaScripts

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

Trust, but Verify: Two-Phase Typing for Dynamic Languages

Panagiotis Vekris, Benjamin Cosman, Ranjit Jhala

Trust, but Verify: Two-Phase Typing for Dynamic Languages

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

Modular Verification of Finite Blocking in Non-terminating Programs

Pontus Boström, Peter Müller

Modular Verification of Finite Blocking in Non-terminating Programs

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

Global Sequence Protocol: A Robust Abstraction for Replicated Shared State

Sebastian Burckhardt, Daan Leijen, Jonathan Protzenko, Manuel Fähndrich

Global Sequence Protocol: A Robust Abstraction for Replicated Shared State

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

A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization

Avraham Shinnar, Jérôme Siméon, Martin Hirzel

A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization

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

Type Inference for Place-Oblivious Objects

Riyaz Haque, Jens Palsberg

Type Inference for Place-Oblivious Objects

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

Programming in the Large for the Internet of Things (Invited Talk)

Jong-Deok Choi

Programming in the Large for the Internet of Things (Invited Talk)

Details
Discussion Comments: 0
Verification: Author has not verified information

PerfBlower: Quickly Detecting Memory-Related Performance Problems via Amplification

Lu Fang, Liang Dou, Guoqing (Harry) Xu

PerfBlower: Quickly Detecting Memory-Related Performance Problems via Amplification

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

Hybrid DOM-Sensitive Change Impact Analysis for JavaScript

Saba Alimadadi, Ali Mesbah, Karthik Pattabiraman

Hybrid DOM-Sensitive Change Impact Analysis for JavaScript

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

The Eureka Programming Model for Speculative Task Parallelism

Shams Imam, Vivek Sarkar

The Eureka Programming Model for Speculative Task Parallelism

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

Simple and Effective Type Check Removal through Lazy Basic Block Versioning

Maxime Chevalier-Boisvert, Marc Feeley

Simple and Effective Type Check Removal through Lazy Basic Block Versioning

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