Selective checkpointing and rollbacks in multithreaded distributed systems | IEEE Conference Publication | IEEE Xplore