C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Robustness Analysis of Loop-Free Floating-Point Programs via Symbolic Automatic Differentiation.
Arnab Das
Tanmay Tirpankar
Ganesh Gopalakrishnan
Sriram Krishnamoorthy
Published in:
CLUSTER (2021)
Keyphrases
</>
floating point
data structure
data processing
fixed point
interval arithmetic