Reverse Engineering of Dynamic Parallel Program Behavior from Execution Traces
Pin: building customized program analysis tools with dynamic instrumentation