1 paper · 1 filter
Vinod Grover, Manjunath Kudlur
We introduce a notion of convergence for the nodes and edges of a control-flow graph that captures whether a barrier placed at that location is guaranteed to synchronize all thread…