Jubi Taneja

201820192020202120222023202420255 4 15 18 25 28 36 7

Public access

1 article

0 articles

available

not available

Based on funding mandates

John RegehrProfessor, School of Computing, University of UtahVerified email at cs.utah.edu
Dr. Raimondas SasnauskasIndependent Researcher (prev. University of Luxembourg, University of Utah, RWTH Aachen UniversityVerified email at sasnauskas.eu
Yang ChenSchool of Computing, University of UtahVerified email at cs.utah.edu
Shuvendu LahiriSenior Principal Researcher, Microsoft ResearchVerified email at microsoft.com
Avery LairdUniversity of TorontoVerified email at cs.toronto.edu
Cong YanMicrosoft ResearchVerified email at microsoft.com
Zhengyang Liu
Madanlal MusuvathiMicrosoft ResearchVerified email at microsoft.com

Jubi Taneja

Microsoft Research

Verified email at cs.utah.edu


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Souper: A synthesizing superoptimizer R Sasnauskas, Y Chen, P Collingbourne, J Ketema, G Lup, J Taneja, ... arXiv preprint arXiv:1711.04422, 2017	76	2017
Testing static analyses for precision and soundness J Taneja, Z Liu, J Regehr Proceedings of the 18th ACM/IEEE International Symposium on Code Generation …, 2020	46	2020
Souper: a synthesizing superoptimizer. CoRR abs/1711.04422 (2017) R Sasnauskas, Y Chen, P Collingbourne, J Ketema, J Taneja, J Regehr arXiv preprint arXiv:1711.04422, 2017	13	2017
Llm-vectorizer: Llm-based verified loop vectorizer J Taneja, A Laird, C Yan, M Musuvathi, SK Lahiri Proceedings of the 23rd ACM/IEEE International Symposium on Code Generation …, 2025	3	2025
ClassInvGen: Class Invariant Synthesis using Large Language Models C Sun, V Agashe, S Chakraborty, J Taneja, C Barrett, D Dill, X Qiu, ... arXiv preprint arXiv:2502.18917, 2025		2025
Improving Compiler Construction Using Formal Methods J Taneja The University of Utah, 2022		2022

The system can't perform the operation now. Try again later.

Articles 1–6

Citations per year