Sumanth Prabhu

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 7

Top Topics

Invariant Features

Test Generation

Top Venues

Publications

Sumanth Prabhu, Deepak D'Souza, Supratik Chakraborty, R. Venkatesh, Grigory Fedyukovich
Weakest Precondition Inference for Non-Deterministic Linear Array Programs. TACAS (2) (2024)
Sumanth Prabhu, Grigory Fedyukovich, Deepak D'Souza
Maximal Quantified Precondition Synthesis for Linear Array Loops. ESOP (2) (2024)
Grigory Fedyukovich, Sumanth Prabhu, Kumar Madhukar, Aarti Gupta
Quantified Invariants via Syntax-Guided Synthesis. CAV (1) (2019)
Priyanka Darke, Sumanth Prabhu, Bharti Chimdyalwar, Avriti Chauhan, Shrawan Kumar, Animesh Basak Chowdhury, R. Venkatesh, Advaita Datar, Raveendra Kumar Medicherla
VeriAbs: Verification by Abstraction and Test Generation - (Competition Contribution). TACAS (2) (2018)
Grigory Fedyukovich, Sumanth Prabhu, Kumar Madhukar, Aarti Gupta
Solving Constrained Horn Clauses Using Syntax and Data. FMCAD (2018)
Sumanth Prabhu, Kumar Madhukar, R. Venkatesh
Efficiently Learning Safety Proofs from Appearance as well as Behaviours. SAS (2018)
Sumanth Prabhu, Peter Schrammel, Mandayam K. Srivas, Michael Tautschnig, Anand Yeolekar
Concurrent Program Verification with Invariant-Guided Underapproximation. ATVA (2017)