4 citations · 4 across the 1 of their papers we have counts for
2 papers
cs.PL2022★ 4 cited
Provable GPU Data-Races in Static Race Detection
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…
cs.DC2016
Formalization of Phase Ordering
Tiago Cogumbreiro, Jun Shirako, Vivek Sarkar
Phasers pose an interesting synchronization mechanism that generalizes many collective synchronization patterns seen in parallel programming languages, including barriers, clocks,…