RENEW: a tool for fast and efficient implementation of checkpoint protocols | IEEE Conference Publication | IEEE Xplore