There is a newer version of the record available.

Published April 28, 2021 | Version 2.0
Software Open

Checking Data-Race Freedom of GPU Kernels, Compositionally (Artifact)

Authors/Creators

  • 1. University of Massachusetts Boston
  • 2. Royal Holloway, University of London

Description

The artifact of the CAV 2021 paper entitled "Checking Data-Race Freedom of GPU Kernels, Compositionally".

Files

main.pdf

Files (1.7 GB)

Name Size Download all
md5:e3dabb1664220b5101a920e3964917ba
1.7 GB Download
md5:519d361061d31c6d98443ce42411564f
1.0 MB Preview Download
md5:50b0f6703e60a06c295d9589f34a8b14
33.1 kB Download
md5:da124fb76044b875bb6262724e9313b0
23.6 kB Preview Download