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.
|PLDI 2016|| Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track|
Committee Member in Artifact Evaluation Committee
|Show activities from other conferences|
View general profile