POPL 2025
Sun 19 - Sat 25 January 2025 Denver, Colorado, United States
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