Registered user since Fri 7 Dec 2018
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
| CPP 2019 | From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2019-profile
View general profile
View general profile