Registered user since Tue 20 Apr 2021
Name:Xing Zhang
Country:China
Affiliation:Peking University
GitHub: https://github.com/xingzhang-pku
Research interests:Bidirectional Live Programming
Contributions
POPL 2024-profile
View general profile
View general profile