The principles of the Instant Replay debugger are described in a paper. The software itself is available here.
[ Bristol CS | Index ] 
In a project sponsored by ICOT, we have produced an Instant Replay debugging tool for KLIC.