Jubi Taneja

Ph.D. Student
School of Computing
University of Utah
Email: jubi AT cs.utah.edu
Twitter GitHub

About Me

I am a Ph.D. Student at the School of Computing in the University of Utah. I am advised by John Regehr. My research broadly focuses on the 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.

Before starting my Ph.D., I was working in Samsung Research, Noida, India. I started my learning of compilers at the GCC Resource Center in IIT Bombay, India. I was advised by Uday Khedker. I completed my B.E. from Punjabi University, India.


Publications


Talks


Services