Siddharth Bhat

15 papers A* 1A 2B 2C 1Journal 8Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Certified Decision Procedures for Width-Independent Bitvector Predicates.
Proc. ACM Program. Lang.
Siddharth Bhat, Léo Stefanesco, Chris Hughes, Tobias Grosser
2025 J jnl
Interactive Bitvector Reasoning using Verified Bit-Blasting.
Proc. ACM Program. Lang.
Henrik Böving, Siddharth Bhat, Luisa Cicolini, Alex C. Keizer, Léon Frénot, Abdalrhman Mohamed, Léo Stefanesco, Harun Khan, Joshua Clune, Clark W. Barrett, Tobias Grosser
2025 A* conf
Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming.
ICSE
Saikat Chakraborty, Gabriel Ebner, Siddharth Bhat, Sarah Fakhoury, Sakina Fatima, Shuvendu K. Lahiri, Nikhil Swamy
2024 J jnl
Guided Equality Saturation.
Proc. ACM Program. Lang.
Thomas Koehler, Andrés Goens, Siddharth Bhat, Tobias Grosser, Phil Trinder, Michel Steuwer
2024 J jnl
Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming.
CoRR
Saikat Chakraborty, Gabriel Ebner, Siddharth Bhat, Sarah Fakhoury, Sakina Fatima, Shuvendu K. Lahiri, Nikhil Swamy
2024 C conf
Transforming Optimization Problems into Disciplined Convex Programming Form.
CICM
Ramon Fernández Mir, Paul B. Jackson, Siddharth Bhat, Andrés Goens, Tobias Grosser
2024 J jnl
Verifying Peephole Rewriting In SSA Compiler IRs.
CoRR
Siddharth Bhat, Alex C. Keizer, Chris Hughes, Andrés Goens, Tobias Grosser
2024 B conf
Verifying Peephole Rewriting in SSA Compiler IRs.
ITP
Siddharth Bhat, Alex C. Keizer, Chris Hughes, Andrés Goens, Tobias Grosser
2024 J jnl
Wu's Method can Boost Symbolic AI to Rival Silver Medalists and AlphaGeometry to Outperform Gold Medalists at IMO Geometry.
CoRR
Shiven Sinha, Ameya Prabhu, Ponnurangam Kumaraguru, Siddharth Bhat, Matthias Bethge
2022 A conf
Lambda the Ultimate SSA: Optimizing Functional Programs in SSA.
CGO
Siddharth Bhat, Tobias Grosser
2022 J jnl
Lambda the Ultimate SSA: Optimizing Functional Programs in SSA.
CoRR
Siddharth Bhat, Tobias Grosser
2022 B conf
QSSA: an SSA-based IR for Quantum computing.
CC
Anurudh Peduri, Siddharth Bhat, Tobias Grosser
2021 J jnl
QSSA: An SSA-based IR for Quantum Computing.
CoRR
Anurudh Peduri, Siddharth Bhat
2020 — conf
Word Embeddings as Tuples of Feature Probabilities.
RepL4NLP@ACL
Siddharth Bhat, Alok Debnath, Souvik Banerjee, Manish Shrivastava
2017 A conf
Optimizing geometric multigrid method computation using a DSL approach.
SC
Vinay Vasista, Kumudha Narasimhan, Siddharth Bhat, Uday Bondhugula