| 2024 | ESOP | Maximal Quantified Precondition Synthesis for Linear Array Loops. | Sumanth Prabhu, Grigory Fedyukovich, Deepak D'Souza |
| 2024 | TACAS | Weakest Precondition Inference for Non-Deterministic Linear Array Programs. | Sumanth Prabhu, Deepak D'Souza, Supratik Chakraborty, R. Venkatesh, Grigory Fedyukovich |
| 2022 | COMAD | Customer Support Chat Intent Classification using Weak Supervision and Data Augmentation. | Sumanth Prabhu, Aditya Kiran Brahma, Hemant Misra |
| 2022 | COMAD | Enhanced Text Classification using Proxy Labels and Knowledge Distillation. | Rohan Sukumaran, Sumanth Prabhu, Hemant Misra |
| 2021 | COMAD | Identification of Food Quality Descriptors in Customer Chat Conversations using Named Entity Recognition. | Aditya Kiran Brahma, Prathyush Potluri, Meghana Kanapaneni, Sumanth Prabhu, Sundeep Teki |
| 2021 | KDD | Multi-class Text Classification using BERT-based Active Learning. | Sumanth Prabhu, Moosa Mohamed, Hemant Misra |
| 2019 | CAV | Quantified Invariants via Syntax-Guided Synthesis. | Grigory Fedyukovich, Sumanth Prabhu, Kumar Madhukar, Aarti Gupta |
| 2018 | FMCAD | Solving Constrained Horn Clauses Using Syntax and Data. | Grigory Fedyukovich, Sumanth Prabhu, Kumar Madhukar, Aarti Gupta |
| 2018 | SAS | Efficiently Learning Safety Proofs from Appearance as well as Behaviours. | Sumanth Prabhu, Kumar Madhukar, R. Venkatesh |
| 2018 | TACAS | VeriAbs: Verification by Abstraction and Test Generation - (Competition Contribution). | Priyanka Darke, Sumanth Prabhu, Bharti Chimdyalwar, Avriti Chauhan, Shrawan Kumar, Animesh Basak Chowdhury, R. Venkatesh, Advaita Datar, Raveendra Kumar Medicherla |
| 2017 | ATVA | Concurrent Program Verification with Invariant-Guided Underapproximation. | Sumanth Prabhu, Peter Schrammel, Mandayam K. Srivas, Michael Tautschnig, Anand Yeolekar |