Jubi Taneja

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 4

Top Topics

Facial Feature Detection

Committee Members

Evaluation Process

Top Venues

Publications

Jubi Taneja, Avery Laird, Cong Yan, Madan Musuvathi, Shuvendu K. Lahiri
LLM-Vectorizer: LLM-based Verified Loop Vectorizer. CoRR (2024)
Jubi Taneja, Michel Steuwer
Report from the Artifact Evaluation Committee. CGO (2021)
Jubi Taneja, Zhengyang Liu, John Regehr
Testing static analyses for precision and soundness. CGO (2020)
Raimondas Sasnauskas, Yang Chen, Peter Collingbourne, Jeroen Ketema, Jubi Taneja, John Regehr
Souper: A Synthesizing Superoptimizer. CoRR (2017)