Software Open Access

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

Cogumbreiro, Tiago; Lange, Julien; Liew Zhen Rong, Dennis; Zicarelli, Hannah

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

Fixed a typo in README regarding the container filename (faial-cav21.tar.bz2 -> artifact-354.tar.bz2).
Files (1.7 GB)
Name Size
artifact-354.tar.bz2
md5:e3dabb1664220b5101a920e3964917ba
1.7 GB Download
main.pdf
md5:519d361061d31c6d98443ce42411564f
1.0 MB Download
README.html
md5:292dbe6fbf4f5049955e2d4e7ace8abf
33.1 kB Download
README.md
md5:6b90a9cf536669dbd25afe347f5ddcdc
23.6 kB Download
218
79
views
downloads
All versions This version
Views 21892
Downloads 7933
Data volume 54.5 GB19.8 GB
Unique views 17979
Unique downloads 3816

Share

Cite as