KUDA: GPU Accelerated Split Race Checker