@inproceedings{PhoenixSOSP2025,
  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}
}