Practical delegation of computation using multiple servers
Pin: building customized program analysis tools with dynamic instrumentation