Sumanth Prabhu -

Registered user since Tue 5 Jan 2021

Name:Sumanth Prabhu

Affiliation:IISc Bangalore & TCS Research

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

Contributions

PLDI 2021	Committee Member in Artifact Evaluation Committee within the Research Artifacts-track Author of Specification Synthesis with Constrained Horn Clauses within the PLDI-track
ICSE 2020	Author of Using Hypersafety Verification for Proving Correctness of Programming Assignments within the New Ideas and Emerging Results-track