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
News
  • I accepted the invitation to serve on Artifact Evaluation Committee of PLDI 2023. Consider submit your artifacts!
Research

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.

Publications
SemanticOn: Specifying Content-Based Semantic Conditions for Web Automation Programs
Kevin Pu, Rainey Fu, Rui Dong, Xinyu Wang, Yan Chen, Tovi Grossman.
Honorable Mention Award
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]
Services
  • 2023: VMCAI (AEC PC), PLDI (AEC PC)
  • 2022: PLDI (Student Volunteer)
Awards
  • SIGPLAN PAC Professional Activities Grant, 2022
  • PLMW scholarship, 2022
  • Professor Michael P. Wellman Endowed Graduate Fellowship, 2021
  • PLMW scholarship, 2021
Teaching
Personal
  • My girlfriend and I adopted Quanquan (a lovely black-and-white cat) when he was two months old. Check out him here!