A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf
.
Checking Data-Race Freedom of GPU Kernels, Compositionally
[chapter]
2021
Lecture Notes in Computer Science
AbstractGPUs offer parallelism as a commodity, but they are difficult to program correctly. Static analyzers that guarantee data-race freedom (DRF) are essential to help programmers establish the correctness of their programs (kernels). However, existing approaches produce too many false alarms and struggle to handle larger programs. To address these limitations we formalize a novel compositional analysis for DRF, based on access memory protocols. These protocols are behavioral types that
doi:10.1007/978-3-030-81685-8_19
fatcat:ny7z6swaivbpdlrbvlfeqgf4eq