This is the Docker artifact for the paper "Elimination (a,b)-trees with fast, durable updates" published in PPoPP '22 by Anubhav Srivastava and Trevor Brown
Artifact of the paper "To Pack or Not to Pack: A Generalized Packing Analysis and Transformation". -...
Dynaplex: Analyzing Program Complexity using Dynamically Inferred Recurrence Relations This artifact...
Artifact for PLDI 2021 Paper Gleipnir: Toward Practical Error Analysis for Quantum Programs The art...
This is the artifact for the paper "Elimination (a,b)-trees with fast, durable updates" published in...
Software Artifact for the paper: "YewPar: Skeletons for Exact Combinatorial Search" to appear in the...
Introduction This artifact supports the paper Fast and Efficient Boolean Unification for Hindley-Mi...
Artifact of the paper "To Pack or Not to Pack: A Generalized Packing Analysis and Transformation". -...
This document is the description of how to download and use the docker image that is the artifact th...
This is the artifact of the paper "Taming Transitive Redundancy for Context-Free Reachability" accep...
Artifact submission of the regular paper: A GPU Tree Database for Many-Core Explicit State Space Exp...
This is the artifact for the OOPSLA 2023 paper "Synthesizing Efficient Memoization Functions", inclu...
Artifact for the paper 'Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory'...
Artifact accompanying the paper Compiling Universal Probabilistic Programming Languages with Efficie...
This repository contains a compressed docker image file, containing the artifact for the PLDI 2023 p...
This is a Docker image that contains the codebase and evaluation scripts for our OOPSLA 2023 paper "...
Artifact of the paper "To Pack or Not to Pack: A Generalized Packing Analysis and Transformation". -...
Dynaplex: Analyzing Program Complexity using Dynamically Inferred Recurrence Relations This artifact...
Artifact for PLDI 2021 Paper Gleipnir: Toward Practical Error Analysis for Quantum Programs The art...
This is the artifact for the paper "Elimination (a,b)-trees with fast, durable updates" published in...
Software Artifact for the paper: "YewPar: Skeletons for Exact Combinatorial Search" to appear in the...
Introduction This artifact supports the paper Fast and Efficient Boolean Unification for Hindley-Mi...
Artifact of the paper "To Pack or Not to Pack: A Generalized Packing Analysis and Transformation". -...
This document is the description of how to download and use the docker image that is the artifact th...
This is the artifact of the paper "Taming Transitive Redundancy for Context-Free Reachability" accep...
Artifact submission of the regular paper: A GPU Tree Database for Many-Core Explicit State Space Exp...
This is the artifact for the OOPSLA 2023 paper "Synthesizing Efficient Memoization Functions", inclu...
Artifact for the paper 'Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory'...
Artifact accompanying the paper Compiling Universal Probabilistic Programming Languages with Efficie...
This repository contains a compressed docker image file, containing the artifact for the PLDI 2023 p...
This is a Docker image that contains the codebase and evaluation scripts for our OOPSLA 2023 paper "...
Artifact of the paper "To Pack or Not to Pack: A Generalized Packing Analysis and Transformation". -...
Dynaplex: Analyzing Program Complexity using Dynamically Inferred Recurrence Relations This artifact...
Artifact for PLDI 2021 Paper Gleipnir: Toward Practical Error Analysis for Quantum Programs The art...
DOI
Add to ORKG