Matches in SemOpenAlex for { <https://semopenalex.org/work/W4287185785> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W4287185785 abstract "We present an approach for implementing a formally certified loop-invariant code motion optimization by composing an unrolling pass and a formally certified yet efficient global subexpression elimination.This approach is lightweight: each pass comes with a simple and independent proof of correctness.Experiments show the approach significantly narrows the performance gap between the CompCert certified compiler and state-of-the-art optimizing compilers.Our static analysis employs an efficient yet verified hashed set structure, resulting in fast compilation." @default.
- W4287185785 created "2022-07-25" @default.
- W4287185785 creator A5014729901 @default.
- W4287185785 creator A5067069157 @default.
- W4287185785 date "2021-05-04" @default.
- W4287185785 modified "2023-09-24" @default.
- W4287185785 title "Simple, Light, Yet Formally Verified, Global Common Subexpression Elimination and Loop-Invariant Code Motion" @default.
- W4287185785 doi "https://doi.org/10.48550/arxiv.2105.01344" @default.
- W4287185785 hasPublicationYear "2021" @default.
- W4287185785 type Work @default.
- W4287185785 citedByCount "0" @default.
- W4287185785 crossrefType "posted-content" @default.
- W4287185785 hasAuthorship W4287185785A5014729901 @default.
- W4287185785 hasAuthorship W4287185785A5067069157 @default.
- W4287185785 hasBestOaLocation W42871857851 @default.
- W4287185785 hasConcept C111472728 @default.
- W4287185785 hasConcept C111919701 @default.
- W4287185785 hasConcept C11413529 @default.
- W4287185785 hasConcept C133162039 @default.
- W4287185785 hasConcept C138885662 @default.
- W4287185785 hasConcept C139571649 @default.
- W4287185785 hasConcept C154526789 @default.
- W4287185785 hasConcept C169590947 @default.
- W4287185785 hasConcept C173608175 @default.
- W4287185785 hasConcept C177264268 @default.
- W4287185785 hasConcept C17744445 @default.
- W4287185785 hasConcept C190470478 @default.
- W4287185785 hasConcept C190902152 @default.
- W4287185785 hasConcept C199360897 @default.
- W4287185785 hasConcept C199539241 @default.
- W4287185785 hasConcept C2144512 @default.
- W4287185785 hasConcept C26517878 @default.
- W4287185785 hasConcept C2776760102 @default.
- W4287185785 hasConcept C2780586882 @default.
- W4287185785 hasConcept C33923547 @default.
- W4287185785 hasConcept C37914503 @default.
- W4287185785 hasConcept C41008148 @default.
- W4287185785 hasConcept C46304622 @default.
- W4287185785 hasConcept C55439883 @default.
- W4287185785 hasConcept C76970557 @default.
- W4287185785 hasConcept C80444323 @default.
- W4287185785 hasConceptScore W4287185785C111472728 @default.
- W4287185785 hasConceptScore W4287185785C111919701 @default.
- W4287185785 hasConceptScore W4287185785C11413529 @default.
- W4287185785 hasConceptScore W4287185785C133162039 @default.
- W4287185785 hasConceptScore W4287185785C138885662 @default.
- W4287185785 hasConceptScore W4287185785C139571649 @default.
- W4287185785 hasConceptScore W4287185785C154526789 @default.
- W4287185785 hasConceptScore W4287185785C169590947 @default.
- W4287185785 hasConceptScore W4287185785C173608175 @default.
- W4287185785 hasConceptScore W4287185785C177264268 @default.
- W4287185785 hasConceptScore W4287185785C17744445 @default.
- W4287185785 hasConceptScore W4287185785C190470478 @default.
- W4287185785 hasConceptScore W4287185785C190902152 @default.
- W4287185785 hasConceptScore W4287185785C199360897 @default.
- W4287185785 hasConceptScore W4287185785C199539241 @default.
- W4287185785 hasConceptScore W4287185785C2144512 @default.
- W4287185785 hasConceptScore W4287185785C26517878 @default.
- W4287185785 hasConceptScore W4287185785C2776760102 @default.
- W4287185785 hasConceptScore W4287185785C2780586882 @default.
- W4287185785 hasConceptScore W4287185785C33923547 @default.
- W4287185785 hasConceptScore W4287185785C37914503 @default.
- W4287185785 hasConceptScore W4287185785C41008148 @default.
- W4287185785 hasConceptScore W4287185785C46304622 @default.
- W4287185785 hasConceptScore W4287185785C55439883 @default.
- W4287185785 hasConceptScore W4287185785C76970557 @default.
- W4287185785 hasConceptScore W4287185785C80444323 @default.
- W4287185785 hasLocation W42871857851 @default.
- W4287185785 hasLocation W42871857852 @default.
- W4287185785 hasLocation W42871857853 @default.
- W4287185785 hasOpenAccess W4287185785 @default.
- W4287185785 hasPrimaryLocation W42871857851 @default.
- W4287185785 hasRelatedWork W146262440 @default.
- W4287185785 hasRelatedWork W1522113126 @default.
- W4287185785 hasRelatedWork W1814870153 @default.
- W4287185785 hasRelatedWork W2069811640 @default.
- W4287185785 hasRelatedWork W2134386444 @default.
- W4287185785 hasRelatedWork W2164503864 @default.
- W4287185785 hasRelatedWork W2166060139 @default.
- W4287185785 hasRelatedWork W2899120827 @default.
- W4287185785 hasRelatedWork W3158774568 @default.
- W4287185785 hasRelatedWork W4225671692 @default.
- W4287185785 isParatext "false" @default.
- W4287185785 isRetracted "false" @default.
- W4287185785 workType "article" @default.