Optimizing geometric multigrid method computation using a DSL approach. - Vinay Vasista; Kumudha Narasimhan; Siddharth Bhat; Uday Bondhugula (SC, 2017)

Word Embeddings as Tuples of Feature Probabilities. - Siddharth Bhat; Alok Debnath; Souvik Banerjee; Manish Shrivastava 001 (RepL4NLP@ACL, 2020)

QSSA: An SSA-based IR for Quantum Computing. - Anurudh Peduri; Siddharth Bhat (CoRR, 2021)

QSSA: an SSA-based IR for Quantum computing. - Anurudh Peduri; Siddharth Bhat; Tobias Grosser (CC, 2022)

Lambda the Ultimate SSA: Optimizing Functional Programs in SSA. - Siddharth Bhat; Tobias Grosser (CGO, 2022)

Verifying Peephole Rewriting in SSA Compiler IRs. - Siddharth Bhat; Alex C. Keizer; Chris Hughes; Andrés Goens; Tobias Grosser (ITP, 2024)

Transforming Optimization Problems into Disciplined Convex Programming Form. - Ramon Fernández Mir; Paul B. Jackson; Siddharth Bhat; Andrés Goens; Tobias Grosser (CICM, 2024)

Wu's Method can Boost Symbolic AI to Rival Silver Medalists and AlphaGeometry to Outperform Gold Medalists at IMO Geometry. - Shiven Sinha; Ameya Prabhu; Ponnurangam Kumaraguru; Siddharth Bhat; Matthias Bethge (CoRR, 2024)

Guided Equality Saturation. - Thomas Koehler 005; Andrés Goens; Siddharth Bhat; Tobias Grosser; Phil Trinder; Michel Steuwer (Proc. ACM Program. Lang., 2024)

Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming. - Saikat Chakraborty; Gabriel Ebner; Siddharth Bhat; Sarah Fakhoury; Sakina Fatima; Shuvendu K. Lahiri; Nikhil Swamy (ICSE, 2025)