Sumanth Prabhu S

According to our database, Sumanth Prabhu S authored at least 10 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Weakest Precondition Inference for Non-Deterministic Linear Array Programs.

Sumanth Prabhu, Deepak D'Souza, Supratik Chakraborty, R. Venkatesh, Grigory Fedyukovich

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Maximal Quantified Precondition Synthesis for Linear Array Loops.

Sumanth Prabhu, Grigory Fedyukovich, Deepak D'Souza

Proceedings of the Programming Languages and Systems, 2024

2023

Automated Property Directed Self Composition.

Akshatha Shenoy, Sumanth Prabhu S, Kumar Madhukar, Ron Shemer, Mandayam K. Srivas

Proceedings of the Automated Technology for Verification and Analysis, 2023

2021

Specification synthesis with constrained Horn clauses.

Sumanth Prabhu S, Grigory Fedyukovich, Kumar Madhukar, Deepak D'Souza

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

Using hypersafety verification for proving correctness of programming assignments.

Jude K. Anil, Sumanth Prabhu S, Kumar Madhukar, R. Venkatesh

Proceedings of the ICSE-NIER 2020: 42nd International Conference on Software Engineering, New Ideas and Emerging Results, Seoul, South Korea, 27 June, 2020

2019

Quantified Invariants via Syntax-Guided Synthesis.

Grigory Fedyukovich, Sumanth Prabhu, Kumar Madhukar, Aarti Gupta

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Efficiently Learning Safety Proofs from Appearance as well as Behaviours.

Sumanth Prabhu, Kumar Madhukar, R. Venkatesh

Proceedings of the Static Analysis - 25th International Symposium, 2018

Solving Constrained Horn Clauses Using Syntax and Data.

Grigory Fedyukovich, Sumanth Prabhu, Kumar Madhukar, Aarti Gupta

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

2017

Concurrent Program Verification with Invariant-Guided Underapproximation.

Sumanth Prabhu, Peter Schrammel, Mandayam K. Srivas, Michael Tautschnig, Anand Yeolekar

Proceedings of the Automated Technology for Verification and Analysis, 2017