Yuyao Wang

Undergraduate (Senior)

Nanjing University

About Me

I am Yuyao Wang (王宇峣), a senior student in Computer Science (Elite Class) at Nanjing University. My research interest lies in topics related to the correctness, programmability and performance of computer systems.

I have been attached to programming and algorithm design since middle school and aspire to bring elegant solutions for tackling real-world problems.


  • Computer Systems
  • Programming Languages
  • Algorithms


  • Nanjing University

    B.S. in Computer Science, 2020~2024(expected)

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
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