News
- I accepted the invitation to serve on Artifact Evaluation Committee of PLDI 2023. Consider submit your artifacts!
|
|
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.
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
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2022
[ pdf] [ slides] [ talk]
|
Services
- 2023: VMCAI (AEC PC), PLDI (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!
|
|
