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$ year Ph.D. student at the Computer Systems Lab of Paul G. Allen School of Computer Science & Engineering, University of Washington, 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
  • Programming Languages

Education

  • University of Washington

    Ph.D. in Computer Science, 2024~now

  • Nanjing University

    B.S. in Computer Science, 2020~2024

Recent Publications

NeurIPS '23
Is Your Code Generated by ChatGPT Really Correct? Rigorous Evaluation of Large Language Models for Code Generation
Proceedings of the 37th Conference on Neural Information Processing Systems. 2023
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. 2023
🏆 ACM SIGSOFT Distinguished Paper Award