Registered user since Tue 26 Jan 2016
I am a Ph.D. Student at the School of Computing in the University of Utah, USA. I am advised by Prof. John Regehr. My research broadly focuses on compiler optimizations, verification, data flow analysis, and superoptimization.
I am researching towards automatically discovering missing peephole optimizations, and implementing them automatically in a compiler, and making compilers have more effective and reliable data flow analyses by using formal semantics and solver-based techniques. My research is just a step towards achieving a bigger goal to encourage and assist compiler developers to use formal methods based techniques directly to build parts of the compiler.
I received the Best Paper Award and Best Student Presentation Award for my work on testing LLVM’s static analyses for precision and soundness at the CGO 2020.
|CGO 2021|| Artifact Evaluation Co-Chairs in Organizing Committee|
Artifact Evaluation Co-Chairs in Artifact Evaluation Committee within the Artifact Evaluation-track
|Show activities from other conferences|
View general profile