A flexible state-saving library for message-passing systems | IEEE Conference Publication | IEEE Xplore