Matches in SemOpenAlex for { <https://semopenalex.org/work/W2802863755> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2802863755 abstract "Memory consistency models (MCMs) govern inter-module interactions in a shared memory system and are defined at the various layers of the hardware-software stack. TriCheck is the first tool for full-stack MCM verification. Using TriCheck, we uncovered under-specifications in the draft RISC-V instruction set architecture (ISA) and identified flaws in previously proven-correct C11 compiler mappings." @default.
- W2802863755 created "2018-05-17" @default.
- W2802863755 creator A5002015508 @default.
- W2802863755 creator A5009910914 @default.
- W2802863755 creator A5027050350 @default.
- W2802863755 creator A5070082070 @default.
- W2802863755 creator A5078894707 @default.
- W2802863755 date "2018-05-01" @default.
- W2802863755 modified "2023-09-22" @default.
- W2802863755 title "Full-Stack Memory Model Verification with TriCheck" @default.
- W2802863755 cites W1545792627 @default.
- W2802863755 cites W1857467995 @default.
- W2802863755 cites W2029601347 @default.
- W2802863755 cites W2054739713 @default.
- W2802863755 cites W2152885346 @default.
- W2802863755 cites W2549657998 @default.
- W2802863755 cites W2738891045 @default.
- W2802863755 doi "https://doi.org/10.1109/mm.2018.032271062" @default.
- W2802863755 hasPublicationYear "2018" @default.
- W2802863755 type Work @default.
- W2802863755 sameAs 2802863755 @default.
- W2802863755 citedByCount "2" @default.
- W2802863755 countsByYear W28028637552021 @default.
- W2802863755 countsByYear W28028637552023 @default.
- W2802863755 crossrefType "journal-article" @default.
- W2802863755 hasAuthorship W2802863755A5002015508 @default.
- W2802863755 hasAuthorship W2802863755A5009910914 @default.
- W2802863755 hasAuthorship W2802863755A5027050350 @default.
- W2802863755 hasAuthorship W2802863755A5070082070 @default.
- W2802863755 hasAuthorship W2802863755A5078894707 @default.
- W2802863755 hasConcept C111919701 @default.
- W2802863755 hasConcept C118524514 @default.
- W2802863755 hasConcept C133875982 @default.
- W2802863755 hasConcept C136085584 @default.
- W2802863755 hasConcept C149635348 @default.
- W2802863755 hasConcept C154945302 @default.
- W2802863755 hasConcept C169590947 @default.
- W2802863755 hasConcept C173608175 @default.
- W2802863755 hasConcept C176649486 @default.
- W2802863755 hasConcept C177264268 @default.
- W2802863755 hasConcept C199360897 @default.
- W2802863755 hasConcept C202491316 @default.
- W2802863755 hasConcept C2776436953 @default.
- W2802863755 hasConcept C37279795 @default.
- W2802863755 hasConcept C39528615 @default.
- W2802863755 hasConcept C41008148 @default.
- W2802863755 hasConcept C51290061 @default.
- W2802863755 hasConcept C82029504 @default.
- W2802863755 hasConcept C93361087 @default.
- W2802863755 hasConcept C9395851 @default.
- W2802863755 hasConceptScore W2802863755C111919701 @default.
- W2802863755 hasConceptScore W2802863755C118524514 @default.
- W2802863755 hasConceptScore W2802863755C133875982 @default.
- W2802863755 hasConceptScore W2802863755C136085584 @default.
- W2802863755 hasConceptScore W2802863755C149635348 @default.
- W2802863755 hasConceptScore W2802863755C154945302 @default.
- W2802863755 hasConceptScore W2802863755C169590947 @default.
- W2802863755 hasConceptScore W2802863755C173608175 @default.
- W2802863755 hasConceptScore W2802863755C176649486 @default.
- W2802863755 hasConceptScore W2802863755C177264268 @default.
- W2802863755 hasConceptScore W2802863755C199360897 @default.
- W2802863755 hasConceptScore W2802863755C202491316 @default.
- W2802863755 hasConceptScore W2802863755C2776436953 @default.
- W2802863755 hasConceptScore W2802863755C37279795 @default.
- W2802863755 hasConceptScore W2802863755C39528615 @default.
- W2802863755 hasConceptScore W2802863755C41008148 @default.
- W2802863755 hasConceptScore W2802863755C51290061 @default.
- W2802863755 hasConceptScore W2802863755C82029504 @default.
- W2802863755 hasConceptScore W2802863755C93361087 @default.
- W2802863755 hasConceptScore W2802863755C9395851 @default.
- W2802863755 hasLocation W28028637551 @default.
- W2802863755 hasOpenAccess W2802863755 @default.
- W2802863755 hasPrimaryLocation W28028637551 @default.
- W2802863755 hasRelatedWork W1526458275 @default.
- W2802863755 hasRelatedWork W1537619285 @default.
- W2802863755 hasRelatedWork W1820508108 @default.
- W2802863755 hasRelatedWork W2004336199 @default.
- W2802863755 hasRelatedWork W2080920031 @default.
- W2802863755 hasRelatedWork W2096506606 @default.
- W2802863755 hasRelatedWork W2097931542 @default.
- W2802863755 hasRelatedWork W2102022837 @default.
- W2802863755 hasRelatedWork W2108014707 @default.
- W2802863755 hasRelatedWork W2110856615 @default.
- W2802863755 hasRelatedWork W2113267301 @default.
- W2802863755 hasRelatedWork W2122839663 @default.
- W2802863755 hasRelatedWork W2131017602 @default.
- W2802863755 hasRelatedWork W2145484885 @default.
- W2802863755 hasRelatedWork W2151310824 @default.
- W2802863755 hasRelatedWork W3005135768 @default.
- W2802863755 hasRelatedWork W3146321520 @default.
- W2802863755 hasRelatedWork W70233972 @default.
- W2802863755 hasRelatedWork W1965261831 @default.
- W2802863755 hasRelatedWork W2183580357 @default.
- W2802863755 isParatext "false" @default.
- W2802863755 isRetracted "false" @default.
- W2802863755 magId "2802863755" @default.
- W2802863755 workType "article" @default.