Sumanth Prabhu -

Registered user since Tue 5 Jan 2021

Name:Sumanth Prabhu

Affiliation:TCS Research

Personal website: https://sumanthsprabhu.github.io/

Contributions

2025

ATVA

PC Member in Programme Committee

ISEC

Keynote Speaker of Keynote Talk: Specification Synthesis with Constrained Horn Clauses within the ISEC 2025 Keynotes-track

2021

PLDI

Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
Author of Specification Synthesis with Constrained Horn Clauses within the PLDI-track

2020

ICSE

Author of Using Hypersafety Verification for Proving Correctness of Programming Assignments within the New Ideas and Emerging Results-track