Matches in SemOpenAlex for { <https://semopenalex.org/work/W1982125317> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W1982125317 endingPage "35" @default.
- W1982125317 startingPage "26" @default.
- W1982125317 abstract "This article proposes an innovative concurrent-program invariant that captures programmers' atomicity assumptions. It describes a tool with two implementations, one in software and the other using hardware support that can automatically extract such invariants and detect atomicity violation bugs" @default.
- W1982125317 created "2016-06-24" @default.
- W1982125317 creator A5023021993 @default.
- W1982125317 creator A5028781688 @default.
- W1982125317 creator A5044337890 @default.
- W1982125317 creator A5066842100 @default.
- W1982125317 date "2007-01-01" @default.
- W1982125317 modified "2023-09-24" @default.
- W1982125317 title "AVIO: Detecting Atomicity Violations via Access-Interleaving Invariants" @default.
- W1982125317 cites W1972544179 @default.
- W1982125317 cites W1982125317 @default.
- W1982125317 cites W2082766667 @default.
- W1982125317 cites W2127532866 @default.
- W1982125317 cites W4211221689 @default.
- W1982125317 cites W4242949098 @default.
- W1982125317 cites W4243324871 @default.
- W1982125317 cites W4244583165 @default.
- W1982125317 cites W4249175590 @default.
- W1982125317 doi "https://doi.org/10.1109/mm.2007.5" @default.
- W1982125317 hasPublicationYear "2007" @default.
- W1982125317 type Work @default.
- W1982125317 sameAs 1982125317 @default.
- W1982125317 citedByCount "55" @default.
- W1982125317 countsByYear W19821253172012 @default.
- W1982125317 countsByYear W19821253172013 @default.
- W1982125317 countsByYear W19821253172014 @default.
- W1982125317 countsByYear W19821253172015 @default.
- W1982125317 countsByYear W19821253172016 @default.
- W1982125317 countsByYear W19821253172017 @default.
- W1982125317 countsByYear W19821253172018 @default.
- W1982125317 countsByYear W19821253172019 @default.
- W1982125317 countsByYear W19821253172020 @default.
- W1982125317 countsByYear W19821253172022 @default.
- W1982125317 countsByYear W19821253172023 @default.
- W1982125317 crossrefType "journal-article" @default.
- W1982125317 hasAuthorship W1982125317A5023021993 @default.
- W1982125317 hasAuthorship W1982125317A5028781688 @default.
- W1982125317 hasAuthorship W1982125317A5044337890 @default.
- W1982125317 hasAuthorship W1982125317A5066842100 @default.
- W1982125317 hasBestOaLocation W19821253172 @default.
- W1982125317 hasConcept C111919701 @default.
- W1982125317 hasConcept C121332964 @default.
- W1982125317 hasConcept C173608175 @default.
- W1982125317 hasConcept C188045909 @default.
- W1982125317 hasConcept C190470478 @default.
- W1982125317 hasConcept C193702766 @default.
- W1982125317 hasConcept C199360897 @default.
- W1982125317 hasConcept C26713055 @default.
- W1982125317 hasConcept C2777904410 @default.
- W1982125317 hasConcept C28034677 @default.
- W1982125317 hasConcept C37914503 @default.
- W1982125317 hasConcept C41008148 @default.
- W1982125317 hasConcept C75949130 @default.
- W1982125317 hasConceptScore W1982125317C111919701 @default.
- W1982125317 hasConceptScore W1982125317C121332964 @default.
- W1982125317 hasConceptScore W1982125317C173608175 @default.
- W1982125317 hasConceptScore W1982125317C188045909 @default.
- W1982125317 hasConceptScore W1982125317C190470478 @default.
- W1982125317 hasConceptScore W1982125317C193702766 @default.
- W1982125317 hasConceptScore W1982125317C199360897 @default.
- W1982125317 hasConceptScore W1982125317C26713055 @default.
- W1982125317 hasConceptScore W1982125317C2777904410 @default.
- W1982125317 hasConceptScore W1982125317C28034677 @default.
- W1982125317 hasConceptScore W1982125317C37914503 @default.
- W1982125317 hasConceptScore W1982125317C41008148 @default.
- W1982125317 hasConceptScore W1982125317C75949130 @default.
- W1982125317 hasIssue "1" @default.
- W1982125317 hasLocation W19821253171 @default.
- W1982125317 hasLocation W19821253172 @default.
- W1982125317 hasLocation W19821253173 @default.
- W1982125317 hasOpenAccess W1982125317 @default.
- W1982125317 hasPrimaryLocation W19821253171 @default.
- W1982125317 hasRelatedWork W1824798286 @default.
- W1982125317 hasRelatedWork W1984757784 @default.
- W1982125317 hasRelatedWork W2010830544 @default.
- W1982125317 hasRelatedWork W2083338789 @default.
- W1982125317 hasRelatedWork W2105856903 @default.
- W1982125317 hasRelatedWork W2328701659 @default.
- W1982125317 hasRelatedWork W2575729524 @default.
- W1982125317 hasRelatedWork W2614427934 @default.
- W1982125317 hasRelatedWork W2998398829 @default.
- W1982125317 hasRelatedWork W4206956498 @default.
- W1982125317 hasVolume "27" @default.
- W1982125317 isParatext "false" @default.
- W1982125317 isRetracted "false" @default.
- W1982125317 magId "1982125317" @default.
- W1982125317 workType "article" @default.