|School of Computing|
|University of Utah|
|Email: jubi AT cs.utah.edu|
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.
Testing Static Analyses for Precision and Soundness.
Jubi Taneja, Zhengyang Liu, John Regehr
Code Generation and Optimization (CGO) 2020.
🏆 Best Paper Award
A Synthesizing Superoptimizer.
Raimondas Sasnauskas, Yang Chen, Peter Collingbourne, Jeroen Ketema, Gratian Lup, Jubi Taneja, John Regehr
arXiv preprint 2018.
Superoptimizer driven Peephole Optimizer for a JIT Compiler.
Jubi Taneja, John Regehr
Conference Talk at the CGO 2020.
Title: Testing Static Analyses for Precision and Soundness.
🏆 Best Student Presentation Award
Panel Member for Women in Compiler & Tools (WiCT) workshop at CGO 2020.
Artifact Evaluation Reviewer at PLDI 2016.
Student Volunteer at PLDI 2016.
Student Volunteer at PLDI 2015.
Graduate Student Advisory Committee (GradSAC) Member, School of Computing, University of Utah, 2014-2016.