Speculative Program Parallelization with Scalable and Decentralized Runtime Verification

@inproceedings{SukumaranRajam2014SpeculativePP,
  title={Speculative Program Parallelization with Scalable and Decentralized Runtime Verification},
  author={Aravind Sukumaran-Rajam and Juan Manuel Martinez Caama{\~n}o and Willy Wolff and Alexandra Jimborean and Philippe Clauss},
  booktitle={RV},
  year={2014}
}
Thread Level Speculation (TLS) is a dynamic code parallelization technique proposed to keep the software in pace with the advances in hardware, in particular, to automatically parallelize programs to take advantage of the multicore processors. Being speculative, frameworks of this type unavoidably rely on verification systems that are similar to software… CONTINUE READING