![Rui Dong](https://pldi22.sigplan.org/getProfileImage/ruidong/abbeba0b-6170-483e-8fae-8f07701b372f/small.jpg?1712606415000)
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
PLDI 2022-profile
View general profile
View general profile