European Conference on Object-Oriented Programming, ECOOP 2014


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

Automated Multi-Language Artifact Binding and Rename Refactoring between Java and DSLs Used by Java Frameworks

Philip Mayer, Andreas Schroeder

Automated Multi-Language Artifact Binding and Rename Refactoring between Java and DSLs Used by Java Frameworks

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

Infrastructure-Free Logging and Replay of Concurrent Execution on Multiple Cores

Kyu Hyung Lee, Dohyeong Kim, Xiangyu Zhang

Infrastructure-Free Logging and Replay of Concurrent Execution on Multiple Cores

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

Self-inferencing Reflection Resolution for Java

Yue Li, Tian Tan, Yulei Sui, Jingling Xue

Self-inferencing Reflection Resolution 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

State-Sensitive Points-to Analysis for the Dynamic Behavior of JavaScript Objects

Shiyi Wei, Barbara G. Ryder

State-Sensitive Points-to Analysis for the Dynamic Behavior of JavaScript Objects

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

Reusable Concurrent Data Types

Vincent Gramoli, Rachid Guerraoui

Reusable Concurrent Data Types

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

Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages

Davide Ancona, Andrea Corradi

Sound and Complete Subtyping between Coinductive 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

Stream Processing with a Spreadsheet

Mandana Vaziri, Olivier Tardieu, Rodric Rabbah, Philippe Suter, Martin Hirzel

Stream Processing with a Spreadsheet

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

Finding Reference-Counting Errors in Python/C Programs with Affine Analysis

Siliang Li, Gang Tan

Finding Reference-Counting Errors in Python/C Programs with Affine Analysis

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

Implicit Staging of EDSL Expressions: A Bridge between Shallow and Deep Embedding

Maximilian Scherr, Shigeru Chiba

Implicit Staging of EDSL Expressions: A Bridge between Shallow and Deep Embedding

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

Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution

Heather Miller, Philipp Haller, Martin Odersky

Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution

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

Safely Composable Type-Specific Languages

Cyrus Omar, Darya Kurilova, Ligia Nistor, Benjamin Chung, Alex Potanin, Jonathan Aldrich

Safely Composable Type-Specific Languages

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

Capture-Avoiding and Hygienic Program Transformations

Sebastian Erdweg, Tijs van der Storm, Yi Dai

Capture-Avoiding and Hygienic Program Transformations

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

TaDA: A Logic for Time and Data Abstraction

Pedro da Rocha Pinto, Thomas Dinsdale-Young, Philippa Gardner

TaDA: A Logic for Time and Data Abstraction

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

Rely-Guarantee Protocols

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

Rely-Guarantee Protocols

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

MiCA: A Compositional Architecture for Gossip Protocols

Lonnie Princehouse, Rakesh Chenchu, Zhefu Jiang, Kenneth P. Birman, Nate Foster, Robert Soulé

MiCA: A Compositional Architecture for Gossip Protocols

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

Babelsberg/JS - A Browser-Based Implementation of an Object Constraint Language

Tim Felgentreff, Alan Borning, Robert Hirschfeld, Jens Lincke, Yoshiki Ohshima, Bert Freudenberg, Robert Krahn

Babelsberg/JS - A Browser-Based Implementation of an Object Constraint Language

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

Understanding TypeScript

Gavin M. Bierman, Martín Abadi, Mads Torgersen

Understanding TypeScript

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

Identifying Mandatory Code for Framework Use via a Single Application Trace

Naoya Nitta, Izuru Kume, Yasuhiro Takemura

Identifying Mandatory Code for Framework Use via a Single Application Trace

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

Semantics of (Resilient) X10

Silvia Crafa, David Cunningham, Vijay A. Saraswat, Avraham Shinnar, Olivier Tardieu

Semantics of (Resilient) X10

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

An Executable Formal Semantics of PHP

Daniele Filaretti, Sergio Maffeis

An Executable Formal Semantics of PHP

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

Portable and Efficient Run-time Monitoring of JavaScript Applications Using Virtual Machine Layering

Erick Lavoie, Bruno Dufour, Marc Feeley

Portable and Efficient Run-time Monitoring of JavaScript Applications Using Virtual Machine Layering

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

Graceful Dialects

Michael Homer, Timothy Jones, James Noble, Kim B. Bruce, Andrew P. Black

Graceful Dialects

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

Constructing Call Graphs of Scala Programs

Karim Ali, Marianna Rapoport, Ondrej Lhoták, Julian Dolby, Frank Tip

Constructing Call Graphs of Scala Programs

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

Structuring Documentation to Support State Search: A Laboratory Experiment about Protocol Programming

Joshua Sunshine, James D. Herbsleb, Jonathan Aldrich

Structuring Documentation to Support State Search: A Laboratory Experiment about Protocol Programming

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

Cooperative Scheduling of Parallel Tasks with General Synchronization Patterns

Shams Mahmood Imam, Vivek Sarkar

Cooperative Scheduling of Parallel Tasks with General Synchronization Patterns

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

Retargetting Legacy Browser Extensions to Modern Extension Frameworks

Rezwana Karim, Mohan Dhawan, Vinod Ganapathy

Retargetting Legacy Browser Extensions to Modern Extension Frameworks

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

Converting Parallel Code from Low-Level Abstractions to Higher-Level Abstractions

Semih Okur, Cansu Erdogan, Danny Dig

Converting Parallel Code from Low-Level Abstractions to Higher-Level Abstractions

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