I am a first-year Computer Science Ph.D. student in Order Lab at University of Michigan, advised by Prof. Ryan Huang.

Research

I work on enhancing the observability, reliability, and correctness of systems, including distributed and machine learning systems. My current research focuses on system verification for distributed LLM training.

Collaboration

• Prior to my PhD studies, I interned at Microsoft Research Asia, working on LLM verification with Dr. Youshan Miao and Dr. Fan Yang, as well as with Prof. Cheng Tan at Northeastern University.
• In the gap year, I worked as a full-time software engineer at a startup founded by Jianshuo Wang.
• During my undergraduate research, I worked in the CyPhy Lab under the guidance of Prof. Dongyao Chen on vehicular sensing.

Contact

‣ [email protected]

‣ GitHub

‣ LinkedIn

Education

‣ PhD. student in CSE @ UMICH 2024-present

‣ M.S. in ECE @ UMICH 2022-2024

‣ B.S. in ECE @ SJTU 2017-2021

Teaching

‣ EECS481 Software Eng. 2024 WN GSI

Publications

• One-Size-Fits-None: Understanding and Enhancing Slow Fault Tolerance in Modern Distributed Systems Ruiming Lu, Yunchi Lu, Yuxuan Jiang, Guangtao Xue, Peng Huang NSDI 2025