Robustness Analysis of Loop-Free Floating-Point Programs via Symbolic Automatic Differentiation (Journal Article) | NSF PAGES

skip to main content

Citation Details

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

Authors:: Das, Arnab; Tirpankar, Tanmay; Gopalakrishnan, Ganesh; Krishnamoorthy, Sriram

Award ID(s):: 1817073

Publication Date:: 2021-09-01

NSF-PAR ID:: 10314675

Journal Name:: 2021 IEEE International Conference on Cluster Computing (CLUSTER)

Sponsoring Org:: National Science Foundation

Free Publicly Accessible Full Text
Accepted Manuscript1.0
Publisher's Version of Record
https://doi.org/10.1109/Cluster48925.2021.00055