| 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 |
|---|
|
Reference Capabilities for Concurrency Control Elias Castegren, Tobias Wrigstad |
Reference Capabilities for Concurrency Control Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Transforming Programs between APIs with Many-to-Many Mappings Chenglong Wang, Jiajun Jiang, Jun Li, Yingfei Xiong, Xiangyu Luo, Lu Zhang, Zhenjiang Hu |
Transforming Programs between APIs with Many-to-Many Mappings Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Trace Typing: An Approach for Evaluating Retrofitted Type Systems Esben Andreasen, Colin S. Gordon, Satish Chandra, Manu Sridharan, Frank Tip, Koushik Sen |
Trace Typing: An Approach for Evaluating Retrofitted Type Systems Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
Fine-grained Language Composition: A Case Study Edd Barrett, Carl Friedrich Bolz, Lukas Diekmann, Laurence Tratt |
Fine-grained Language Composition: A Case Study 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
|
|
IceDust: Incremental and Eventual Computation of Derived Values in Persistent Object Graphs Daco Harkes, Danny M. Groenewegen, Eelco Visser |
IceDust: Incremental and Eventual Computation of Derived Values in Persistent Object Graphs Details |
|
Author Comments:
Discussion Comments:
0
Sharing:
Research produced no artifacts
Verification:
Authors have
verified
information
|
|
Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics Casper Bach Poulsen, Pierre Néron, Andrew P. Tolmach, Eelco Visser |
Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics 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:
This artifact is also available on GitHub: https://github.com/metaborg/scopes-describe-frames
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
Making an Embedded DBMS JIT-friendly Carl Friedrich Bolz, Darya Kurilova, Laurence Tratt |
Making an Embedded DBMS JIT-friendly 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
|
|
Program Tailoring: Slicing by Sequential Criteria Yue Li, Tian Tan, Yifei Zhang, Jingling Xue |
Program Tailoring: Slicing by Sequential Criteria 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
|
|
C++ const and Immutability: An Empirical Study of Writes-Through-const Jon Eyolfson, Patrick Lam |
C++ const and Immutability: An Empirical Study of Writes-Through-const 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
|
|
Formal Language Recognition with the Java Type Checker Yossi Gil, Tomer Levy |
Formal Language Recognition with the Java Type Checker Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
The Elements of Decision Alignment Mark S. Miller, Bill Tulloh |
The Elements of Decision Alignment Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Magic with Dynamo -- Flexible Cross-Component Linking for Java with Invokedynamic Kamil Jezek, Jens Dietrich |
Magic with Dynamo -- Flexible Cross-Component Linking for Java with Invokedynamic 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
|
|
Object Inheritance Without Classes Timothy Jones, Michael Homer, James Noble, Kim B. Bruce |
Object Inheritance Without Classes 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
|
|
Staccato: A Bug Finder for Dynamic Configuration Updates John Toman, Dan Grossman |
Staccato: A Bug Finder for Dynamic Configuration Updates 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
|
|
Lightweight Session Programming in Scala Alceste Scalas, Nobuko Yoshida |
Lightweight Session Programming in Scala 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
|
|
QL: Object-oriented Queries on Relational Data Pavel Avgustinov, Oege de Moor, Michael Peyton Jones, Max Schäfer |
QL: Object-oriented Queries on Relational Data Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Composing Interfering Abstract Protocols Filipe Militão, Jonathan Aldrich, Luís Caires |
Composing Interfering Abstract Protocols Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Jaakko Järvi, Sean Parent |
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
|
|
Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java Johannes Späth, Lisa Nguyen Quang Do, Karim Ali, Eric Bodden |
Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis 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
|
|
LJGS: Gradual Security Types for Object-Oriented Languages Luminous Fennell, Peter Thiemann |
LJGS: Gradual Security 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
|
|
Transactional Tasks: Parallelism in Software Transactions Janwillem Swalens, Joeri De Koster, Wolfgang De Meuter |
Transactional Tasks: Parallelism in Software Transactions 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 Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects Atsushi Ohori, Katsuhiro Ueno, Tomohiro Sasaki, Daisuke Kikuchi |
A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Higher-Order Demand-Driven Program Analysis Zachary Palmer, Scott F. Smith |
Higher-Order Demand-Driven Program 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
|
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
Towards Ontology-Based Program Analysis Yue Zhao, Guoyang Chen, Chunhua Liao, Xipeng Shen |
Towards Ontology-Based Program Analysis Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Interprocedural Type Specialization of JavaScript Programs Without Type Analysis Maxime Chevalier-Boisvert, Marc Feeley |
Interprocedural Type Specialization of JavaScript Programs Without Type Analysis Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
A Calculus for Variational Programming Sheng Chen, Martin Erwig, Eric Walkingshaw |
A Calculus for Variational Programming Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|