Matches in SemOpenAlex for { <https://semopenalex.org/work/W2729732978> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W2729732978 startingPage "28" @default.
- W2729732978 abstract "We prove the correctness of compilation of relaxed memory accesses and release-acquire fences from the semantics of [Kang et al. POPL'17] to the ARMv8 POP machine of [Flur et al. POPL'16]. The proof is highly non-trivial because both the ARMv8 POP and the promising semantics provide some extremely weak consistency guarantees for normal memory accesses; however, they do so in rather different ways. Our proof of compilation correctness to ARMv8 POP strengthens the results of the Kang et al., who only proved the correctness of compilation to x86-TSO and Power, which are much simpler in comparison to ARMv8 POP." @default.
- W2729732978 created "2017-07-14" @default.
- W2729732978 creator A5004737121 @default.
- W2729732978 creator A5023359178 @default.
- W2729732978 creator A5082235493 @default.
- W2729732978 date "2017-01-01" @default.
- W2729732978 modified "2023-09-23" @default.
- W2729732978 title "Promising Compilation to ARMv8 POP" @default.
- W2729732978 doi "https://doi.org/10.4230/lipics.ecoop.2017.22" @default.
- W2729732978 hasPublicationYear "2017" @default.
- W2729732978 type Work @default.
- W2729732978 sameAs 2729732978 @default.
- W2729732978 citedByCount "3" @default.
- W2729732978 countsByYear W27297329782022 @default.
- W2729732978 crossrefType "proceedings-article" @default.
- W2729732978 hasAuthorship W2729732978A5004737121 @default.
- W2729732978 hasAuthorship W2729732978A5023359178 @default.
- W2729732978 hasAuthorship W2729732978A5082235493 @default.
- W2729732978 hasConcept C154945302 @default.
- W2729732978 hasConcept C184337299 @default.
- W2729732978 hasConcept C199360897 @default.
- W2729732978 hasConcept C2776436953 @default.
- W2729732978 hasConcept C37279795 @default.
- W2729732978 hasConcept C41008148 @default.
- W2729732978 hasConcept C55439883 @default.
- W2729732978 hasConcept C82029504 @default.
- W2729732978 hasConceptScore W2729732978C154945302 @default.
- W2729732978 hasConceptScore W2729732978C184337299 @default.
- W2729732978 hasConceptScore W2729732978C199360897 @default.
- W2729732978 hasConceptScore W2729732978C2776436953 @default.
- W2729732978 hasConceptScore W2729732978C37279795 @default.
- W2729732978 hasConceptScore W2729732978C41008148 @default.
- W2729732978 hasConceptScore W2729732978C55439883 @default.
- W2729732978 hasConceptScore W2729732978C82029504 @default.
- W2729732978 hasLocation W27297329781 @default.
- W2729732978 hasOpenAccess W2729732978 @default.
- W2729732978 hasPrimaryLocation W27297329781 @default.
- W2729732978 hasRelatedWork W1496551897 @default.
- W2729732978 hasRelatedWork W1547285994 @default.
- W2729732978 hasRelatedWork W1552671118 @default.
- W2729732978 hasRelatedWork W1885991348 @default.
- W2729732978 hasRelatedWork W1936017528 @default.
- W2729732978 hasRelatedWork W2052581162 @default.
- W2729732978 hasRelatedWork W2126891436 @default.
- W2729732978 hasRelatedWork W2144973344 @default.
- W2729732978 hasRelatedWork W2168280567 @default.
- W2729732978 hasRelatedWork W2295642466 @default.
- W2729732978 hasRelatedWork W2515364383 @default.
- W2729732978 hasRelatedWork W2626224273 @default.
- W2729732978 hasRelatedWork W2750805175 @default.
- W2729732978 hasRelatedWork W34452851 @default.
- W2729732978 hasRelatedWork W43926523 @default.
- W2729732978 hasRelatedWork W571996087 @default.
- W2729732978 isParatext "false" @default.
- W2729732978 isRetracted "false" @default.
- W2729732978 magId "2729732978" @default.
- W2729732978 workType "article" @default.