"Automated Verification of Functional Correctness of Race-Free GPU Programs."

Kensuke Kojima, Akifumi Imanishi, Atsushi Igarashi (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics