Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Yuyou Fan
conf.researchr.org general profile
CGO 2024 profile
CGO 2025 profile
PLDI 2025 profile
Registered user since Fri 1 Sep 2023
Name:
Yuyou Fan
Country:
United States
Affiliation:
University of Utah
Contributions
2025
PLDI
Author of First-Class Verification Dialects for MLIR within the PLDI Research Papers-track
CGO
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
2024
CGO
Author of High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM within the Main Conference-track
Share
x
Sun 2 Nov 23:53