Matches in SemOpenAlex for { <https://semopenalex.org/work/W2772436979> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2772436979 endingPage "32" @default.
- W2772436979 startingPage "1" @default.
- W2772436979 abstract "Industry standard implementations of math.h claim (often without formal proof) tight bounds on floating-point errors. We demonstrate a novel static analysis that proves these bounds and verifies the correctness of these implementations. Our key insight is a reduction of this verification task to a set of mathematical optimization problems that can be solved by off-the-shelf computer algebra systems. We use this analysis to prove the correctness of implementations in Intel's math library automatically. Prior to this work, these implementations could only be verified with significant manual effort." @default.
- W2772436979 created "2017-12-22" @default.
- W2772436979 creator A5054300851 @default.
- W2772436979 creator A5060394258 @default.
- W2772436979 creator A5087402475 @default.
- W2772436979 date "2017-12-27" @default.
- W2772436979 modified "2023-09-24" @default.
- W2772436979 title "On automatically proving the correctness of math.h implementations" @default.
- W2772436979 cites W1509799206 @default.
- W2772436979 cites W1608100572 @default.
- W2772436979 cites W1640714309 @default.
- W2772436979 cites W1670181694 @default.
- W2772436979 cites W1778289469 @default.
- W2772436979 cites W1791348790 @default.
- W2772436979 cites W1966151649 @default.
- W2772436979 cites W1977336460 @default.
- W2772436979 cites W1981812667 @default.
- W2772436979 cites W1986969990 @default.
- W2772436979 cites W1999470254 @default.
- W2772436979 cites W2002479196 @default.
- W2772436979 cites W2012407419 @default.
- W2772436979 cites W2079624081 @default.
- W2772436979 cites W2103953062 @default.
- W2772436979 cites W2122738744 @default.
- W2772436979 cites W2169004268 @default.
- W2772436979 cites W2169833331 @default.
- W2772436979 cites W2226528584 @default.
- W2772436979 cites W2287505824 @default.
- W2772436979 cites W2295915207 @default.
- W2772436979 cites W2332117786 @default.
- W2772436979 cites W2410059737 @default.
- W2772436979 cites W2624755614 @default.
- W2772436979 cites W3015537608 @default.
- W2772436979 cites W3100198463 @default.
- W2772436979 doi "https://doi.org/10.1145/3158135" @default.
- W2772436979 hasPublicationYear "2017" @default.
- W2772436979 type Work @default.
- W2772436979 sameAs 2772436979 @default.
- W2772436979 citedByCount "15" @default.
- W2772436979 countsByYear W27724369792019 @default.
- W2772436979 countsByYear W27724369792020 @default.
- W2772436979 countsByYear W27724369792021 @default.
- W2772436979 countsByYear W27724369792022 @default.
- W2772436979 crossrefType "journal-article" @default.
- W2772436979 hasAuthorship W2772436979A5054300851 @default.
- W2772436979 hasAuthorship W2772436979A5060394258 @default.
- W2772436979 hasAuthorship W2772436979A5087402475 @default.
- W2772436979 hasBestOaLocation W27724369791 @default.
- W2772436979 hasConcept C11413529 @default.
- W2772436979 hasConcept C162324750 @default.
- W2772436979 hasConcept C177264268 @default.
- W2772436979 hasConcept C187736073 @default.
- W2772436979 hasConcept C199360897 @default.
- W2772436979 hasConcept C26713055 @default.
- W2772436979 hasConcept C2780451532 @default.
- W2772436979 hasConcept C41008148 @default.
- W2772436979 hasConcept C55439883 @default.
- W2772436979 hasConcept C80444323 @default.
- W2772436979 hasConceptScore W2772436979C11413529 @default.
- W2772436979 hasConceptScore W2772436979C162324750 @default.
- W2772436979 hasConceptScore W2772436979C177264268 @default.
- W2772436979 hasConceptScore W2772436979C187736073 @default.
- W2772436979 hasConceptScore W2772436979C199360897 @default.
- W2772436979 hasConceptScore W2772436979C26713055 @default.
- W2772436979 hasConceptScore W2772436979C2780451532 @default.
- W2772436979 hasConceptScore W2772436979C41008148 @default.
- W2772436979 hasConceptScore W2772436979C55439883 @default.
- W2772436979 hasConceptScore W2772436979C80444323 @default.
- W2772436979 hasFunder F4320306076 @default.
- W2772436979 hasIssue "POPL" @default.
- W2772436979 hasLocation W27724369791 @default.
- W2772436979 hasOpenAccess W2772436979 @default.
- W2772436979 hasPrimaryLocation W27724369791 @default.
- W2772436979 hasRelatedWork W1504651774 @default.
- W2772436979 hasRelatedWork W1522809628 @default.
- W2772436979 hasRelatedWork W1548537923 @default.
- W2772436979 hasRelatedWork W1554764448 @default.
- W2772436979 hasRelatedWork W1558874663 @default.
- W2772436979 hasRelatedWork W1984757784 @default.
- W2772436979 hasRelatedWork W2083338789 @default.
- W2772436979 hasRelatedWork W2161047782 @default.
- W2772436979 hasRelatedWork W4238823939 @default.
- W2772436979 hasRelatedWork W2789178056 @default.
- W2772436979 hasVolume "2" @default.
- W2772436979 isParatext "false" @default.
- W2772436979 isRetracted "false" @default.
- W2772436979 magId "2772436979" @default.
- W2772436979 workType "article" @default.