Jubi Taneja
Research Engineer at SIGPLAN
San Francisco, California, United States
Summary
👤
Senior🎓
Top SchoolJubi Taneja is a research engineer with 11 years of experience building trustworthy, high-performance compilers and AI-driven developer tooling, currently focused on AI compilers and verified kernel generation at Microsoft Research and Gimlet Labs. With a PhD from the University of Utah and a history of work spanning kernel development, static analysis, and superoptimization, Jubi blends formal methods, solver-based techniques, and LLMs to push compiler automation forward. Notable contributions include a PTX-level equivalence checker, the LLM-Vectorizer framework for verified loop vectorization, and practical enhancements to the well-known google/souper superoptimizer to support LLVM intrinsics. He mentors PhD students and engineers through SIGPLAN’s long-term program, reflecting a strong commitment to community and knowledge transfer. Based in San Francisco, he brings a rare combination of deep verification expertise and hands-on systems engineering aimed at making compiler optimizations both provably correct and compute-efficient.
11 years of coding experience
14 years of employment as a software developer
The University of UtahB.Tech Computer Science, B.Tech Computer Science at Punjabi University
Github Skills (9)
c-language10
cprogramming-language10
llvm-ir10
optimization9
optmization9
performance-optimization9
optimisation9
algorithms8
algorithm8
Programming languages (3)
Github contributions (5)
google/souper
Aug 2014 - Jan 2020
A superoptimizer for LLVM IR
Role in this project:
Back-end Developer
Back-end DeveloperContributions:33 commits, 44 PRs, 111 comments in 5 years 5 months
Contributions summary:Jubi contributed to the `google/souper` repository by adding support for intrinsics like `cttz`, `ctlz`, `ctpop`, and `bswap`. They modified the `KLEEBuilder.cpp` to implement these intrinsic functions and also made changes to the `Inst` and `Parser` files. These changes suggest they are developing functionalities for the superoptimizer to support new LLVM IR intrinsic functions.
llvm-ircompilersclangstatic-analysisbazel-rules
jubitaneja/cranelift-peepholes
Jun 2018 - Mar 2021
Automatic peephole optimizer for Cranelift JIT compiler
Contributions:194 commits, 115 pushes, 1 branch in 2 years 9 months
jitcraneliftcompilerjit-compileroptimizer
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.