![Yishuai Li](https://popl19.sigplan.org/getProfileImage/yishuaili/820efdc1-e629-4704-be1c-ac935282c921/small.jpg?1712039590000)
Registered user since Wed 11 Oct 2023
Name:Yishuai Li
Country:United States
Affiliation:University of Pennsylvania
Personal website: https://cis.upenn.edu/~yishuai/
GitHub: https://github.com/liyishuai
Research interests:Programming Languages, Software Testing, Formal Verification
Contributions
POPL 2019-profile
View general profile
View general profile