A Reversible Debugger for Imperative Parallel Programs with Contracts.

Takashi Ikeda, Shoji Yuen

Browse the full RC paper archive.