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:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on cmi.ac.in
On csauthors.net:
Bibliography
2023
Proceedings of the Automated Technology for Verification and Analysis, 2023
2021
Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021
2020
Proceedings of the ICSE-NIER 2020: 42nd International Conference on Software Engineering, New Ideas and Emerging Results, Seoul, South Korea, 27 June, 2020
2019
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
Proceedings of the Static Analysis - 25th International Symposium, 2018
Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018
2017
Proceedings of the Automated Technology for Verification and Analysis, 2017