Login / Signup

Robustness Analysis of Loop-Free Floating-Point Programs via Symbolic Automatic Differentiation.

Arnab DasTanmay TirpankarGanesh GopalakrishnanSriram Krishnamoorthy
Published in: CLUSTER (2021)
Keyphrases
  • floating point
  • data structure
  • data processing
  • fixed point
  • interval arithmetic