Practical Symbolic Race Checking of GPU Programs | IEEE Conference Publication | IEEE Xplore