{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T14:15:10Z","timestamp":1760710510893,"version":"3.28.0"},"reference-count":57,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,2,27]],"date-time":"2021-02-27T00:00:00Z","timestamp":1614384000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,2,27]],"date-time":"2021-02-27T00:00:00Z","timestamp":1614384000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,2,27]],"date-time":"2021-02-27T00:00:00Z","timestamp":1614384000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,2,27]]},"DOI":"10.1109\/cgo51591.2021.9370307","type":"proceedings-article","created":{"date-parts":[[2021,3,11]],"date-time":"2021-03-11T21:33:26Z","timestamp":1615498406000},"page":"52-64","source":"Crossref","is-referenced-by-count":5,"title":["An Interval Compiler for Sound Floating-Point Computations"],"prefix":"10.1109","author":[{"given":"Joao","family":"Rivera","sequence":"first","affiliation":[]},{"given":"Franz","family":"Franchetti","sequence":"additional","affiliation":[]},{"given":"Markus","family":"Puschel","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","first-page":"101","article-title":"Fast and accurate floating point summation with application to computational geometry","author":"demmel","year":"2002","journal-title":"Numerical Algorithms"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/362854.362889"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.2001.930115"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1023\/B:NUMA.0000049462.70970.b6"},{"key":"ref31","first-page":"2","article-title":"SIMD Intrinsics on Managed Language Runtimes","author":"stojanov","year":"2018","journal-title":"International Symposium on Code Generation and Optimization (CGO)"},{"journal-title":"Intel intrinsics guide","year":"0","key":"ref30"},{"key":"ref37","article-title":"Polly's polyhedral scheduling in the presence of reductions","author":"doerfert","year":"2015","journal-title":"Second International Workshop on Polyhedral Compilation Techniques (IMPACT)"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2019.2924005"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/3121432"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-76526-6"},{"key":"ref28","article-title":"Fast and Correct SIMD Algorithms for Interval Arithmetic","author":"goualard","year":"2008","journal-title":"International Workshop on State-of-the-Art in Scientific and Parallel Computing (PARA)"},{"key":"ref27","first-page":"1","article-title":"IEEE Standard for Interval Arithmetic","year":"2015","journal-title":"IEEE Std 1788–2015"},{"journal-title":"CR-Libm a Library of Correctly Rounded Elementary Functions in Double Precision","year":"2006","author":"daramy-loirat","key":"ref29"},{"journal-title":"The Patriot Missile Failure","year":"2000","author":"arnold","key":"ref2"},{"journal-title":"Arm technologies Helium","year":"0","key":"ref1"},{"journal-title":"Gaol 4 2 0 Not just another interval arithmetic library","year":"2015","author":"goualard","key":"ref20"},{"journal-title":"Interval Analysis","year":"1966","author":"moore","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/s11155-005-6891-y"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/BF01397083"},{"journal-title":"Towards Good C++ Interval Libraries Tricks AND Traits","year":"2000","author":"goualard","key":"ref23"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1142\/S0129626412500107"},{"journal-title":"Clang libtooling","year":"2020","key":"ref25"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2018.00028"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1016\/j.jocs.2019.07.004"},{"key":"ref57","first-page":"1","article-title":"Automat-ically improving accuracy for floating point expressions","author":"panchekha","year":"2015","journal-title":"Conference on Programming Language Design and Implementation (PLDI)"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-016-0435-0"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.5220\/0006915501850194"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1145\/2464996.2465018"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009846"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1023\/B:NUMA.0000049483.75679.ce"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-89960-2_15"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/512760.512770"},{"journal-title":"MNIST Handwritten Digit Database","year":"2010","author":"lecun","key":"ref40"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18275-4_17"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3014426"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1644001.1644003"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2854065.2854066"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3015465"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3230733"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.09.062"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1141885.1141893"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1109\/MCS.2016.2643244","article-title":"High-Assurance SPIRAL: End-to-end guarantees for robot and car control","volume":"37","author":"franchetti","year":"2017","journal-title":"IEEE Control Systems Magazine"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04570-7_6"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89330-1_2"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63501-9_4"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3290354"},{"key":"ref7","article-title":"Exploiting verified neural networks via floating point numerical error","volume":"abs 2003 3021","author":"jia","year":"2020","journal-title":"CoRR"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-03542-0_4"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2503210.2503296"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2017.2690633"},{"key":"ref45","first-page":"114","article-title":"Yalaa: Yet another library for affine arithmetic","volume":"16","author":"kiel","year":"2012","journal-title":"Reliable Computing"},{"journal-title":"kv - a c++ library for verified numerical computation","year":"0","author":"kashiwagi","key":"ref48"},{"journal-title":"The doubledouble library","year":"1998","author":"briggs","key":"ref47"},{"key":"ref42","first-page":"327","article-title":"Program generation for small-scale linear algebra applications","author":"spampinato","year":"2018","journal-title":"International Symposium on Code Generation and Optimization (CGO"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2004.840306"},{"key":"ref44","article-title":"An algorithm to reduce the number of dummy variables in affine arithmetic","author":"kashiwagi","year":"2012","journal-title":"ScanGIS Conference"},{"key":"ref43","first-page":"1","article-title":"Automatically tuned linear algebra software","author":"whaley","year":"1998","journal-title":"Proc 1998 ACM\/IEEE Supercomputing 98 Conf"}],"event":{"name":"2021 IEEE\/ACM International Symposium on Code Generation and Optimization (CGO)","start":{"date-parts":[[2021,2,27]]},"location":"Seoul, Korea (South)","end":{"date-parts":[[2021,3,3]]}},"container-title":["2021 IEEE\/ACM International Symposium on Code Generation and Optimization (CGO)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9370300\/9370301\/09370307.pdf?arnumber=9370307","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T15:42:50Z","timestamp":1652197370000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9370307\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,2,27]]},"references-count":57,"URL":"https:\/\/doi.org\/10.1109\/cgo51591.2021.9370307","relation":{},"subject":[],"published":{"date-parts":[[2021,2,27]]}}}