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

Provable GPU Data-Races in Static Race Detection. - Dennis Liew; Tiago Cogumbreiro; Julien Lange (PLACES@ETAPS, 2022)

Sound and Partially-Complete Static Analysis of Data-Races in GPU Programs. - Dennis Liew; Tiago Cogumbreiro; Julien Lange (Proc. ACM Program. Lang., 2024)

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