Registered user since Wed 11 Oct 2023
Name:Yishuai Li
Country:China
Affiliation:Alibaba Group
Personal website: https://scholar.google.com/citations?user=-GAtTucAAAAJ
X (Twitter): https://x.com/YishuaiLi
GitHub: https://github.com/liyishuai
Research interests:Programming Languages, Formal Methods, Distributed Storage
Contributions
POPL 2024-profile
View general profile
View general profile