Speculative Program Parallelization with Scalable and Decentralized Runtime Verification | Publicación