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-black: [email protected]

:github-logo: GitHub

:linkedin-black: LinkedIn

Education

:umich: PhD. student in CSE @ UMICH 2024-present

:umich: M.S. in ECE @ UMICH 2022-2024

:sjtu-logo-standard-red: B.S. in ECE @ SJTU 2017-2021

Teaching

:umich: 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 [BibTeX] [Software]