Avatar

Yuyao Wang

CS Ph.D. Student

University of Washington

About Me

I am Yuyao Wang (王宇峣), a 2nd year Ph.D. student at the Systems Lab and FOCI Center of Paul G. Allen School of Computer Science & Engineering, advised by Prof. Ratul Mahajan and Arvind Krishnamurthy. My research interest broadly lies in topics related to the correctness, programmability and performance of computer systems.

Previously, I obtained my bachelor’s degree from Nanjing University. I was also fortunate to work with Prof. Lingming Zhang at UIUC.

Interests

  • Computer Systems
  • Formal Methods

Education

  • University of Washington

    Ph.D. in Computer Science, 2024~now

  • Nanjing University

    B.S. in Computer Science, 2020~2024

Selected Publications

See Publications for a full list.

HotNets '25
To Appear
User-defined Scheduling in Distributed Systems
Yuyao Wang , Xiangfeng Zhu , Ratul Mahajan , Stephanie Wang
Proceedings of the 24th ACM Workshop on Hot Topics in Networks
NSDI '25
High-level Programming for Application Networks
Xiangfeng Zhu , Yuyao Wang , Banruo Liu , Yongtong Wu , Nikola Bojanic , Jingrong Chen , Gilbert Bernstein , Arvind Krishnamurthy , Sam Kumar , Ratul Mahajan , Danyang Zhuo
Proceedings of the 22nd USENIX Symposium on Networked Systems Design and Implementation
Paper Website Slides GitHub Repo stars
ESEC/FSE '23
NeuRI: Diversifying DNN Generation via Inductive Rule Synthesis
Jiawei Liu , Jinjun Peng , Yuyao Wang , Lingming Zhang
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
🏆 ACM SIGSOFT Distinguished Paper Award
Paper Slides GitHub Repo stars