Sumanth Prabhu S’ Home Page


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:



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