On the correctness of GPU programs

Open Webpage

Chao Peng

Published: 2019, Last Modified: 13 May 2025ISSTA 2019EveryoneRevisionsBibTeXCC BY-SA 4.0