The artifact of the CAV 2021 paper entitled "Checking Data-Race Freedom of GPU Kernels, Compositionally"
This is an artifact for the CGO'23 paper titled "Parsimony: Enabling SIMD/Vector Programming in Stan...
This artifact accompanies our paper "VerifiedFT: A Verified, High-Performance Precise Dynamic Race D...
This is the artifact of our paper "Efficient Tensor Core-Based GPU Kernels for Structured Sparsity u...
The artifact of the CAV 2021 paper entitled "Checking Data-Race Freedom of GPU Kernels, Compositiona...
This is the Artifact for the CAV 2023 paper: Model Checking Race-Freedom when "Sequential Consistenc...
Artifact for the ISSTA 2023 paper "GPUHarbor: Testing GPU Memory Consistency At Large (Experience Pa...
Artifact submission of the regular paper: A GPU Tree Database for Many-Core Explicit State Space Exp...
This artifact includes all code and scripts to reproduce the result of our paper: Automatic Horizont...
This artifact is for the paper "Demystifying the Dependency Challenge in Kernel Fuzzing" in ICSE 202...
This artifact is concerned with Section 5 (Evaluation) of the paper "Accelerating Nested Data Parall...
The artifact for the paper Modular Data-Race-Freedom Guarantees in the Promising Semantics (PLDI 202...
This document is the artifact description of the paper entitled “Apollo: Automatic Partition-based O...
This artifact is based on BWLOCK++, a software framework to protect the performance of GPU kernels f...
Artifact associated with POPL 2023 paper, "Taking Back Control in an Intermediate Representation for...
We present a technique for verifying race- and divergence-freedom of GPU kernels that are written in...
This is an artifact for the CGO'23 paper titled "Parsimony: Enabling SIMD/Vector Programming in Stan...
This artifact accompanies our paper "VerifiedFT: A Verified, High-Performance Precise Dynamic Race D...
This is the artifact of our paper "Efficient Tensor Core-Based GPU Kernels for Structured Sparsity u...
The artifact of the CAV 2021 paper entitled "Checking Data-Race Freedom of GPU Kernels, Compositiona...
This is the Artifact for the CAV 2023 paper: Model Checking Race-Freedom when "Sequential Consistenc...
Artifact for the ISSTA 2023 paper "GPUHarbor: Testing GPU Memory Consistency At Large (Experience Pa...
Artifact submission of the regular paper: A GPU Tree Database for Many-Core Explicit State Space Exp...
This artifact includes all code and scripts to reproduce the result of our paper: Automatic Horizont...
This artifact is for the paper "Demystifying the Dependency Challenge in Kernel Fuzzing" in ICSE 202...
This artifact is concerned with Section 5 (Evaluation) of the paper "Accelerating Nested Data Parall...
The artifact for the paper Modular Data-Race-Freedom Guarantees in the Promising Semantics (PLDI 202...
This document is the artifact description of the paper entitled “Apollo: Automatic Partition-based O...
This artifact is based on BWLOCK++, a software framework to protect the performance of GPU kernels f...
Artifact associated with POPL 2023 paper, "Taking Back Control in an Intermediate Representation for...
We present a technique for verifying race- and divergence-freedom of GPU kernels that are written in...
This is an artifact for the CGO'23 paper titled "Parsimony: Enabling SIMD/Vector Programming in Stan...
This artifact accompanies our paper "VerifiedFT: A Verified, High-Performance Precise Dynamic Race D...
This is the artifact of our paper "Efficient Tensor Core-Based GPU Kernels for Structured Sparsity u...
DOI
Add to ORKG