http://research.microsoft.com/en-us/um/people/marron/selectp... has some interesting technical information about time-travel debugging.