Jubi Taneja
Identifiers
No identifiers captured yet.
Papers (2)
- ClassInvGen: Class Invariant Synthesis using Large Language Models cs.AI · 2025 · author #4
- Souper: A Synthesizing Superoptimizer cs.PL · 2017 · author #6
Mentions
No mention provenance yet.
Frequent Coauthors
- Chuyue Sun 1 shared papers
- Clark Barrett 1 shared papers
- David Dill 1 shared papers
- Gratian Lup 1 shared papers
- Jeroen Ketema 1 shared papers
- John Regehr 1 shared papers
- Peter Collingbourne 1 shared papers
- Raimondas Sasnauskas 1 shared papers
- Saikat Chakraborty 1 shared papers
- Shuvendu K. Lahiri 1 shared papers
- Viraj Agashe 1 shared papers
- Xiaokang Qiu 1 shared papers
- Yang Chen 1 shared papers