Xiangyu Zhou

Ph.D. Candidate, Computer Science & Engineering, University of Michigan

Human–Computer Interaction · AI · Programming Systems

About

I’m a 4^th-year Ph.D. candidate in Computer Science and Engineering at the University of Michigan, advised by Steve Oney. Previously, I completed my B.S. in Computer Engineering at the University of Washington, where I worked with Chenglong Wang and Rastislav Bodik.

Research

I build systems at the intersection of Human–Computer Interaction, Artificial Intelligence, and Programming Languages to make computing feel more natural and effective.

Interactive Tools & Automation
Programming and automation tools that make data extraction, analysis, and web interaction faster and more accessible.

Human Behavior Modeling
Simulation models of how people move, decide, and adapt in interfaces—informing better UI and AI system design.

Publications

Efficient Bottom-Up Synthesis for Programs with Local Variables

POPL 2024

Xiang Li*; Xiangyu Zhou*; Rui Dong; Yihong Zhang; Xinyu Wang * equal contribution

PDF Artifact
Synthesizing Analytical SQL Queries from Computation Demonstration

PLDI 2022 Distinguished Paper

Xiangyu Zhou; Rastislav Bodik; Alvin Cheung; Chenglong Wang

PDF Artifact

Teaching

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

Service

2025 — OOPSLA AEC; PLDI AEC
2024 — POPL AEC
2023 — PLDI Student Volunteer

Fun

I make and post art on pixiv.