A user-level checkpointing library for POSIX threads programs | IEEE Conference Publication | IEEE Xplore