Artifact submission of the regular paper: A GPU Tree Database for Many-Core Explicit State Space Exploration
This is a software package for the paper "ADTLang: A Programming Language Approach to Attack-Defens...
Artifact for HPCA'22 paper: AI-Enabling Workloads on Large-Scale GPU-Accelerated System: Characteriz...
This artifact includes all code and scripts to reproduce the result of our paper: Automatic Horizont...
Artifact submission of the regular paper: A GPU Tree Database for Many-Core Explicit State Space Exp...
Artifact for the ISSTA 2023 paper "GPUHarbor: Testing GPU Memory Consistency At Large (Experience Pa...
This document is the artifact description of the paper entitled “Apollo: Automatic Partition-based O...
The artifact of the CAV 2021 paper entitled "Checking Data-Race Freedom of GPU Kernels, Compositiona...
Artifact associated with POPL 2023 paper, "Taking Back Control in an Intermediate Representation for...
This is the archival artifact intended for artefact evaluation of the paper "An Experimental Evaluat...
Artifact for the paper 'Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory'...
This is the artifact of the paper "DSP: Efficient GNN Training with Multiple GPUs"
This is the artifact for the paper ``Why GPUs are Slow at Executing NFAs and How to Make them Faster...
This is the artifact for the paper to appear at CGO'23 titled, "WARDen: Specializing Cache Coherence...
This is the artifact for the paper "Elimination (a,b)-trees with fast, durable updates" published in...
This artifact is concerned with Section 5 (Evaluation) of the paper "Accelerating Nested Data Parall...
This is a software package for the paper "ADTLang: A Programming Language Approach to Attack-Defens...
Artifact for HPCA'22 paper: AI-Enabling Workloads on Large-Scale GPU-Accelerated System: Characteriz...
This artifact includes all code and scripts to reproduce the result of our paper: Automatic Horizont...
Artifact submission of the regular paper: A GPU Tree Database for Many-Core Explicit State Space Exp...
Artifact for the ISSTA 2023 paper "GPUHarbor: Testing GPU Memory Consistency At Large (Experience Pa...
This document is the artifact description of the paper entitled “Apollo: Automatic Partition-based O...
The artifact of the CAV 2021 paper entitled "Checking Data-Race Freedom of GPU Kernels, Compositiona...
Artifact associated with POPL 2023 paper, "Taking Back Control in an Intermediate Representation for...
This is the archival artifact intended for artefact evaluation of the paper "An Experimental Evaluat...
Artifact for the paper 'Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory'...
This is the artifact of the paper "DSP: Efficient GNN Training with Multiple GPUs"
This is the artifact for the paper ``Why GPUs are Slow at Executing NFAs and How to Make them Faster...
This is the artifact for the paper to appear at CGO'23 titled, "WARDen: Specializing Cache Coherence...
This is the artifact for the paper "Elimination (a,b)-trees with fast, durable updates" published in...
This artifact is concerned with Section 5 (Evaluation) of the paper "Accelerating Nested Data Parall...
This is a software package for the paper "ADTLang: A Programming Language Approach to Attack-Defens...
Artifact for HPCA'22 paper: AI-Enabling Workloads on Large-Scale GPU-Accelerated System: Characteriz...
This artifact includes all code and scripts to reproduce the result of our paper: Automatic Horizont...
DOI
Add to ORKG