Full Name
Yuyou Fan
Pronoun/s
He/Him/His
Job Title
Research Assistant
Company/Affiliation
University of Utah
Speaker Bio
Yuyou Fan, a fifth-year Ph.D. student from University of Utah, is advised by Prof. John Regehr. His research includes fuzzing and formal verification on LLVM and MLIR, and driving further optimization and synthesis based on formal semantics. One of his projects, Alive-mutate is a mutation-based fuzzer cooperating with Alive2, a LLVM translation validation tool, and have found 49 bugs in LLVM. In addition, his most recent work, a unified framework to provide semantics in MLIR using SMT lib, has been merged to MLIR upstream, he would love to explore opportunities in verifying MLIR programs and extended applications.
Speaking At
Linkedin
