GPU Concurrency: Weak Behaviours and Programming Assumptions - Alglave, J; Batty, M; Donaldson, A; Gopalakrishnan, G; Ketema, J; Poetzl, D; Sorensen, T; Wickerson, J (ASPLOS, 2015)