WebRobot: web robotic process automation using interactive programming-by-demonstration. - Rui Dong 006; Zhicheng Huang; Ian Iong Lam; Yan Chen 033; Xinyu Wang 006 (PLDI, 2022)

SemanticOn: Specifying Content-Based Semantic Conditions for Web Automation Programs. - Kevin Pu; Rainey Fu; Rui Dong 006; Xinyu Wang 006; Yan Chen 033; Tovi Grossman (UIST, 2022)

MIWA: Mixed-Initiative Web Automation for Better User Control and Confidence. - Weihao Chen; Xiaoyu Liu; Jiacheng Zhang; Ian Iong Lam; Zhicheng Huang; Rui Dong 006; Xinyu Wang 006; Tianyi Zhang 001 (UIST, 2023)

DiLogics: Creating Web Automation Programs with Diverse Logics. - Kevin Pu; Jim Yang; Angel Yuan; Minyi Ma; Rui Dong 006; Xinyu Wang 006; Yan Chen 033; Tovi Grossman (UIST, 2023)

SlabCity: Whole-Query Optimization using Program Synthesis. - Rui Dong 006; Jie Liu 048; Yuxuan Zhu; Cong Yan; Barzan Mozafari; Xinyu Wang 006 (Proc. VLDB Endow., 2023)

Efficient Bottom-Up Synthesis for Programs with Local Variables. - Xiang Li; Xiangyu Zhou; Rui Dong 006; Yihong Zhang 004; Xinyu Wang 006 (Proc. ACM Program. Lang., 2024)