Programming fault-tolerant distributed applications in HOPS | IEEE Conference Publication | IEEE Xplore