Concurrent Program Verification with Invariant-Guided Underapproximation. - Sumanth Prabhu 001; Peter Schrammel; Mandayam K. Srivas; Michael Tautschnig; Anand Yeolekar (ATVA, 2017)

Solving Constrained Horn Clauses Using Syntax and Data. - Grigory Fedyukovich; Sumanth Prabhu 001; Kumar Madhukar; Aarti Gupta (FMCAD, 2018)

Efficiently Learning Safety Proofs from Appearance as well as Behaviours. - Sumanth Prabhu 001; Kumar Madhukar; R. Venkatesh 001 (SAS, 2018)

VeriAbs: Verification by Abstraction and Test Generation - (Competition Contribution). - Priyanka Darke; Sumanth Prabhu 001; Bharti Chimdyalwar; Avriti Chauhan; Shrawan Kumar 001; Animesh Basak Chowdhury; R. Venkatesh 001; Advaita Datar; Raveendra Kumar Medicherla (TACAS (2), 2018)

Quantified Invariants via Syntax-Guided Synthesis. - Grigory Fedyukovich; Sumanth Prabhu 001; Kumar Madhukar; Aarti Gupta (CAV (1), 2019)

Using hypersafety verification for proving correctness of programming assignments. - Jude K. Anil; Sumanth Prabhu S; Kumar Madhukar; R. Venkatesh 001 (ICSE (NIER), 2020)

Specification synthesis with constrained Horn clauses. - Sumanth Prabhu S; Grigory Fedyukovich; Kumar Madhukar; Deepak D'Souza (PLDI, 2021)

Automated Property Directed Self Composition. - Akshatha Shenoy 001; Sumanth Prabhu S; Kumar Madhukar; Ron Shemer; Mandayam K. Srivas (ATVA, 2023)

Maximal Quantified Precondition Synthesis for Linear Array Loops. - Sumanth Prabhu 001; Grigory Fedyukovich; Deepak D'Souza (ESOP (2), 2024)

Weakest Precondition Inference for Non-Deterministic Linear Array Programs. - Sumanth Prabhu 001; Deepak D'Souza; Supratik Chakraborty; R. Venkatesh 001; Grigory Fedyukovich (TACAS (2), 2024)