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
POPL 2026 profile
Registered user since Fri 1 Sep 2023
Name:
Yuyou Fan
Country:
United States
Affiliation:
University of Utah
Contributions
2026
POPL
Author of Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers within the POPL-track
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
Wed 11 Mar 02:22