Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jiyang Wu
conf.researchr.org general profile
PLDI 2026 profile
Not registered as user
Name:
Jiyang Wu
Contributions
2026
PLDI
Author of [TOPLAS] Denotation-based Compositional Compiler Verification within the PLDI Research Papers-track
Share
x
Fri 9 Oct 13:46