CURD

MaRDI QIDQ40477swMATHFDO

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

Cited in

(11)

• Checking data-race freedom of GPU kernels, compositionally
• GPUVerify
• CUDPP
• GKLEE
• KLEE-FP
• Gunrock
• ThunderSVM
• BARRACUDA
• GMRace
• GRace
• Simulee

This page was built for software: CURD