Published April 29, 2021 | Version 2.1
Software Open

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

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".

Notes

Fixed a typo in README regarding the container filename (faial-cav21.tar.bz2 -> artifact-354.tar.bz2).

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:292dbe6fbf4f5049955e2d4e7ace8abf
33.1 kB Download
md5:6b90a9cf536669dbd25afe347f5ddcdc
23.6 kB Preview Download