4 citations · 4 across the 1 of their papers we have counts for
1 paper · 1 filter
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…