Registered user since Tue 26 Jan 2016
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.
View general profile