Peeking into the Past: Efficient Checkpoint-Assisted Time-Traveling Debugging | IEEE Conference Publication | IEEE Xplore