3 citations · 3 across the 1 of their papers we have counts for
1 paper
Chris Hathhorn, Michela Becchi, William L. Harrison +1
We extend an off-the-shelf, executable formal semantics of C (Ellison and Rosu's K Framework semantics) with the core features of CUDA-C. The hybrid CPU/GPU computation model of CU…