About
I am learning the art and craft of program verification and synthesis at IISc (a Ph.D. student) and TCS Research (a researcher). My guide at IISc is Deepak D’Souza and Kumar Madhukar at TCS Research. I often collaborate with Grigory Fedyukovich. I did my master’s from Chennai Mathematical Institute, where my thesis was done under Mandayam Srivas. Previously, I was an operating system developer at NetApp for five years.
At present, I am working on solving system of constrained Horn clauses - an intermediate representation for programs and other tasks - using its syntax and semantics. For more details: 
Publications
| PLDI 2021 (Distinguished Paper) | Specification Synthesis with Constrained Horn Clauses | Sumanth Prabhu, Grigory Fedyukovich, Kumar Madhukar, Deepak D’Souza |
| ICSE (NIER) 2020 | Using hypersafety verification for proving correctness of programming assignments | Jude K. Anil, Sumanth Prabhu, Kumar Madhukar, R. Venkatesh |
| CAV 2019 | Quantified Invariants via Syntax-Guided Synthesis | Grigory Fedyukovich, Sumanth Prabhu, Kumar Madhukar, Aarti Gupta |
| FMCAD 2018 | Solving Constrained Horn Clauses Using Syntax and Data | Grigory Fedyukovich, Sumanth Prabhu, Kumar Madhukar, Aarti Gupta |
| SAS 2018 | Efficiently Learning Safety Proofs from Appearance as well as Behaviours | Sumanth Prabhu, Kumar Madhukar, R. Venkatesh |
| TACAS 2018 | 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 |
| ATVA 2017 | Concurrent Program Verification with Invariant-Guided Underapproximation | Sumanth Prabhu, Peter Schrammel, Mandayam K. Srivas, Michael Tautschnig, Anand Yeolekar |
Activities
- A lecture on CHCs as part of Logic course at IISc
- PC of PLDI AEC 2021
- Talk at FMCAD Student Forum 2020
- Talk at Workshop on Research Highlights in Programming Languages (FSTTCS 2020 co-located event)
- Subreviewer ISEC 2019
- Talk at IISc-IIITB SE Workshop 2019
- Talk at FM Update 2019
- Subreviewer SV-COMP’18
- Talk at FM Update 2018