Selective capture and replay of program executions | Synapse