Siddharth Bhat
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2017–2025
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICSE | Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming. | Saikat Chakraborty, Gabriel Ebner, Siddharth Bhat, Sarah Fakhoury, Sakina Fatima, Shuvendu K. Lahiri, Nikhil Swamy |
| 2024 | ITP | Verifying Peephole Rewriting in SSA Compiler IRs. | Siddharth Bhat, Alex C. Keizer, Chris Hughes, Andrs Goens, Tobias Grosser |
| 2022 | CC | QSSA: an SSA-based IR for Quantum computing. | Anurudh Peduri, Siddharth Bhat, Tobias Grosser |
| 2022 | CGO | Lambda the Ultimate SSA: Optimizing Functional Programs in SSA. | Siddharth Bhat, Tobias Grosser |
| 2017 | SC | Optimizing geometric multigrid method computation using a DSL approach. | Vinay Vasista, Kumudha Narasimhan, Siddharth Bhat, Uday Bondhugula |