University of Utah
Yuyou Fan, a second-year Ph.D. student from University of Utah, is advised by Prof. John Regehr. He is working on fuzzing LLVM IR and MLIR. Their project, Alive-mutate, finds more than 20 miscompiles and crashes in LLVM.
Alive-mutate: a fuzzer that cooperates with Alive2 to find LLVM bugs
Student Technical Talk QA