@inproceedings{sukumaranrajam:hal-01070610, TITLE = {{Speculative Program Parallelization with Scalable and Decentralized Runtime Verification}}, AUTHOR = {Sukumaran-Rajam, Aravind and Martinez, Juan Manuel and Wolff, Willy and Jimborean, Alexandra and Clauss, Philippe}, URL = {https://inria.hal.science/hal-01070610}, BOOKTITLE = {{Runtime Verification}}, ADDRESS = {Toronto, Canada}, EDITOR = {Borzoo Bonakdarpour and Scott A. Smolka}, PUBLISHER = {{Springer}}, VOLUME = {8734}, PAGES = {124-139}, YEAR = {2014}, MONTH = Sep, DOI = {10.1007/978-3-319-11164-3\_11}, HAL_ID = {hal-01070610}, HAL_VERSION = {v1}, }