• Sign in
  • Sign up
conf.researchr.org / Sumanth Prabhu
  • ICSE 2020 profile
  • PLDI 2021 profile
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
Share
xWed 4 Oct 11:20
using conf.researchr.org (v1.61.3)
Support page
Sign Up