About me

  • I’m in my 3rd-year as Ph.D. candidate in Computer Science and Engineering at University of Michigan, where I am fortunately advised by Professor Xinyu Wang. I received my undergraduate degree in Computer Engineering at University of Washington.

  • Research: My interest lies in a cross-descipline of Programming Language, Artificial Intelligence, and Human-centered Design. In particular, I am doing research in Artificial Intelligence and symbolic algorithm powered coding agent that can help end-user in various domains such as process automation and data science.


Publications

(* stands for equal contributions)

Efficient Bottom-Up Synthesis for Programs with Local Variables
ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2024
Xiang Li*, Xiangyu Zhou*, Rui Dong, Yihong Zhang, Xinyu Wang
[pdf][artifact]


Synthesizing Analytical SQL Queries from Computation Demonstration
Distinguished Paper Award
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2022
Xiangyu Zhou, Rastislav Bodik, Alvin Cheung, Chenglong Wang
[pdf][artifact]


Teaching

Services

  • 2023: PLDI (Student Volunteer)