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

News

Honored to receive Rackham International Students Fellowship.

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), [email protected] 2023 (PC)
2022: PLDI (Student Volunteer)

Awards

Rackham International Students Fellowship, 2022
SIGPLAN PAC Professional Activities Grant, 2022
PLMW scholarship, 2022
Professor Michael P. Wellman Endowed Graduate Fellowship, 2021
PLMW scholarship, 2021

Teaching

Winter 2023: EECS 481: Software Engineering (Graduate Student Instructor)
Fall 2022: EECS 481: Software Engineering (Graduate Student Instructor)

Personal

My girlfriend and I adopted Quanquan (a lovely black-and-white cat) when he was two months old. Check out him here!