Publication date
December 2018
DOIAbstract
This is a software artifact for our paper "Decoding CUDA Binary", published in CGO'19 (International Symposium on Code Generation and Optimization)
This is a software artifact for our paper "Decoding CUDA Binary", published in CGO'19 (International Symposium on Code Generation and Optimization)
A set of artifacts for reproducing the results of PPOPP paper #334, High-Performance Filters for GPU...
This is the artifact of the paper "The Essence of Verilog: A Tractable and Tested Operational Semant...
This is the artifact for the CGO24 paper on "Compile-time Analysis of Compiler Frameworks for Query ...
This document is intended as an appendix for our paper "Decoding CUDA Binary", published in CGO'19 (...
This document is intended as an appendix for our paper "Decoding CUDA Binary", published in CGO'19 (...
This document is intended as an appendix for our paper "Decoding CUDA Binary", published in CGO'19 (...
This document is intended as an appendix for our paper "Decoding CUDA Binary", published in CGO'19 (...
This is the artifact for the paper to appear at CGO'23 titled, "WARDen: Specializing Cache Coherence...
This is an artifact for the CGO'23 paper titled "Parsimony: Enabling SIMD/Vector Programming in Stan...
This is the artifact for paper “Automated Testing of Software that Uses Machine Learning APIs” in IC...
Artifact for the ISSTA 2023 paper "GPUHarbor: Testing GPU Memory Consistency At Large (Experience Pa...
This artifact contains all scripts, data, and instructions required to repeat and reproduce the stud...
Artifact for the paper titled "Lasagne: A Static Binary Translator for Weak Memory Model Architectur...
A set of artifacts for reproducing the results of PPOPP paper #334, High-Performance Filters for GPU...
This is the software artifact for the paper "A Type System for Extracting Functional Specifications ...
A set of artifacts for reproducing the results of PPOPP paper #334, High-Performance Filters for GPU...
This is the artifact of the paper "The Essence of Verilog: A Tractable and Tested Operational Semant...
This is the artifact for the CGO24 paper on "Compile-time Analysis of Compiler Frameworks for Query ...
This document is intended as an appendix for our paper "Decoding CUDA Binary", published in CGO'19 (...
This document is intended as an appendix for our paper "Decoding CUDA Binary", published in CGO'19 (...
This document is intended as an appendix for our paper "Decoding CUDA Binary", published in CGO'19 (...
This document is intended as an appendix for our paper "Decoding CUDA Binary", published in CGO'19 (...
This is the artifact for the paper to appear at CGO'23 titled, "WARDen: Specializing Cache Coherence...
This is an artifact for the CGO'23 paper titled "Parsimony: Enabling SIMD/Vector Programming in Stan...
This is the artifact for paper “Automated Testing of Software that Uses Machine Learning APIs” in IC...
Artifact for the ISSTA 2023 paper "GPUHarbor: Testing GPU Memory Consistency At Large (Experience Pa...
This artifact contains all scripts, data, and instructions required to repeat and reproduce the stud...
Artifact for the paper titled "Lasagne: A Static Binary Translator for Weak Memory Model Architectur...
A set of artifacts for reproducing the results of PPOPP paper #334, High-Performance Filters for GPU...
This is the software artifact for the paper "A Type System for Extracting Functional Specifications ...
A set of artifacts for reproducing the results of PPOPP paper #334, High-Performance Filters for GPU...
This is the artifact of the paper "The Essence of Verilog: A Tractable and Tested Operational Semant...
This is the artifact for the CGO24 paper on "Compile-time Analysis of Compiler Frameworks for Query ...
Add to ORKG