URDB: a universal reversible debugger based on decomposing debugging histories.

Ana Maria Visan, Kapil Arya, Gene Cooperman, Tyler Denniston

Browse the full SOSP paper archive.