Kendo
ACM SIGARCH Computer Architecture News
Saman Amarasinghe
Jason Ansel
Globally precise-restartable execution of parallel programs