Siddharth Bhat

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 11

Top Topics

Oriented Programming

Stochastic Grammar

Functional Programs

Quantum Computing

Top Venues

Proc. ACM Program. Lang.

Publications

Saikat Chakraborty, Gabriel Ebner, Siddharth Bhat, Sarah Fakhoury, Sakina Fatima, Shuvendu K. Lahiri, Nikhil Swamy
Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming. CoRR (2024)
Siddharth Bhat, Alex C. Keizer, Chris Hughes, Andrés Goens, Tobias Grosser
Verifying Peephole Rewriting In SSA Compiler IRs. CoRR (2024)
Thomas Koehler, Andrés Goens, Siddharth Bhat, Tobias Grosser, Phil Trinder, Michel Steuwer
Guided Equality Saturation. Proc. ACM Program. Lang. 8 (POPL) (2024)
Ramon Fernández Mir, Paul B. Jackson, Siddharth Bhat, Andrés Goens, Tobias Grosser
Transforming Optimization Problems into Disciplined Convex Programming Form. CICM (2024)
Shiven Sinha, Ameya Prabhu, Ponnurangam Kumaraguru, Siddharth Bhat, Matthias Bethge
Wu's Method can Boost Symbolic AI to Rival Silver Medalists and AlphaGeometry to Outperform Gold Medalists at IMO Geometry. CoRR (2024)
Anurudh Peduri, Siddharth Bhat, Tobias Grosser
QSSA: an SSA-based IR for Quantum computing. CC (2022)
Siddharth Bhat, Tobias Grosser
Lambda the Ultimate SSA: Optimizing Functional Programs in SSA. CGO (2022)
Siddharth Bhat, Tobias Grosser
Lambda the Ultimate SSA: Optimizing Functional Programs in SSA. CoRR (2022)
Anurudh Peduri, Siddharth Bhat
QSSA: An SSA-based IR for Quantum Computing. CoRR (2021)
Siddharth Bhat, Alok Debnath, Souvik Banerjee, Manish Shrivastava
Word Embeddings as Tuples of Feature Probabilities. RepL4NLP@ACL (2020)
Vinay Vasista, Kumudha Narasimhan, Siddharth Bhat, Uday Bondhugula
Optimizing geometric multigrid method computation using a DSL approach. SC (2017)