ICFP/SPLASH 2025 (series) / Cyrus Liu
Registered user since Mon 23 Nov 2020
Name:Cyrus Liu
Country:United States
Affiliation:Samsung Semiconductor
Personal website: https://cyrusliu.me
X (Twitter): https://x.com/cyruliu
GitHub: https://github.com/cyruliu
Research interests:Compiler Correctness, Programming Languages, Type Systems, Automated Reasoning, Verification.
Contributions
Using general profile