ClassInvGen: Class Invariant Synthesis using Large Language Models

8th International Symposium on AI Verification, SAIV 2025, 2025

Authors: Chuyue Sun, Viraj Agashe, Saikat Chakraborty, Jubi Taneja, Clark Barrett, David Dill, Xiaokang Qiu, Shuvendu K Lahiri

PDF

LLM-Vectorizer: LLM-based Verified Loop Vectorizer

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

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

DOI|PDF|Slides

Improving Compiler Construction Using Formal Methods

The University of Utah, 2025

Authors: Jubi Taneja

DOI|PDF

Testing static analyses for precision and soundness

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

Authors: Jubi Taneja, Zhengyang Liu, John Regehr

DOI|PDF|Code|Slides

Souper: A synthesizing superoptimizer

arXiv preprint arXiv:1711.04422, 2017

Authors: R Sasnauskas, Y Chen, P Collingbourne, J Ketema, G Lup, J Taneja

PDF|Code