| 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 |
|---|
|
Philip Mayer, Andreas Schroeder |
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 |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
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 |
|
Author Comments:
Discussion Comments:
0
Sharing:
Research produced no artifacts
Verification:
Authors have
verified
information
|
|
Filipe Militão, Jonathan Aldrich, Luís Caires |
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
|
|
Gavin M. Bierman, Martín Abadi, Mads Torgersen |
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
|
|
Silvia Crafa, David Cunningham, Vijay A. Saraswat, Avraham Shinnar, Olivier Tardieu |
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
|
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
Michael Homer, Timothy Jones, James Noble, Kim B. Bruce, Andrew P. Black |
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
|
|
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
|
|
Joshua Sunshine, James D. Herbsleb, Jonathan Aldrich |
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
|