Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Rohit Chadha
conf.researchr.org general profile
ICFP 2020 profile
ICFP/SPLASH 2025 profile
POPL 2021 profile
Registered user since Sun 23 Aug 2020
Name:
Rohit Chadha
Affiliation:
University of Missouri
Contributions
2025
SPLASH
Author of Checking $\delta$-Satisfiability of Reals with Integrals within the OOPSLA-track
2021
POPL
Author of Deciding Accuracy of Differential Privacy Schemes within the POPL-track
2020
TyDe
Author of Strongly Bounded Termination with Applications to Security and Hardware Synthesis within the TyDe 2020-track
Share
x
Sun 26 Oct 03:39