QuickRec: prototyping an intel architecture extension for record and replay of multithreaded programs
PinADX: an interface for customizable debugging with dynamic instrumentation