European Conference on Object-Oriented Programming, ECOOP 2017


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

Data Exploration through Dot-driven Development

Tomas Petricek

Data Exploration through Dot-driven Development

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
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Author has verified information

Relaxed Linear References for Lock-free Data Structures

Elias Castegren, Tobias Wrigstad

Relaxed Linear References for Lock-free Data Structures

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Compiling Tree Transforms to Operate on Packed Representations

Michael Vollmer, Sarah Spall, Buddhika Chamith, Laith Sakka, Chaitanya Koparkar, Milind Kulkarni, Sam Tobin-Hochstadt, Ryan Newton

Compiling Tree Transforms to Operate on Packed Representations

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

Type Abstraction for Relaxed Noninterference

Raimil Cruz, Tamara Rezk, Bernard P. Serpette, Éric Tanter

Type Abstraction for Relaxed Noninterference

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

Concurrent Data Structures Linked in Time

Germán Andrés Delbianco, Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee

Concurrent Data Structures Linked in Time

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
Author Comments: Updated versions of the Coq development are available on the FCSL project website, http://software.imdea.org/fcsl.
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Interprocedural Specialization of Higher-Order Dynamic Languages Without Static Analysis

Baptiste Saleil, Marc Feeley

Interprocedural Specialization of Higher-Order Dynamic Languages Without Static 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

Speeding Up Maximal Causality Reduction with Static Dependency Analysis

Shiyou Huang, Jeff Huang

Speeding Up Maximal Causality Reduction with Static Dependency Analysis

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Evil Pickles: DoS Attacks Based on Object-Graph Engineering

Jens Dietrich, Kamil Jezek, Shawn Rasheed, Amjed Tahir, Alex Potanin

Evil Pickles: DoS Attacks Based on Object-Graph Engineering

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 Generic Approach to Flow-Sensitive Polymorphic Effects

Colin S. Gordon

A Generic Approach to Flow-Sensitive Polymorphic Effects

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

An Empirical Study on Deoptimization in the Graal Compiler

Yudi Zheng, Lubomír Bulej, Walter Binder

An Empirical Study on Deoptimization in the Graal Compiler

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

Proactive Synthesis of Recursive Tree-to-String Functions from Examples

Mikaël Mayer, Jad Hamza, Viktor Kuncak

Proactive Synthesis of Recursive Tree-to-String Functions from Examples

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
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

A Capability-Based Module System for Authority Control

Darya Melicher, Yangqingwei Shi, Alex Potanin, Jonathan Aldrich

A Capability-Based Module System for Authority Control

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
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Mixing Metaphors: Actors as Channels and Channels as Actors

Simon Fowler, Sam Lindley, Philip Wadler

Mixing Metaphors: Actors as Channels and Channels as Actors

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced no artifacts
Verification: Authors have verified information

Contracts in the Wild: A Study of Java Programs

Jens Dietrich, David J. Pearce, Kamil Jezek, Premek Brada

Contracts in the Wild: A Study of Java 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

Parallelizing Julia with a Non-Invasive DSL

Todd A. Anderson, Hai Liu, Lindsey Kuper, Ehsan Totoni, Jan Vitek, Tatiana Shpeisman

Parallelizing Julia with a Non-Invasive DSL

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

Composing Software in an Age of Dissonance (Invited Talk)

Gilad Bracha

Composing Software in an Age of Dissonance (Invited Talk)

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

Mailbox Abstractions for Static Analysis of Actor Programs

Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover

Mailbox Abstractions for Static Analysis of Actor 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
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

What's the Optimal Performance of Precise Dynamic Race Detection? - A Redundancy Perspective

Jeff Huang, Arun K. Rajagopalan

What's the Optimal Performance of Precise Dynamic Race Detection? - A Redundancy Perspective

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

Retargeting Gradual Typing (Invited Talk)

Ross Tate

Retargeting Gradual Typing (Invited Talk)

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

Promising Compilation to ARMv8 POP

Anton Podkopaev, Ori Lahav, Viktor Vafeiadis

Promising Compilation to ARMv8 POP

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

IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition

Daco Harkes, Eelco Visser

IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition

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
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris

Jan-Oliver Kaiser, Hoang-Hai Dang, Derek Dreyer, Ori Lahav, Viktor Vafeiadis

Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris

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

Challenges to Achieving High Availability at Scale (Invited Talk)

Wolfram Schulte

Challenges to Achieving High Availability at Scale (Invited Talk)

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

muPuppet: A Declarative Subset of the Puppet Configuration Language

Weili Fu, Roly Perera, Paul Anderson, James Cheney

muPuppet: A Declarative Subset of the Puppet Configuration Language

Details
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Modelling Homogeneous Generative Meta-Programming

Martin Berger, Laurence Tratt, Christian Urban

Modelling Homogeneous Generative Meta-Programming

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

A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming

Alceste Scalas, Ornela Dardha, Raymond Hu, Nobuko Yoshida

A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming

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
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse

Weixin Zhang, Bruno C. d. S. Oliveira

EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse

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 Co-contextual Type Checker for Featherweight Java

Edlira Kuci, Sebastian Erdweg, Oliver Bracevac, Andi Bejleri, Mira Mezini

A Co-contextual Type Checker for Featherweight Java

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

Mixed Messages: Measuring Conformance and Non-Interference in TypeScript

Jack Williams, J. Garrett Morris, Philip Wadler, Jakub Zalewski

Mixed Messages: Measuring Conformance and Non-Interference in TypeScript

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 Strong Normalization for Dependent Object Types (DOT)

Fei Wang, Tiark Rompf

Towards Strong Normalization for Dependent Object Types (DOT)

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