Name:Jubi Taneja

Bio:

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.

Country:United States

Affiliation:University of Utah

Research interests:Compiler Optimization, Dataflow Analysis, Verification, Superoptimization