Souper: A Synthesizing Superoptimizer. - Raimondas Sasnauskas; Yang Chen 024; Peter Collingbourne; Jeroen Ketema; Jubi Taneja; John Regehr (CoRR, 2017)

Testing static analyses for precision and soundness. - Jubi Taneja; Zhengyang Liu 003; John Regehr (CGO, 2020)

Report from the Artifact Evaluation Committee. - Jubi Taneja; Michel Steuwer (CGO, 2021)

LLM-Vectorizer: LLM-Based Verified Loop Vectorizer. - Jubi Taneja; Avery Laird; Cong Yan; Madan Musuvathi; Shuvendu K. Lahiri (CGO, 2025)

ClassInvGen: Class Invariant Synthesis using Large Language Models. - Chuyue Sun; Viraj Agashe; Saikat Chakraborty; Jubi Taneja; Clark W. Barrett; David L. Dill; Xiaokang Qiu; Shuvendu K. Lahiri (CoRR, 2025)