Luis Ceze
Dan Grossman
Benjamin P. Wood
Proceedings of the 19th international conference on Architectural support for programming languages and operating systems - ASPLOS ’14
Globally precise-restartable execution of parallel programs