Registered user since Wed 30 Aug 2023
Name:Gan Shen
Affiliation:University of California, Santa Cruz, USA
Personal website: https://gshen42.github.io
Contributions
2024
Choreographic Programming
PLDI 2024-profile
View general profile
View general profile