Satish Narayanasamy Cristiano Pereira Brad Calder Software Profiling for Deterministic Replay Debugging of User Code. 211-230 2006 SoMeT conf/somet/2006 db/conf/somet/somet2006.html#NarayanasamyPC06