Sumanth Prabhu S

Affiliations:
  • TCS Research, Pune, India
  • Chennai Mathematical Institute, India


According to our database1, Sumanth Prabhu S authored at least 8 papers between 2017 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Automated Property Directed Self Composition.
Proceedings of the Automated Technology for Verification and Analysis, 2023

2021
Specification synthesis with constrained Horn clauses.
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.
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.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018
VeriAbs: Verification by Abstraction and Test Generation - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Efficiently Learning Safety Proofs from Appearance as well as Behaviours.
Proceedings of the Static Analysis - 25th International Symposium, 2018

Solving Constrained Horn Clauses Using Syntax and Data.
Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

2017
Concurrent Program Verification with Invariant-Guided Underapproximation.
Proceedings of the Automated Technology for Verification and Analysis, 2017


  Loading...