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