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")
|
Personal
- My girlfriend and I adopted Quanquan (a lovely black-and-white cat) when he was two months old.
Check him out here!
|
|
