Arnab Das, Tanmay Tirpankar, Ganesh Gopalakrishnan, Sriram Krishnamoorthy. Robustness Analysis of Loop-Free Floating-Point Programs via Symbolic Automatic Differentiation. In IEEE International Conference on Cluster Computing, CLUSTER 2021, Portland, OR, USA, September 7-10, 2021. pages 481-491, IEEE, 2021. [doi]
Abstract is missing.