Rui Dong

About

I am a Ph.D. candidate in the Computer Science and Engineering department at the University of Michigan, and I am advised by Prof. Xinyu Wang. 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.

Education

University of Michigan
United States of America

→

Ph.D. student

University of Michigan–Ann Arbor
United States of America

→

Master of Science

University of Michigan
United States of America

→

Bachelor of Science

Publications

Efficient Bottom-Up Synthesis for Programs with Local Variables

Published by

Proceedings of the ACM on Programming Languages

Summary

journal-article

DiLogics: Creating Web Automation Programs with Diverse Logics

Summary

conference-paper

MIWA: Mixed-Initiative Web Automation for Better User Control and Confidence

Summary

conference-paper

SlabCity: Whole-Query Optimization Using Program Synthesis

Published by

Proceedings of the VLDB Endowment

Summary

journal-article

SemanticOn: Specifying Content-Based Semantic Conditions for Web Automation Programs

Published by

Proceedings of the 35th Annual ACM Symposium on User Interface Software and Technology

Summary

conference-paper

WebRobot: web robotic process automation using interactive programming-by-demonstration

Published by

Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation

Summary

conference-paper

Rui Dong