Towards Unified Analysis of GPU Consistency. - Haining Tong; Natalia Gavrilenko; Hernán Ponce de León; Keijo Heljanko (ASPLOS (4), 2024)