Conditional checkpoint abort:an alternative semantic for re-synchronization in ccl | IEEE Conference Publication | IEEE Xplore