HiRace: Accurate and Fast Source-Level Race Checking of GPU Programs.

John Jacobson Martin Burtscher Ganesh Gopalakrishnan

Published in: CoRR (2024)

Keyphrases

real time
lower level
website
higher level
multiple sources
parallel implementation
neural network
real world
social networks
image processing
case study
high quality
information technology
high precision
levels of abstraction
graphics hardware