|
I am a first year Ph.D. student in Computer Science and Engineering at the University of Michigan and I am advised by Prof. Xinyu Wang. Previously, I received my bachelor's degree with honours in Computer Science and Mathematics from the University of Michigan. |
|
|
My research interest is in program synthesis. I am interested in building programming systems that utilize program synthesis to solve important problems in different areas. I am also eager to design fundamental program synthesis algorithms and adapt them to different domains. |
|
|
|
Rui Dong, Zhicheng Huang, Ian Iong Lam, Yan Chen, Xinyu Wang Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2022 Arxiv |