publications

2025

1. TrainVerify

   TrainVerify: Equivalence-Based Verification for Distributed LLM Training

   Yunchi Lu, Youshan Miao, Cheng Tan, Peng Huang, Yi Zhu, and Fan Yang

   In Proceedings of ACM SIGOPS 31st Symposium on Operating Systems Principles, Seoul, Republic of Korea, Oct 2025

   A Revised version will appear in SOSP ’25   arXiv Code
2. Slow-Fault

   One-Size-Fits-None: Understanding and Enhancing Slow-Fault Tolerance in Modern Distributed Systems

   Ruiming Lu, Yunchi Lu, Yuxuan Jiang, Guangtao Xue, and Peng Huang

   In Proceedings of the 22nd USENIX Symposium on Networked Systems Design and Implementation, Philadelphia, PA, USA, Apr 2025

   USENIX NSDI ’25   Bib PDF Code Poster Slides

   @inproceedings{SlowFaultStudy2025NSDI,
     author = {Lu, Ruiming and Lu, Yunchi and Jiang, Yuxuan and Xue, Guangtao and Huang, Peng},
     title = {One-Size-Fits-None: Understanding and Enhancing Slow-Fault Tolerance in Modern Distributed Systems},
     booktitle = {Proceedings of the 22nd USENIX Symposium on Networked Systems Design and Implementation},
     series = {USENIX NSDI '25},
     month = apr,
     year = {2025},
     location = {Philadelphia, PA, USA},
     isbn = {978-1-939133-46-5},
     pages = {359--378},
     url = {https://www.usenix.org/conference/nsdi25/presentation/lu},
     publisher = {USENIX Association},
   }