About me

I’m in my 4th-year as Ph.D. candidate in Computer Science and Engineering at University of Michigan, where I am fortunately advised by Dr. Steve Oney. I received my undergraduate degree in Computer Engineering at University of Washington, where I luckily worked with Dr. Chenglong Wang and Dr. Rastislav Bodik.
Research: My research lies at the intersection of Human–Computer Interaction, Programming Languages, and Artificial Intelligence. I focus on empowering end users through two complementary directions: (1) developing novel programming-by-demonstration techniques that make task completion more efficient and accessible across diverse domains; and (2) deepening our understanding of users from neurological and motor-control perspectives, and creating simulation models that inform the design of more usable and inclusive interfaces.

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

Fall 2023: EECS 481:Software Engineering (Graduate Student Instructor)
Winter 2024: EECS 481:Software Engineering (Graduate Student Instructor)

Services

(AEC stands for “Artifact Evaluation Committee”)

2025: OOPSLA,PLDI (AEC)
2024: POPL (AEC)
2023: PLDI (Student Volunteer)

Fun

I make and post arts on pixiv.