@INPROCEEDINGS{Phoenix-SOSP25,
author = {Jing, Yuzhuo and Mai, Yuqi and Cai, Angting and Chen, Yi and He, Wanning and Qian, Xiaoyang and Chen, Peter M. and Huang, Peng},
title = {Optimistic Recovery for High-Availability Software via Partial Process State Preservation},
year = {2025},
isbn = {9798400718700},
publisher = {Association for Computing Machinery},
address = {New York, NY, USA},
url = {https://doi.org/10.1145/3731569.3764858},
doi = {10.1145/3731569.3764858},
booktitle = {Proceedings of the ACM SIGOPS 31st Symposium on Operating Systems Principles},
pages = {305–321},
numpages = {17},
keywords = {availability, software recovery, operating systems, static analysis},
location = {Lotte Hotel World, Seoul, Republic of Korea},
series = {SOSP '25}
}