Jubi Taneja

1. Souper: A Synthesizing Superoptimizer
   2017/11/13 by Raimondas Sasnauskas, Yang Chen, Sasnauskas, Raimondas +11 · 3 voices · 7 citations
   #cs.PL
2. LLM-Vectorizer: LLM-based Verified Loop Vectorizer
   2024/06/07 by Jubi Taneja, Avery Laird, Taneja, Jubi +7 · 11 citations
   Engineering · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Performance (cs.PF) #Real-time simulation and control systems #Software Engineering (cs.SE)
3. ClassInvGen: Class Invariant Synthesis using Large Language Models
   2025/02/26 by Chuyue Sun, Viraj Agashe, Sun, Chuyue +13 · 4 citations
   Computer Science · #Software Testing and Debugging Techniques #Software Engineering Research #Logic, programming, and type systems