Jubi Taneja

According to our database, Jubi Taneja authored at least 4 papers between 2017 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2025

LLM-Vectorizer: LLM-Based Verified Loop Vectorizer.

Jubi Taneja, Avery Laird, Cong Yan, Madan Musuvathi, Shuvendu K. Lahiri

Proceedings of the 23rd ACM/IEEE International Symposium on Code Generation and Optimization, 2025

2021

Report from the Artifact Evaluation Committee.

Jubi Taneja, Michel Steuwer

Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2021

2020

Testing static analyses for precision and soundness.

Jubi Taneja, Zhengyang Liu, John Regehr

Proceedings of the CGO '20: 18th ACM/IEEE International Symposium on Code Generation and Optimization, 2020

2017

Souper: A Synthesizing Superoptimizer.

Raimondas Sasnauskas, Yang Chen, Peter Collingbourne, Jeroen Ketema, Jubi Taneja, John Regehr

CoRR, 2017