Avatar

Yuyao Wang

CS Ph.D. Student

University of Washington

About Me

I am Yuyao Wang (王宇峣), a $\left\lceil\frac{(now() - 2024/09/16).to\text{_}day()}{year.day}\right\rceil=1$st year Ph.D. student at the Computer Systems Lab 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

NSDI '25
To Appear
High-level Programming for Application Networks
The 22nd USENIX Symposium on Networked Systems Design and Implementation
ESEC/FSE '23
NeuRI: Diversifying DNN Generation via Inductive Rule Synthesis
Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
🏆 ACM SIGSOFT Distinguished Paper Award