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

Show activities from other conferences

PLDI 2022-profile
View general profile