
Registered user since Tue 5 Jan 2021
Name:Sumanth Prabhu
Country:India
Affiliation:TCS Research
Personal website:https://sumanthsprabhu.github.io/
Contributions
PLDI 2021 | Committee Member in Artifact Evaluation Committee within the Research Artifacts-track Specification Synthesis with Constrained Horn Clauses | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
PLDI 2021-profile
View general profile
View general profile