Wenbo Qian

Wenbo Qian

Northeastern University

About Me

I am a research assistant working with Prof. Chang Lou of LiftLab at University of Virginia. Fortunately, I am also advised by Dr. Zhen Zhang, Johns Hopkins University, Dr. Yuan Zhou, Cornell University, and Dr. Shaowei Zhu, Princeton University.

My research interests are primarily on improving the reliability and efficiency of distributed systems. One focus is to detect and localize silent errors in real-world cloud and ML systems.

For the past year, I’ve working in providing reliability support for machine learning developers, inspired by observations made from our collaborating team in AWS.

From 2021 to 2023, I worked at Alibaba Group as a full-time software engineer in Guangzhou, China, undertaking objectives of enhancing quality and efficiency while empowering internal teams.

CV

News

  • 2025.02:  🎉🎉 Our workshop paper on Verifying Large ML Models has been accepted by EuroMLSys ‘25 (co-located with EuroSys 2025). A big thank you to Chang, Kahfi, and the AWS fellows for their invaluable support!
  • 2024.05:  🎉 Proposal of enhancing the cloud automation for Google Summer of code(GSoC) 2024 is accepted.
  • 2023.12:   Start the position as a research assistant in LiftLab at University of Virginia from December 2023.

Publications

Verifying Semantic Equivalence of Large Models with Equality Saturation

Kahfi S. Zulkifli *, Wenbo Qian * (co-first author), Shaowei Zhu, Yuan Zhou, Zhen Zhang, Chang Lou

EuroMLSys Workshop (co-located with EuroSys 2025)

Educations

  • 2023.09 - 2025.05 (expected), Master of Computer Science, Northeastern University, the United States
  • 2017.09 - 2021.06, Bachelor of Computer Science, Sichuan University, Chengdu, China
  • 2019.01 - 2019.02, Academic Exchange Program Student, University of California, Berkeley, California, the United States

Work Experience