|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
Gave a talk at the UC Berkeley Programming Systems Seminar group.
Title: Improving Compiler Construction using Formal Methods.
Conference Talk at the CGO 2020.
Title: Testing Static Analyses for Precision and Soundness.
🏆 Best Student Presentation Award
Student Research Competition at the LLVM Developers' Meeting 2017.
Title: Exploting and Improving LLVM's Data Flow Analyses using a Superoptimizer.
Program Commitee Member at ICCQ 2021.
Artifact Evaluation Co-Chair at CGO 2021.
PC Member at LLVM Developers' Meeting 2020.
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.