Tan, Feng, Gupta, 2013. Lightweight fault detection in parallelized programs, in: . IEEE.. https://doi.org/10.1109/cgo.2013.6494979