Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Martin C. Rinard
conf.researchr.org general profile
SPLASH 2012 profile
SPLASH 2021 profile
Not registered as user yet
Name:
Martin C. Rinard
Contributions
2021
Static Analysis Symposium
Author of Exploiting Verified Neural Networks via Floating Point Numerical Error within the SAS-track
2012
RACES
Author of Dancing with uncertainty within the RACES 2012-track
Share
x
Thu 21 Nov 20:53