PaRV: Parallelizing Runtime Detection and Prevention of Concurrency Errors | Publicación