Optimistic Recovery for High-Availability Software via Partial Process State Preservation. - Yuzhuo Jing; Yuqi Mai; Angting Cai; Yi Chen; Wanning He; Xiaoyang Qian; Peter M. Chen; Peng Huang 005 (SOSP, 2025)