| 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 |
| 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 | 5 | 2022 |
| 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 | 2 | 2020 |
| 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 |
| 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 |
| 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 | | 2024 |
