Yunchi Lu

prof_pic_cropped.jpg

Hi, I am Yunchi Lu (陆云驰, Bill).

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

My research interests lie broadly in developing principled techniques to improve the correctness, observability, and reliability of large-scale systems. Currently, my work focuses on addressing silent bugs in various components of machine learning systems.

I received my M.S. in ECE from the University of Michigan and my B.E. in ECE from the UM-SJTU Joint Institute at Shanghai Jiao Tong University.

News

Jul 2025 Paper TrainVerify accepted by SOSP 2025!
Dec 2024 Paper One-Size-Fits-None accepted by NSDI 2025!
May 2024 Starting my internship at Microsoft Research Asia!
Jan 2024 Serving as Graduate Student Instructor for EECS 481: Software Engineering!

Publications

  1. TrainVerify
    TrainVerify: Equivalence-Based Verification for Distributed LLM Training
    In Proceedings of ACM SIGOPS 31st Symposium on Operating Systems Principles, Seoul, Republic of Korea, Oct 2025
  2. Slow-Fault
    One-Size-Fits-None: Understanding and Enhancing Slow-Fault Tolerance in Modern Distributed Systems
    In Proceedings of the 22nd USENIX Symposium on Networked Systems Design and Implementation, Philadelphia, PA, USA, Apr 2025