| 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
|
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Author has
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
|
|
Sean Treichler, Michael Bauer, Rahul Sharma, Elliott Slaughter, Alex Aiken |
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
|
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
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
|