Rui Dong

I am a Ph.D. candidate in Computer Science and Engineering department 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  /  Google scholar

profile photo
News
  • I'm seeking a research internship position for summer 2025, in the fields of Programming Languages, High Performance Computing or Software Engineering. Please email me if you think I'm a potential fit!
Research

My research focuses on advancing automation in real-world applications through program synthesis. My primary research directions are: 1) Developing core algorithms and necessary architectural support that ensure scalable, robust program synthesis methods, and 2) Applying these techniques to create practical, user-friendly solutions for real-world scenarios. Recently, I have been exploring how to leverage modern computational power to enable large-scale program synthesis.

Publications
(* stands for equal contributions)
Efficient Bottom-Up Synthesis for Programs with Local Variables
Xiang Li*, Xiangyu Zhou*, Rui Dong, Yihong Zhang, Xinyu Wang.
ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2024
[pdf] [artifact]
SlabCity: Whole-Query Optimization using Program Synthesis
Rui Dong*, Jie Liu*, Yuxuan Zhu, Cong Yan, Barzan Mozafari, Xinyu Wang.
International Conference on Very Large Data Bases (VLDB), 2023
[pdf][benchmarks][slides][talk][poster]
MIWA: Mixed-Initiative Web Automation for Better User Control and Confidence
Weihao Chen, Xiaoyu Liu, Jiacheng Zhang, Ian Iong Lam, Zhicheng Huang, Rui Dong, Xinyu Wang, Tianyi Zhang.
ACM Symposium on User Interface Software and Technology (UIST), 2023
[pdf][artifact]
DiLogics: Creating Web Automation Programs with Diverse Logics
Kevin Pu, Jim Yang, Angel Yuan, Minyi Ma, Rui Dong, Xinyu Wang, Yan Chen, Tovi Grossman.
ACM Symposium on User Interface Software and Technology (UIST), 2023
[pdf] [demo]
SemanticOn: Specifying Content-Based Semantic Conditions for Web Automation Programs
Kevin Pu, Rainey Fu, Rui Dong, Xinyu Wang, Yan Chen, Tovi Grossman.
Best Paper 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.
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2022
[pdf] [slides] [talk]
Services
(PC stands for "Program Committee", AEC stands for "Artifact Evaluation Committee")
Teaching
Personal
  • My girlfriend and I adopted Quanquan (a lovely black-and-white cat) when he was two months old. Check him out here!
- Updated November 2024, template from Jon Barron -