Robustness analysis of loop-free floating-point programs via symbolic automatic differentiation

A Das, T Tirpankar, G Gopalakrishnan… - 2021 IEEE …, 2021 - ieeexplore.ieee.org
Automated techniques for analyzing floating-point code for roundoff error as well as control-
flow instability are of growing importance. It is important to compute rigorous estimates of …
被引用次数：5 相关文章

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

A Das, T Tirpankar, G Gopalakrishnan… - … Conference on Cluster …, 2021 - computer.org
Automated techniques for analyzing floating-point code for roundoff error as well as control-
flow instability are of growing importance. It is important to compute rigorous estimates of …

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

A Das, T Tirpankar, G Gopalakrishnan… - IEEE Cluster 2021, 2021 - par.nsf.gov
Automated techniques for analyzing floating-point code for roundoff error as well as control-
flow instability are of growing importance. It is important to compute rigorous estimates of …

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

A Das, T Tirpankar, G Gopalakrishnan… - IEEE Cluster 2021, 2021 - par.nsf.gov
Automated techniques for analyzing floating-point code for roundoff error as well as control-
flow instability are of growing importance. It is important to compute rigorous estimates of …