| QSSA: An SSA-based IR for quantum computing A Peduri, S Bhat, T Grosser Proceedings of the 31st ACM SIGPLAN International Conference on Compiler …, 2022 | 8 | 2022 |
| Optimizing geometric multigrid method computation using a dsl approach V Vasista, K Narasimhan, S Bhat, U Bondhugula Proceedings of the International Conference for High Performance Computing …, 2017 | 7 | 2017 |
| Word Embeddings as Tuples of Feature Probabilities MS Siddharth Bhat, Alok Debnath, Souvik Banerjee Proceedings of the 5th Workshop on Representation Learning for NLP, 24-33, 2020 | 4 | 2020 |
| Wu's Method can Boost Symbolic AI to Rival Silver Medalists and AlphaGeometry to Outperform Gold Medalists at IMO Geometry S Sinha, A Prabhu, P Kumaraguru, S Bhat, M Bethge arXiv preprint arXiv:2404.06405, 2024 | 2 | 2024 |
| Guided Equality Saturation T Koehler, A Goens, S Bhat, T Grosser, P Trinder, M Steuwer Proceedings of the ACM on Programming Languages 8 (POPL), 1727-1758, 2024 | 1 | 2024 |
| Lambda the ultimate SSA: optimizing functional programs in SSA S Bhat, T Grosser 2022 IEEE/ACM International Symposium on Code Generation and Optimization …, 2022 | 1 | 2022 |
| Verifying Peephole Rewriting In SSA Compiler IRs S Bhat, A Keizer, C Hughes, A Goens, T Grosser arXiv preprint arXiv:2407.03685, 2024 | | 2024 |
| Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming S Chakraborty, G Ebner, S Bhat, S Fakhoury, S Fatima, S Lahiri, N Swamy arXiv preprint arXiv:2405.01787, 2024 | | 2024 |
| Mathematical Structures for Word Embeddings S Bhat International Institute of Information Technology, 2021 | | 2021 |
