Jubi Taneja

20182019202020212022202320245 4 14 18 24 30 11

Acesso público

1 artigo

0 artigos

disponível

não disponível

Com base em autorizações de financiamento

John RegehrProfessor, School of Computing, University of UtahEmail confirmado em cs.utah.edu
Dr. Raimondas SasnauskasIndependent Researcher (prev. University of Luxembourg, University of Utah, RWTH Aachen UniversityEmail confirmado em sasnauskas.eu
Yang ChenSchool of Computing, University of UtahEmail confirmado em cs.utah.edu
Zhengyang LiuUniversity of UtahEmail confirmado em cs.utah.edu

Jubi Taneja

Microsoft Research

Email confirmado em cs.utah.edu


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
Souper: A synthesizing superoptimizer R Sasnauskas, Y Chen, P Collingbourne, J Ketema, G Lup, J Taneja, ... arXiv preprint arXiv:1711.04422, 2017	62	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

O sistema não pode efectuar a operação agora. Tente mais tarde.

Artigos 1–4

Citações por ano