Rui Dong -

Registered user since Fri 18 Jun 2021

Name:Rui Dong

Country:United States

Affiliation:University of Michigan

Personal website: https://ruidong.pl

Research interests:Program synthesis

Contributions

2024

POPL

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
Author of Efficient Bottom-Up Synthesis for Programs with Local Variables within the POPL-track

VMCAI

Committee Member in Artifact Evaluation Committee within the VMCAI 2024-track

2023

PLDI

Committee Member in Artifact Evaluation Committee within the Research Artifacts-track

VMCAI

Committee Member in Artifact Evaluation Committee within the VMCAI 2023-track

2022

PLDI

Author of WebRobot: Web Robotic Process Automation using Interactive Programming-by-Demonstration within the PLDI-track