Jubi Taneja

20182019202020212022202320245 4 14 18 24 29 8

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
Zhengyang LiuUniversity of UtahVerified email at cs.utah.edu

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	59	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	31	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	12	2017
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–4

Citations per year