Shard: Securing GPU Kernels with Lightweight Formal Methods.

Jiacheng Zhao, Baojian Hua

Browse the full QRS paper archive.