Sumanth Prabhu -

Registered user since Tue 5 Jan 2021

Name:Sumanth Prabhu

Affiliation:IISc Bangalore & TCS Research

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

Contributions

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