Rui Dong

I am a second 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 high honors in Computer Science and Mathematics from the University of Michigan.

Email  /  LinkedIn  /  pgp  /  CV

profile photo

My research interest is in program synthesis. I am interested in building programming systems that utilize program synthesis to solve important problems that require program generation in different domains, including automation, optimization and coding assistance. I am also eager to design fundamental program synthesis algorithms and adapt them to different problems.

SemanticOn: Specifying Content-Based Semantic Conditions for Web Automation Programs
Kevin Pu, Rainey Fu, Rui Dong, Xinyu Wang, Yan Chen, Tovi Grossman.
ACM Symposium on User Interface Software and Technology (UIST), 2022
[pdf] [preview] [demo]
WebRobot: Web Robotic Process Automation using Interactive Programming-by-Demonstration
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
[pdf] [slides] [talk]
  • 2023: VMCAI (AEC PC)
  • 2022: PLDI (Student Volunteer)
  • SIGPLAN PAC Professional Activities Grant, 2022
  • PLMW scholarship, 2022
  • Professor Michael P. Wellman Endowed Graduate Fellowship, 2021
  • PLMW scholarship, 2021
  • My girlfriend and I adopted Quanquan (a lovely black-and-white cat) when he was two months old. Check out him here!
- Updated Aug 2022 -