Matches in SemOpenAlex for { <https://semopenalex.org/work/W4251803824> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W4251803824 abstract "This paper describes RacerX, a static tool that uses flow-sensitive, interprocedural analysis to detect both race conditions and deadlocks. It is explicitly designed to find errors in large, complex multithreaded systems. It aggressively infers checking information such as which locks protect which operations, which code contexts are multithreaded, and which shared accesses are dangerous. It tracks a set of code features which it uses to sort errors both from most to least severe. It uses novel techniques to counter the impact of analysis mistakes. The tool is fast, requiring between 2-14 minutes to analyze a 1.8 million line system. We have applied it to Linux, FreeBSD, and a large commercial code base, finding serious errors in all of them. RacerX is a static tool that uses flow-sensitive, interprocedural analysis to detect both race conditions and deadlocks. It uses novel strategies to infer checking information such as which locks protect which operations, which code contexts are multithreaded, and which shared accesses are dangerous. We applied it to FreeBSD, Linux and a large commercial code base and found serious errors in all of them." @default.
- W4251803824 created "2022-05-12" @default.
- W4251803824 creator A5020511284 @default.
- W4251803824 creator A5052451860 @default.
- W4251803824 date "2003-10-19" @default.
- W4251803824 modified "2023-10-12" @default.
- W4251803824 title "RacerX" @default.
- W4251803824 cites W1972544179 @default.
- W4251803824 cites W2019611783 @default.
- W4251803824 cites W2022185456 @default.
- W4251803824 cites W2043811931 @default.
- W4251803824 cites W2066952803 @default.
- W4251803824 cites W2080573945 @default.
- W4251803824 cites W2097687957 @default.
- W4251803824 cites W2103714221 @default.
- W4251803824 cites W2106247017 @default.
- W4251803824 cites W2106972913 @default.
- W4251803824 cites W2107978495 @default.
- W4251803824 cites W2109875364 @default.
- W4251803824 cites W2135274583 @default.
- W4251803824 cites W2156428492 @default.
- W4251803824 cites W2161600851 @default.
- W4251803824 cites W2162446957 @default.
- W4251803824 cites W2170200862 @default.
- W4251803824 cites W3137220996 @default.
- W4251803824 doi "https://doi.org/10.1145/945445.945468" @default.
- W4251803824 hasPublicationYear "2003" @default.
- W4251803824 type Work @default.
- W4251803824 citedByCount "324" @default.
- W4251803824 countsByYear W42518038242012 @default.
- W4251803824 countsByYear W42518038242013 @default.
- W4251803824 countsByYear W42518038242014 @default.
- W4251803824 countsByYear W42518038242015 @default.
- W4251803824 countsByYear W42518038242016 @default.
- W4251803824 countsByYear W42518038242017 @default.
- W4251803824 countsByYear W42518038242018 @default.
- W4251803824 countsByYear W42518038242019 @default.
- W4251803824 countsByYear W42518038242020 @default.
- W4251803824 countsByYear W42518038242021 @default.
- W4251803824 countsByYear W42518038242022 @default.
- W4251803824 countsByYear W42518038242023 @default.
- W4251803824 crossrefType "proceedings-article" @default.
- W4251803824 hasAuthorship W4251803824A5020511284 @default.
- W4251803824 hasAuthorship W4251803824A5052451860 @default.
- W4251803824 hasConcept C111919701 @default.
- W4251803824 hasConcept C177264268 @default.
- W4251803824 hasConcept C199360897 @default.
- W4251803824 hasConcept C2776760102 @default.
- W4251803824 hasConcept C41008148 @default.
- W4251803824 hasConcept C77088390 @default.
- W4251803824 hasConcept C88548561 @default.
- W4251803824 hasConcept C97686452 @default.
- W4251803824 hasConceptScore W4251803824C111919701 @default.
- W4251803824 hasConceptScore W4251803824C177264268 @default.
- W4251803824 hasConceptScore W4251803824C199360897 @default.
- W4251803824 hasConceptScore W4251803824C2776760102 @default.
- W4251803824 hasConceptScore W4251803824C41008148 @default.
- W4251803824 hasConceptScore W4251803824C77088390 @default.
- W4251803824 hasConceptScore W4251803824C88548561 @default.
- W4251803824 hasConceptScore W4251803824C97686452 @default.
- W4251803824 hasLocation W42518038241 @default.
- W4251803824 hasOpenAccess W4251803824 @default.
- W4251803824 hasPrimaryLocation W42518038241 @default.
- W4251803824 hasRelatedWork W2013111119 @default.
- W4251803824 hasRelatedWork W2060012464 @default.
- W4251803824 hasRelatedWork W2112962394 @default.
- W4251803824 hasRelatedWork W2118300983 @default.
- W4251803824 hasRelatedWork W2382501300 @default.
- W4251803824 hasRelatedWork W3137189469 @default.
- W4251803824 hasRelatedWork W3162240892 @default.
- W4251803824 hasRelatedWork W4235530921 @default.
- W4251803824 hasRelatedWork W4243252198 @default.
- W4251803824 hasRelatedWork W4245713008 @default.
- W4251803824 isParatext "false" @default.
- W4251803824 isRetracted "false" @default.
- W4251803824 workType "article" @default.