About me
I’m a second-year Ph.D. student in Computer Science and Engineering at University of Michigan, where I am fortunately advised by Professor Xinyu Wang. I studied in University of Washington and was lucky to work with Professor Rastislav Bodik, and Dr. Chenglong Wang on program synthesis in data science.
Research: My interest lies in a cross-descipline of Programming Language, Deep Learning, and Human-centered Design. In particular, I am interested in program synthesis (also known as code generation), where we design algorithm and AI powered tool to help end-users solve challenging problems in various domains such as automation and data science. I believe the future development of these tools need to be powerful but also reliable and easy-to-use to various users.
Recently, I’m actively working in the domain of web automation, where end users could automate online task procedure through interactively demonstration.
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]
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
- 2023: PLDI (Student Volunteer)