|
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.
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)
- 2022: PLDI (Student Volunteer)
|
Awards
- SIGPLAN PAC Professional Activities Grant, 2022
- PLMW scholarship, 2022
- Professor Michael P. Wellman Endowed Graduate Fellowship, 2021
- PLMW scholarship, 2021
|
Personal
- My girlfriend and I adopted Quanquan (a lovely black-and-white cat) when he was two months old. Check out him here!
|
|
