Registered user since Wed 10 Nov 2021
Name:Yue Niu
Country:United States
Affiliation:Carnegie Mellon University
Personal website: https://yuesforest.com
GitHub: https://github.com/kaonn
Research interests:verification, cost analysis, semantics
Contributions
POPL 2024-profile
View general profile
View general profile