%0 Conference Paper %1 conf/cluster/DasTGK21 %A Das, Arnab %A Tirpankar, Tanmay %A Gopalakrishnan, Ganesh %A Krishnamoorthy, Sriram %B CLUSTER %D 2021 %I IEEE %K dblp %P 481-491 %T Robustness Analysis of Loop-Free Floating-Point Programs via Symbolic Automatic Differentiation. %U http://dblp.uni-trier.de/db/conf/cluster/cluster2021.html#DasTGK21 %@ 978-1-7281-9666-4

@inproceedings{conf/cluster/DasTGK21, added-at = {2023-09-30T00:00:00.000+0200}, author = {Das, Arnab and Tirpankar, Tanmay and Gopalakrishnan, Ganesh and Krishnamoorthy, Sriram}, biburl = {https://www.bibsonomy.org/bibtex/24a89e1b8cae5cae34f420d983b32b59d/dblp}, booktitle = {CLUSTER}, crossref = {conf/cluster/2021}, ee = {https://doi.org/10.1109/Cluster48925.2021.00055}, interhash = {f32febbb6f6079f2e82d8e1b9434c9a5}, intrahash = {4a89e1b8cae5cae34f420d983b32b59d}, isbn = {978-1-7281-9666-4}, keywords = {dblp}, pages = {481-491}, publisher = {IEEE}, timestamp = {2024-04-10T01:51:05.000+0200}, title = {Robustness Analysis of Loop-Free Floating-Point Programs via Symbolic Automatic Differentiation.}, url = {http://dblp.uni-trier.de/db/conf/cluster/cluster2021.html#DasTGK21}, year = 2021 }