The artifact for the paper Sequential Reasoning for Optimizing Compilers Under Weak Memory Concurrency (PLDI 2022
This repository contains the artifact for the PLDI'23 paper "Proving and Disproving Equivalence of F...
Artifact for Contention-aware Application Performance Prediction for Disaggregated Memory Systems (C...
This artifact contains the source code, benchmarks, scripts, and documentation for reproduce the eva...
The artifact for the paper Sequential Reasoning for Optimizing Compilers Under Weak Memory Concurren...
The artifact for paper "Probabilistic Concurrency Testing for Weak Memory Concurrency" in ASPLOS2023
PLDI Artifact For "Making concurrent reference counting as fast as manual safe memory reclamation" (...
Artifact for PLDI 2023 paper, "Program Reconditioning: Avoiding Undefined Behaviour when Finding and...
This is the artifact of PLDI22-paper984 "Verifying Optimizations of Concurrent Programs in the Promi...
This is the artifact that accompanies the OOPSLA 2020 paper "Programming and Reasoning with Partial ...
This is a compressed VM artifact for the "Computing Correctly with Inductive Relations" paper accept...
A software artifact to accompany the paper "Responsive Parallelism with Futures and State," to appea...
Artifact for the paper "Near-Optimal Sparse Allreduce for Distributed Deep Learning", published in P...
This artifact accompanies the paper titled 'Maximal Quantified Precondition Synthesis for Linear Arr...
Artifact for PLDI 2022 paper Giallar: Push-button Verification for the Qiskit Quantum Compile
This is a research artifact release for PLDI'23 research artifact evaluation. Please use the latest...
This repository contains the artifact for the PLDI'23 paper "Proving and Disproving Equivalence of F...
Artifact for Contention-aware Application Performance Prediction for Disaggregated Memory Systems (C...
This artifact contains the source code, benchmarks, scripts, and documentation for reproduce the eva...
The artifact for the paper Sequential Reasoning for Optimizing Compilers Under Weak Memory Concurren...
The artifact for paper "Probabilistic Concurrency Testing for Weak Memory Concurrency" in ASPLOS2023
PLDI Artifact For "Making concurrent reference counting as fast as manual safe memory reclamation" (...
Artifact for PLDI 2023 paper, "Program Reconditioning: Avoiding Undefined Behaviour when Finding and...
This is the artifact of PLDI22-paper984 "Verifying Optimizations of Concurrent Programs in the Promi...
This is the artifact that accompanies the OOPSLA 2020 paper "Programming and Reasoning with Partial ...
This is a compressed VM artifact for the "Computing Correctly with Inductive Relations" paper accept...
A software artifact to accompany the paper "Responsive Parallelism with Futures and State," to appea...
Artifact for the paper "Near-Optimal Sparse Allreduce for Distributed Deep Learning", published in P...
This artifact accompanies the paper titled 'Maximal Quantified Precondition Synthesis for Linear Arr...
Artifact for PLDI 2022 paper Giallar: Push-button Verification for the Qiskit Quantum Compile
This is a research artifact release for PLDI'23 research artifact evaluation. Please use the latest...
This repository contains the artifact for the PLDI'23 paper "Proving and Disproving Equivalence of F...
Artifact for Contention-aware Application Performance Prediction for Disaggregated Memory Systems (C...
This artifact contains the source code, benchmarks, scripts, and documentation for reproduce the eva...
DOI
Add to ORKG