conf.researchr.org / Xuyang Li
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