• Sign in
  • Sign up
conf.researchr.org / Rohit Chadha
  • ICFP 2020 profile
  • POPL 2021 profile

Registered user since Sun 23 Aug 2020

Name: Rohit Chadha

Affiliation: University of Missouri

Contributions

TyDe 2020 Author of Strongly Bounded Termination with Applications to Security and Hardware Synthesis within the TyDe 2020-track
POPL 2021 Author of Deciding Accuracy of Differential Privacy Schemes within the POPL-track

Share
xMon 25 Jan 18:05
using conf.researchr.org (v1.40.2)
Support page
Sign Up