GRace

MaRDI QIDQ40559swMATHFDO

Official website https://dl.acm.org/citation.cfm?id=2038037.1941574

Cited in

(16)

• Formal verification of parallel prefix sum and stream compaction algorithms in CUDA
• Checking data-race freedom of GPU kernels, compositionally
• CMQV+
• GPUVerify
• GASPRNG
• PRAND
• CUDPP
• GKLEE
• KLEE-FP
• Gunrock
• BARRACUDA
• CURD
• GMRace
• Simulee
• Oclgrind
• GPUs and chaos: a new true random number generator

This page was built for software: GRace