Speculative Program Parallelization with Scalable and Decentralized Runtime Verification.

Aravind Sukumaran-Rajam, Juan Manuel Martinez Caamao, Willy Wolff, Alexandra Jimborean, Philippe Clauss

Browse the full RV paper archive.