Checkpoint for asplos submission