There is a newer version of the record available.

Published April 22, 2021 | Version 1.0
Presentation 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".

Files

Files (1.7 GB)

Name Size Download all
md5:799c7efaeb7612b586e2c4d9ebc6edc9
1.7 GB Download