Workload Characterization of Nondeterministic Programs Parallelized by STATS | IEEE Conference Publication | IEEE Xplore