BARRACUDA

swMATH28761MaRDI QIDQ40475FDOQ40475

Author name not available (Why is that?)

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

Source code repository: https://github.com/stilltracy/Barracuda-tests

Cited In (11)

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

This page was built for software: BARRACUDA