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

Arnab Das, Tanmay Tirpankar, Ganesh Gopalakrishnan, Sriram Krishnamoorthy

Browse the full CLUSTER paper archive.