Fixing terminology to reduce overlap between checkpoints and rollbacks
Adding authors to crux