Leveraging speculative architectures for run-time program validation | IEEE Conference Publication | IEEE Xplore