Title | ||
---|---|---|
Robustness Analysis of Loop-Free Floating-Point Programs via Symbolic Automatic Differentiation |
Abstract | ||
---|---|---|
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 roundoff error, as well as determine the extent of control-flow instability due to roundoff error flowing into conditional statements. Currently available analysis techniques are either non-rigorous or do not produ... |
Year | DOI | Venue |
---|---|---|
2021 | 10.1109/Cluster48925.2021.00055 | 2021 IEEE International Conference on Cluster Computing (CLUSTER) |
Keywords | DocType | ISSN |
Codes,Conferences,Cluster computing,Tools,Benchmark testing,Roundoff errors,Robustness | Conference | 1552-5244 |
ISBN | Citations | PageRank |
978-1-7281-9666-4 | 0 | 0.34 |
References | Authors | |
0 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Arnab Das | 1 | 1 | 1.37 |
Tanmay Tirpankar | 2 | 0 | 0.34 |
Ganesh Gopalakrishnan | 3 | 14 | 4.79 |
Sriram Krishnamoorthy | 4 | 1202 | 86.68 |