ACM SIGPLAN Intl. Conf. on OO Programming, Systems, Langs., and Apps., OOPSLA 2016


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

Hybrid STM/HTM for nested transactions on OpenJDK

Keith Chapman, Antony L. Hosking, J. Eliot B. Moss

Hybrid STM/HTM for nested transactions on OpenJDK

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

Finding resume and restart errors in Android applications

Zhiyong Shan, Tanzirul Azim, Iulian Neamtiu

Finding resume and restart errors in Android applications

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

Deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations

Shachar Itzhaky, Rohit Singh, Armando Solar-Lezama, Kuat Yessenov, Yongquan Lu, Charles E. Leiserson, Rezaul Alam Chowdhury

Deriving divide-and-conquer dynamic programming algorithms using solver-aided 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

Chain: tasks and channels for reliable intermittent programs

Alexei Colin, Brandon Lucia

Chain: tasks and channels for reliable intermittent programs

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

Scalable verification of border gateway protocol configurations with an SMT solver

Konstantin Weitz, Doug Woos, Emina Torlak, Michael D. Ernst, Arvind Krishnamurthy, Zachary Tatlock

Scalable verification of border gateway protocol configurations with an SMT solver

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

Semantic subtyping for imperative object-oriented languages

Davide Ancona, Andrea Corradi

Semantic subtyping for imperative 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

Incremental forest: a DSL for efficiently managing filestores

Jonathan DiLorenzo, Richard Zhang, Erin Menzies, Kathleen Fisher, Nate Foster

Incremental forest: a DSL for efficiently managing filestores

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

Java and scala's type systems are unsound: the existential crisis of null pointers

Nada Amin, Ross Tate

Java and scala's type systems are unsound: the existential crisis of null pointers

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

Makalu: fast recoverable allocation of non-volatile memory

Kumud Bhandari, Dhruva R. Chakrabarti, Hans-Juergen Boehm

Makalu: fast recoverable allocation of non-volatile memory

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

Low-overhead and fully automated statistical debugging with abstraction refinement

Zhiqiang Zuo, Lu Fang, Siau-Cheng Khoo, Guoqing (Harry) Xu, Shan Lu

Low-overhead and fully automated statistical debugging with abstraction refinement

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

Automated reasoning for web page layout

Pavel Panchekha, Emina Torlak

Automated reasoning for web page layout

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

Modeling and analysis of remote memory access programming

Andrei Marian Dan, Patrick Lam, Torsten Hoefler, Martin T. Vechev

Modeling and analysis of remote memory access 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

Automatic parallelization of pure method calls via conditional future synthesis

Rishi Surendran, Vivek Sarkar

Automatic parallelization of pure method calls via conditional future synthesis

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

Semantics-based program verifiers for all languages

Andrei Stefanescu, Daejun Park, Shijiao Yuwen, Yilong Li, Grigore Rosu

Semantics-based program verifiers for all 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
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Speeding up machine-code synthesis

Venkatesh Srinivasan, Tushar Sharma, Thomas W. Reps

Speeding up machine-code synthesis

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

An operational semantics for C/C++11 concurrency

Kyndylan Nienhuis, Kayvan Memarian, Peter Sewell

An operational semantics for C/C++11 concurrency

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

Dynamically diagnosing type errors in unsafe code

Stephen Kell

Dynamically diagnosing type errors in unsafe code

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: Author has not verified information

Ringer: web automation by demonstration

Shaon Barman, Sarah Chasins, Rastislav Bodík, Sumit Gulwani

Ringer: web automation by demonstration

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

Asserting reliable convergence for configuration management scripts

Oliver Hanappi, Waldemar Hummer, Schahram Dustdar

Asserting reliable convergence for configuration management scripts

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

An improved algorithm for slicing machine code

Venkatesh Srinivasan, Thomas W. Reps

An improved algorithm for slicing machine code

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: Not able to share produced artifacts
Verification: Authors have verified information

Dependent partitioning

Sean Treichler, Michael Bauer, Rahul Sharma, Elliott Slaughter, Alex Aiken

Dependent partitioning

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

Portable inter-workgroup barrier synchronisation for GPUs

Tyler Sorensen, Alastair F. Donaldson, Mark Batty, Ganesh Gopalakrishnan, Zvonimir Rakamaric

Portable inter-workgroup barrier synchronisation for GPUs

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

Parsing with first-class derivatives

Jonathan Immanuel Brachthäuser, Tillmann Rendel, Klaus Ostermann

Parsing with first-class derivatives

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

Stateless model checking with data-race preemption points

Ben Blum, Garth A. Gibson

Stateless model checking with data-race preemption points

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

Type inference for static compilation of JavaScript

Satish Chandra, Colin S. Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, Young-Il Choi

Type inference for static compilation of JavaScript

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

LaCasa: lightweight affinity and object capabilities in Scala

Philipp Haller, Alexander Loiko

LaCasa: lightweight affinity and object capabilities in Scala

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

Precise and maximal race detection from incomplete traces

Jeff Huang, Arun K. Rajagopalan

Precise and maximal race detection from incomplete traces

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

Parallel incremental whole-program optimizations for Scala.js

Sébastien Doeraene, Tobias Schlatter

Parallel incremental whole-program optimizations for Scala.js

Details
Author Comments: The source code that was used to produce the results of the paper are available on the following frozen git branch: https://github.com/sjrd/scala-js/tree/store-inc-opt-stats. Nevertheless, they do not constitute actual *artifacts* as we do not explain how to run the specific benchmarks. It can be useful to look at the code (look for `GenIncOptimizer.scala` and `OptimizerCore.scala`).
Discussion Comments: 0
Sharing: Research produced no artifacts
Verification: Authors have verified information

FIDEX: filtering spreadsheet data using examples

Xinyu Wang, Sumit Gulwani, Rishabh Singh

FIDEX: filtering spreadsheet data using examples

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

A practical framework for type inference error explanation

Calvin Loncaric, Satish Chandra, Cole Schlesinger, Manu Sridharan

A practical framework for type inference error explanation

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

OrcO: a concurrency-first approach to objects

Arthur Michener Peters, David Kitchin, John A. Thywissen, William R. Cook

OrcO: a concurrency-first approach to objects

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

Automatic enforcement of expressive security policies using enclaves

Anitha Gollamudi, Stephen Chong

Automatic enforcement of expressive security policies using enclaves

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

Type soundness for dependent object types (DOT)

Tiark Rompf, Nada Amin

Type soundness 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

To be precise: regression aware debugging

Rohan Bavishi, Awanish Pandey, Subhajit Roy

To be precise: regression aware debugging

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

Finding compiler bugs via live code mutation

Chengnian Sun, Vu Le, Zhendong Su

Finding compiler bugs via live code mutation

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

Gentrification gone too far? affordable 2nd-class values for fun and (co-)effect

Leo Osvald, Grégory M. Essertel, Xilun Wu, Lilliam I. González Alayón, Tiark Rompf

Gentrification gone too far? affordable 2nd-class values for fun and (co-)effect

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

Efficient and thread-safe objects for dynamically-typed languages

Benoit Daloze, Stefan Marr, Daniele Bonetta, Hanspeter Mössenböck

Efficient and thread-safe objects for dynamically-typed 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
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

The missing link: explaining ELF static linking, semantically

Stephen Kell, Dominic P. Mulligan, Peter Sewell

The missing link: explaining ELF static linking, semantically

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

Prioritized garbage collection: explicit GC support for software caches

Diogenes Nunez, Samuel Z. Guyer, Emery D. Berger

Prioritized garbage collection: explicit GC support for software caches

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

First-class effect reflection for effect-guided programming

Yuheng Long, Yu David Liu, Hridesh Rajan

First-class effect reflection for effect-guided programming

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

Extensible access control with authorization contracts

Scott Moore, Christos Dimoulas, Robert Bruce Findler, Matthew Flatt, Stephen Chong

Extensible access control with authorization contracts

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

Purposes, concepts, misfits, and a redesign of git

Santiago Perez De Rosso, Daniel Jackson

Purposes, concepts, misfits, and a redesign of git

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: The `research` branch of the code repo (https://github.com/sdg-mit/gitless/) contains material necessary to reproduce the user study and the Stack Overflow questions analyzed
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information

Probabilistic model for code with decision trees

Veselin Raychev, Pavol Bielik, Martin T. Vechev

Probabilistic model for code with decision trees

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

GEMs: shared-memory parallel programming for Node.js

Daniele Bonetta, Luca Salucci, Stefan Marr, Walter Binder

GEMs: shared-memory parallel programming for Node.js

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

A compiler for throughput optimization of graph algorithms on GPUs

Sreepathi Pai, Keshav Pingali

A compiler for throughput optimization of graph algorithms on GPUs

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

Maximal causality reduction for TSO and PSO

Shiyou Huang, Jeff Huang

Maximal causality reduction for TSO and PSO

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

Directed synthesis of failing concurrent executions

Malavika Samak, Omer Tripp, Murali Krishna Ramanathan

Directed synthesis of failing concurrent executions

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

Apex: automatic programming assignment error explanation

Dohyeong Kim, Yonghwi Kwon, Peng Liu, I Luk Kim, David Mitchel Perry, Xiangyu Zhang, Gustavo Rodriguez-Rivera

Apex: automatic programming assignment error explanation

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

Accelerating program analyses by cross-program training

Sulekha Kulkarni, Ravi Mangal, Xin Zhang, Mayur Naik

Accelerating program analyses by cross-program training

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

Computing repair alternatives for malformed programs using constraint attribute grammars

Friedrich Steimann, Jörg Hagemann, Bastian Ulke

Computing repair alternatives for malformed programs using constraint attribute grammars

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: Other
Verification: Authors have verified information

Call graphs for languages with parametric polymorphism

Dmitry Petrashko, Vlad Ureche, Ondrej Lhoták, Martin Odersky

Call graphs for languages with parametric polymorphism

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

Hoare-style specifications as correctness conditions for non-linearizable concurrent objects

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

Hoare-style specifications as correctness conditions for non-linearizable concurrent 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
Author Comments:
Discussion Comments: 0
Sharing: Research produced artifacts
Verification: Authors have verified information