‪Jubi Taneja‬ - ‪Google Scholar‬

自分のプロフィールを作成

引用先

	すべて	2019 年以来
引用	106	101
h 指標	3	3
i10 指標	3	2

0

30

15

20182019202020212022202320245 4 14 18 24 30 11

オープンアクセス

すべて表示

1 件の論文

0 件の論文

利用可能

利用不可

助成機関の要件に基づく

共著者

John RegehrProfessor, School of Computing, University of Utah確認したメールアドレス: cs.utah.edu
Dr. Raimondas SasnauskasIndependent Researcher (prev. University of Luxembourg, University of Utah, RWTH Aachen University確認したメールアドレス: sasnauskas.eu
Yang ChenSchool of Computing, University of Utah確認したメールアドレス: cs.utah.edu
Zhengyang LiuUniversity of Utah確認したメールアドレス: cs.utah.edu

Jubi Taneja

Jubi Taneja

Microsoft Research

確認したメールアドレス: cs.utah.edu

Compiler optimizations Artificial Intelligence Formal Methods Superoptimization


タイトル引用回数順公開年順タイトル順	引用先引用先	年
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

現在システムで処理を実行できません。しばらくしてからもう一度お試しください。

論文 1–4