Registered user since Thu 20 Mar 2025
Name:Xuyang Li
Affiliation:Purdue University
Personal website: https://hughshine.github.io
GitHub: https://github.com/Hughshine
Research interests:Formal method, verification, compiler
Contributions
Using general profile