4 citations · 4 across the 1 of their papers we have counts for
1 paper
Dennis Liew, Tiago Cogumbreiro, Julien Lange
We extend the theory behind the Faial tool-chain, which can soundly prove that CUDA programs (aka, kernels) are data-race free using specialized behavioral types called memory acce…