CCL v3.0: multiprogrammed semi-asynchronous checkpoints | IEEE Conference Publication | IEEE Xplore