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