SPLASH 2025
Sun 12 - Sat 18 October 2025 Singapore
co-located with ICFP/SPLASH 2025
Cyrus Liu

Registered user since Mon 23 Nov 2020

Name:Cyrus Liu
Country:United States
Affiliation:Samsung Semiconductor
Personal website: https://cyrusliu.me
Research interests:Compiler Correctness, Programming Languages, Type Systems, Automated Reasoning, Verification.

Contributions

Show activities from other conferences

Using general profile