Matches in SemOpenAlex for { <https://semopenalex.org/work/W3019042021> ?p ?o ?g. }
- W3019042021 abstract "Automated techniques for rigorous floating-point round-off error analysis are important in areas including formal verification of correctness and precision tuning. Existing tools and techniques, while providing tight bounds, fail to analyze expressions with more than a few hundred operators, thus unable to cover important practical problems. In this work, we present Satire, a new tool that sheds light on how scalability and bound-tightness can be attained through a combination of incremental analysis, abstraction, and judicious use of concrete and symbolic evaluation. Satire has handled problems exceeding 200K operators. We present Satire's underlying error analysis approach, information-theoretic abstraction heuristics, and a wide range of case studies, with evaluation covering FFT, Lorenz system of equations, and various PDE stencil types. Our results demonstrate the tightness of Satire's bounds, its acceptable runtime, and valuable insights provided." @default.
- W3019042021 created "2020-05-01" @default.
- W3019042021 creator A5002101145 @default.
- W3019042021 creator A5006650430 @default.
- W3019042021 creator A5011013917 @default.
- W3019042021 creator A5069846379 @default.
- W3019042021 date "2020-04-24" @default.
- W3019042021 modified "2023-10-12" @default.
- W3019042021 title "An Abstraction-guided Approach to Scalable and Rigorous Floating-Point Error Analysis." @default.
- W3019042021 cites W1521746323 @default.
- W3019042021 cites W1528042415 @default.
- W3019042021 cites W169070976 @default.
- W3019042021 cites W1778289469 @default.
- W3019042021 cites W1969155620 @default.
- W3019042021 cites W1978149312 @default.
- W3019042021 cites W1995875735 @default.
- W3019042021 cites W1999470254 @default.
- W3019042021 cites W2016232724 @default.
- W3019042021 cites W2020804487 @default.
- W3019042021 cites W2033118822 @default.
- W3019042021 cites W2041886465 @default.
- W3019042021 cites W2043100293 @default.
- W3019042021 cites W2061091230 @default.
- W3019042021 cites W2062719800 @default.
- W3019042021 cites W2065510382 @default.
- W3019042021 cites W2070025169 @default.
- W3019042021 cites W2079624081 @default.
- W3019042021 cites W2103953062 @default.
- W3019042021 cites W2118594068 @default.
- W3019042021 cites W2121344286 @default.
- W3019042021 cites W2121764011 @default.
- W3019042021 cites W2147177731 @default.
- W3019042021 cites W2226528584 @default.
- W3019042021 cites W2227234579 @default.
- W3019042021 cites W2295915207 @default.
- W3019042021 cites W2440019798 @default.
- W3019042021 cites W245868749 @default.
- W3019042021 cites W2566629575 @default.
- W3019042021 cites W2778880616 @default.
- W3019042021 cites W2838756705 @default.
- W3019042021 cites W2888468607 @default.
- W3019042021 cites W2889498364 @default.
- W3019042021 cites W2899325855 @default.
- W3019042021 cites W2902494873 @default.
- W3019042021 cites W2904117297 @default.
- W3019042021 cites W2924017186 @default.
- W3019042021 cites W2962766833 @default.
- W3019042021 cites W2963928453 @default.
- W3019042021 cites W2973723146 @default.
- W3019042021 cites W2947940903 @default.
- W3019042021 hasPublicationYear "2020" @default.
- W3019042021 type Work @default.
- W3019042021 sameAs 3019042021 @default.
- W3019042021 citedByCount "0" @default.
- W3019042021 crossrefType "posted-content" @default.
- W3019042021 hasAuthorship W3019042021A5002101145 @default.
- W3019042021 hasAuthorship W3019042021A5006650430 @default.
- W3019042021 hasAuthorship W3019042021A5011013917 @default.
- W3019042021 hasAuthorship W3019042021A5069846379 @default.
- W3019042021 hasConcept C111472728 @default.
- W3019042021 hasConcept C111919701 @default.
- W3019042021 hasConcept C113775141 @default.
- W3019042021 hasConcept C11413529 @default.
- W3019042021 hasConcept C124304363 @default.
- W3019042021 hasConcept C127705205 @default.
- W3019042021 hasConcept C138885662 @default.
- W3019042021 hasConcept C147358964 @default.
- W3019042021 hasConcept C159985019 @default.
- W3019042021 hasConcept C192562407 @default.
- W3019042021 hasConcept C199360897 @default.
- W3019042021 hasConcept C204323151 @default.
- W3019042021 hasConcept C2524010 @default.
- W3019042021 hasConcept C2777904410 @default.
- W3019042021 hasConcept C28719098 @default.
- W3019042021 hasConcept C33923547 @default.
- W3019042021 hasConcept C41008148 @default.
- W3019042021 hasConcept C459310 @default.
- W3019042021 hasConcept C48044578 @default.
- W3019042021 hasConcept C55439883 @default.
- W3019042021 hasConcept C76752949 @default.
- W3019042021 hasConcept C77088390 @default.
- W3019042021 hasConcept C80444323 @default.
- W3019042021 hasConcept C84211073 @default.
- W3019042021 hasConcept C97686452 @default.
- W3019042021 hasConceptScore W3019042021C111472728 @default.
- W3019042021 hasConceptScore W3019042021C111919701 @default.
- W3019042021 hasConceptScore W3019042021C113775141 @default.
- W3019042021 hasConceptScore W3019042021C11413529 @default.
- W3019042021 hasConceptScore W3019042021C124304363 @default.
- W3019042021 hasConceptScore W3019042021C127705205 @default.
- W3019042021 hasConceptScore W3019042021C138885662 @default.
- W3019042021 hasConceptScore W3019042021C147358964 @default.
- W3019042021 hasConceptScore W3019042021C159985019 @default.
- W3019042021 hasConceptScore W3019042021C192562407 @default.
- W3019042021 hasConceptScore W3019042021C199360897 @default.
- W3019042021 hasConceptScore W3019042021C204323151 @default.
- W3019042021 hasConceptScore W3019042021C2524010 @default.
- W3019042021 hasConceptScore W3019042021C2777904410 @default.
- W3019042021 hasConceptScore W3019042021C28719098 @default.
- W3019042021 hasConceptScore W3019042021C33923547 @default.