Conference paperCombining tentative and definite executions for very fast i)ependable parallel computing
Conference paperEfficient program transformations for resilient parallel computation via randomization