SNAP: efficient snapshots for back-in-time execution | IEEE Conference Publication | IEEE Xplore