Matches in SemOpenAlex for { <https://semopenalex.org/work/W1985679169> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W1985679169 endingPage "388" @default.
- W1985679169 startingPage "377" @default.
- W1985679169 abstract "As multi-core hardware has become more popular, concurrent programming is being more widely adopted in software. In particular, operating systems such as Linux utilize multi-threaded techniques heavily to enhance performance. However, current analysis techniques and tools for validating concurrent programs often fail to detect concurrency bugs in operating systems (OSes) due to the complex characteristics of OSes. To detect concurrency bugs in OSes in a practical manner, we have developed the COncurrency Bug dETector (COBET) framework based on composite bug patterns augmented with semantic conditions. The effectiveness, efficiency, and applicability of COBET were demonstrated by detecting 10 new bugs in file systems, device drivers, and network modules of Linux 2.6.30.4 as confirmed by the Linux maintainers." @default.
- W1985679169 created "2016-06-24" @default.
- W1985679169 creator A5019241757 @default.
- W1985679169 creator A5081305477 @default.
- W1985679169 date "2013-02-01" @default.
- W1985679169 modified "2023-10-09" @default.
- W1985679169 title "Effective pattern-driven concurrency bug detection for operating systems" @default.
- W1985679169 cites W1868584616 @default.
- W1985679169 cites W1972544179 @default.
- W1985679169 cites W2008626182 @default.
- W1985679169 cites W2040864705 @default.
- W1985679169 cites W2045238089 @default.
- W1985679169 cites W4230073887 @default.
- W1985679169 doi "https://doi.org/10.1016/j.jss.2012.08.063" @default.
- W1985679169 hasPublicationYear "2013" @default.
- W1985679169 type Work @default.
- W1985679169 sameAs 1985679169 @default.
- W1985679169 citedByCount "12" @default.
- W1985679169 countsByYear W19856791692013 @default.
- W1985679169 countsByYear W19856791692014 @default.
- W1985679169 countsByYear W19856791692016 @default.
- W1985679169 countsByYear W19856791692017 @default.
- W1985679169 countsByYear W19856791692019 @default.
- W1985679169 countsByYear W19856791692020 @default.
- W1985679169 countsByYear W19856791692022 @default.
- W1985679169 countsByYear W19856791692023 @default.
- W1985679169 crossrefType "journal-article" @default.
- W1985679169 hasAuthorship W1985679169A5019241757 @default.
- W1985679169 hasAuthorship W1985679169A5081305477 @default.
- W1985679169 hasConcept C1009929 @default.
- W1985679169 hasConcept C111919701 @default.
- W1985679169 hasConcept C149635348 @default.
- W1985679169 hasConcept C168065819 @default.
- W1985679169 hasConcept C193702766 @default.
- W1985679169 hasConcept C2777904410 @default.
- W1985679169 hasConcept C2780940931 @default.
- W1985679169 hasConcept C41008148 @default.
- W1985679169 hasConceptScore W1985679169C1009929 @default.
- W1985679169 hasConceptScore W1985679169C111919701 @default.
- W1985679169 hasConceptScore W1985679169C149635348 @default.
- W1985679169 hasConceptScore W1985679169C168065819 @default.
- W1985679169 hasConceptScore W1985679169C193702766 @default.
- W1985679169 hasConceptScore W1985679169C2777904410 @default.
- W1985679169 hasConceptScore W1985679169C2780940931 @default.
- W1985679169 hasConceptScore W1985679169C41008148 @default.
- W1985679169 hasIssue "2" @default.
- W1985679169 hasLocation W19856791691 @default.
- W1985679169 hasOpenAccess W1985679169 @default.
- W1985679169 hasPrimaryLocation W19856791691 @default.
- W1985679169 hasRelatedWork W1520874262 @default.
- W1985679169 hasRelatedWork W1985679169 @default.
- W1985679169 hasRelatedWork W2030750940 @default.
- W1985679169 hasRelatedWork W2151898527 @default.
- W1985679169 hasRelatedWork W2157776318 @default.
- W1985679169 hasRelatedWork W2380581122 @default.
- W1985679169 hasRelatedWork W2387633336 @default.
- W1985679169 hasRelatedWork W2604330940 @default.
- W1985679169 hasRelatedWork W3000369802 @default.
- W1985679169 hasRelatedWork W4233982289 @default.
- W1985679169 hasVolume "86" @default.
- W1985679169 isParatext "false" @default.
- W1985679169 isRetracted "false" @default.
- W1985679169 magId "1985679169" @default.
- W1985679169 workType "article" @default.