Jubi Taneja

20182019202020212022202320245 4 14 18 24 29 11

Dostęp publiczny

1 artykuł

0 artykułów

dostępne

niedostępne

Objęte finansowaniem

John RegehrProfessor, School of Computing, University of UtahZweryfikowany adres z cs.utah.edu
Dr. Raimondas SasnauskasIndependent Researcher (prev. University of Luxembourg, University of Utah, RWTH Aachen UniversityZweryfikowany adres z sasnauskas.eu
Yang ChenSchool of Computing, University of UtahZweryfikowany adres z cs.utah.edu
Zhengyang LiuUniversity of UtahZweryfikowany adres z cs.utah.edu

Jubi Taneja

Microsoft Research

Zweryfikowany adres z cs.utah.edu


Tytuł Sortuj wg cytatów Sortuj wg roku Sortuj wg tytułu	Cytowane przez Cytowane przez	Rok
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

Nie można teraz wykonać tej operacji. Spróbuj ponownie później.

Prace 1–4

Cytowania rocznie