Practical delegation of computation using multiple servers
PEBIL: Efficient static binary instrumentation for Linux