FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2105655507> ?p ?o ?g. }

• W2105655507 abstract "We report on a machine-checked verification of safety for a state-of-the-art, on-the-fly, concurrent, mark-sweep garbage collector that is designed for multi-core architectures with weak memory consistency. The proof explicitly incorporates the relaxed memory semantics of x86 multiprocessors. To our knowledge, this is the first fully machine-checked proof of safety for such a garbage collector. We couch the proof in a framework that system implementers will find appealing, with the fundamental components of the system specified in a simple and intuitive programming language. The abstract model is detailed enough for its correspondence with an assembly language implementation to be straightforward." @default.
• W2105655507 created "2016-06-24" @default.
• W2105655507 creator A5010749835 @default.
• W2105655507 creator A5022983935 @default.
• W2105655507 creator A5027609697 @default.
• W2105655507 date "2015-06-03" @default.
• W2105655507 modified "2023-09-26" @default.
• W2105655507 title "Relaxing safely: verified on-the-fly garbage collection for x86-TSO" @default.
• W2105655507 cites W1509000726 @default.
• W2105655507 cites W1561412378 @default.
• W2105655507 cites W1877513498 @default.
• W2105655507 cites W195012021 @default.
• W2105655507 cites W1965336482 @default.
• W2105655507 cites W1965760540 @default.
• W2105655507 cites W1966891975 @default.
• W2105655507 cites W1977365631 @default.
• W2105655507 cites W2023785576 @default.
• W2105655507 cites W2045255985 @default.
• W2105655507 cites W2062372058 @default.
• W2105655507 cites W2064390891 @default.
• W2105655507 cites W2075373350 @default.
• W2105655507 cites W2080953060 @default.
• W2105655507 cites W2085773946 @default.
• W2105655507 cites W2108365678 @default.
• W2105655507 cites W2136310957 @default.
• W2105655507 cites W2136411771 @default.
• W2105655507 cites W2137484994 @default.
• W2105655507 cites W2151716725 @default.
• W2105655507 cites W2154937878 @default.
• W2105655507 cites W2156004619 @default.
• W2105655507 cites W2158525816 @default.
• W2105655507 cites W2161318861 @default.
• W2105655507 cites W2164288303 @default.
• W2105655507 cites W2168397157 @default.
• W2105655507 cites W4240322740 @default.
• W2105655507 doi "https://doi.org/10.1145/2737924.2738006" @default.
• W2105655507 hasPublicationYear "2015" @default.
• W2105655507 type Work @default.
• W2105655507 sameAs 2105655507 @default.
• W2105655507 citedByCount "18" @default.
• W2105655507 countsByYear W21056555072016 @default.
• W2105655507 countsByYear W21056555072017 @default.
• W2105655507 countsByYear W21056555072018 @default.
• W2105655507 countsByYear W21056555072019 @default.
• W2105655507 countsByYear W21056555072020 @default.
• W2105655507 countsByYear W21056555072022 @default.
• W2105655507 crossrefType "proceedings-article" @default.
• W2105655507 hasAuthorship W2105655507A5010749835 @default.
• W2105655507 hasAuthorship W2105655507A5022983935 @default.
• W2105655507 hasAuthorship W2105655507A5027609697 @default.
• W2105655507 hasConcept C105122174 @default.
• W2105655507 hasConcept C111472728 @default.
• W2105655507 hasConcept C111919701 @default.
• W2105655507 hasConcept C12186640 @default.
• W2105655507 hasConcept C133875982 @default.
• W2105655507 hasConcept C138885662 @default.
• W2105655507 hasConcept C154945302 @default.
• W2105655507 hasConcept C170723468 @default.
• W2105655507 hasConcept C173608175 @default.
• W2105655507 hasConcept C184337299 @default.
• W2105655507 hasConcept C199360897 @default.
• W2105655507 hasConcept C2776436953 @default.
• W2105655507 hasConcept C2777904410 @default.
• W2105655507 hasConcept C2780586882 @default.
• W2105655507 hasConcept C2781020372 @default.
• W2105655507 hasConcept C37279795 @default.
• W2105655507 hasConcept C41008148 @default.
• W2105655507 hasConcept C48103436 @default.
• W2105655507 hasConcept C55439883 @default.
• W2105655507 hasConcept C75403996 @default.
• W2105655507 hasConcept C82029504 @default.
• W2105655507 hasConceptScore W2105655507C105122174 @default.
• W2105655507 hasConceptScore W2105655507C111472728 @default.
• W2105655507 hasConceptScore W2105655507C111919701 @default.
• W2105655507 hasConceptScore W2105655507C12186640 @default.
• W2105655507 hasConceptScore W2105655507C133875982 @default.
• W2105655507 hasConceptScore W2105655507C138885662 @default.
• W2105655507 hasConceptScore W2105655507C154945302 @default.
• W2105655507 hasConceptScore W2105655507C170723468 @default.
• W2105655507 hasConceptScore W2105655507C173608175 @default.
• W2105655507 hasConceptScore W2105655507C184337299 @default.
• W2105655507 hasConceptScore W2105655507C199360897 @default.
• W2105655507 hasConceptScore W2105655507C2776436953 @default.
• W2105655507 hasConceptScore W2105655507C2777904410 @default.
• W2105655507 hasConceptScore W2105655507C2780586882 @default.
• W2105655507 hasConceptScore W2105655507C2781020372 @default.
• W2105655507 hasConceptScore W2105655507C37279795 @default.
• W2105655507 hasConceptScore W2105655507C41008148 @default.
• W2105655507 hasConceptScore W2105655507C48103436 @default.
• W2105655507 hasConceptScore W2105655507C55439883 @default.
• W2105655507 hasConceptScore W2105655507C75403996 @default.
• W2105655507 hasConceptScore W2105655507C82029504 @default.
• W2105655507 hasFunder F4320306076 @default.
• W2105655507 hasLocation W21056555071 @default.
• W2105655507 hasOpenAccess W2105655507 @default.
• W2105655507 hasPrimaryLocation W21056555071 @default.
• W2105655507 hasRelatedWork W1497926378 @default.
• W2105655507 hasRelatedWork W1545451070 @default.
• W2105655507 hasRelatedWork W2084659024 @default.
• W2105655507 hasRelatedWork W2105655507 @default.

• next