Checking Data-Race Freedom of GPU Kernels, Compositionally.

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

Browse the full CAV paper archive.