Checking Data-Race Freedom of GPU Kernels, Compositionally. - Tiago Cogumbreiro; Julien Lange; Dennis Liew Zhen Rong; Hannah Zicarelli (CAV (1), 2021)

Memory access protocols: certified data-race freedom for GPU kernels. - Tiago Cogumbreiro; Julien Lange; Dennis Liew; Hannah Zicarelli (Formal Methods Syst. Des., 2024)