Record and transplay: partial checkpointing for replay debugging across heterogeneous systems