Jubi Taneja

20182019202020212022202320245 4 14 18 24 29 11

Accès public

1 article

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

John RegehrProfessor, School of Computing, University of UtahAdresse e-mail validée de cs.utah.edu
Dr. Raimondas SasnauskasIndependent Researcher (prev. University of Luxembourg, University of Utah, RWTH Aachen UniversityAdresse e-mail validée de sasnauskas.eu
Yang ChenSchool of Computing, University of UtahAdresse e-mail validée de cs.utah.edu
Zhengyang LiuUniversity of UtahAdresse e-mail validée de cs.utah.edu

Jubi Taneja

Microsoft Research

Adresse e-mail validée de cs.utah.edu


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Souper: A synthesizing superoptimizer R Sasnauskas, Y Chen, P Collingbourne, J Ketema, G Lup, J Taneja, ... arXiv preprint arXiv:1711.04422, 2017	61	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	32	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

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–4

Nombre de citations par an