I am a third year PhD student at School of Computing in University of Utah. I am working on Superoptimizers for LLVM IR under the guidance of Prof. John Regehr. I am working towards teaching superoptimizer about data flow analysis so as to make LLVM’s Data Flow Sanitizer more precise and enable it to find more optimizations opportunities.