Registered user since Thu 9 Apr 2026
Name:Zheyuan Chen
Country:United States
Affiliation:UC Santa Cruz
Personal website: https://arbersephirotheca.github.io/
Research interests:Compiler, Formal Method, Programming Language, GPGPU
Contributions
PLDI 2026-profile
View general profile
View general profile