FRINK Linked Data Fragments server

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

• W3174414418 abstract "Data races are among the worst bugs in software in that they exhibit non-deterministic symptoms and are notoriously difficult to detect. The problem is exacerbated by interactions between threads and events in real-world applications. We present a novel static analysis technique, O2, to detect data races in large complex multithreaded and event-driven software. O2 is powered by “origins”, an abstraction that unifies threads and events by treating them as entry points of code paths attributed with data pointers. Origins in most cases are inferred automatically, but can also be specified by developers. More importantly, origins provide an efficient way to precisely reason about shared memory and pointer aliases." @default.
• W3174414418 created "2021-07-05" @default.
• W3174414418 creator A5018459020 @default.
• W3174414418 creator A5023990803 @default.
• W3174414418 creator A5030297011 @default.
• W3174414418 creator A5045204301 @default.
• W3174414418 creator A5052381120 @default.
• W3174414418 creator A5089860490 @default.
• W3174414418 date "2021-06-18" @default.
• W3174414418 modified "2023-09-30" @default.
• W3174414418 title "When threads meet events: efficient and precise static race detection with origins" @default.
• W3174414418 cites W1887412317 @default.
• W3174414418 cites W1969610731 @default.
• W3174414418 cites W1970363544 @default.
• W3174414418 cites W1982335633 @default.
• W3174414418 cites W1989147905 @default.
• W3174414418 cites W2013578854 @default.
• W3174414418 cites W2025819261 @default.
• W3174414418 cites W2029674270 @default.
• W3174414418 cites W2030697178 @default.
• W3174414418 cites W2031491316 @default.
• W3174414418 cites W2080404640 @default.
• W3174414418 cites W2083636040 @default.
• W3174414418 cites W2097082781 @default.
• W3174414418 cites W2101431901 @default.
• W3174414418 cites W2103086562 @default.
• W3174414418 cites W2113238444 @default.
• W3174414418 cites W2117184262 @default.
• W3174414418 cites W2127163775 @default.
• W3174414418 cites W2127989655 @default.
• W3174414418 cites W2154557525 @default.
• W3174414418 cites W2156370972 @default.
• W3174414418 cites W2159856414 @default.
• W3174414418 cites W2162544703 @default.
• W3174414418 cites W2166091242 @default.
• W3174414418 cites W2166743230 @default.
• W3174414418 cites W2167744164 @default.
• W3174414418 cites W2184209356 @default.
• W3174414418 cites W2289498116 @default.
• W3174414418 cites W2548714034 @default.
• W3174414418 cites W2604213242 @default.
• W3174414418 cites W2791028228 @default.
• W3174414418 cites W2794168745 @default.
• W3174414418 cites W2798710664 @default.
• W3174414418 cites W2803054784 @default.
• W3174414418 cites W2898125173 @default.
• W3174414418 cites W2898232260 @default.
• W3174414418 cites W2898502769 @default.
• W3174414418 cites W2899357780 @default.
• W3174414418 cites W2979880065 @default.
• W3174414418 cites W2980018082 @default.
• W3174414418 cites W3143604116 @default.
• W3174414418 cites W4237737995 @default.
• W3174414418 cites W4248655060 @default.
• W3174414418 cites W4249000722 @default.
• W3174414418 cites W4251478049 @default.
• W3174414418 cites W4251803824 @default.
• W3174414418 cites W4252120627 @default.
• W3174414418 cites W4300810260 @default.
• W3174414418 doi "https://doi.org/10.1145/3453483.3454073" @default.
• W3174414418 hasPublicationYear "2021" @default.
• W3174414418 type Work @default.
• W3174414418 sameAs 3174414418 @default.
• W3174414418 citedByCount "5" @default.
• W3174414418 countsByYear W31744144182022 @default.
• W3174414418 countsByYear W31744144182023 @default.
• W3174414418 crossrefType "proceedings-article" @default.
• W3174414418 hasAuthorship W3174414418A5018459020 @default.
• W3174414418 hasAuthorship W3174414418A5023990803 @default.
• W3174414418 hasAuthorship W3174414418A5030297011 @default.
• W3174414418 hasAuthorship W3174414418A5045204301 @default.
• W3174414418 hasAuthorship W3174414418A5052381120 @default.
• W3174414418 hasAuthorship W3174414418A5089860490 @default.
• W3174414418 hasBestOaLocation W31744144181 @default.
• W3174414418 hasConcept C111472728 @default.
• W3174414418 hasConcept C121332964 @default.
• W3174414418 hasConcept C124304363 @default.
• W3174414418 hasConcept C138885662 @default.
• W3174414418 hasConcept C150202949 @default.
• W3174414418 hasConcept C154945302 @default.
• W3174414418 hasConcept C173608175 @default.
• W3174414418 hasConcept C199360897 @default.
• W3174414418 hasConcept C2777904410 @default.
• W3174414418 hasConcept C2779662365 @default.
• W3174414418 hasConcept C28180684 @default.
• W3174414418 hasConcept C41008148 @default.
• W3174414418 hasConcept C62520636 @default.
• W3174414418 hasConcept C80444323 @default.
• W3174414418 hasConcept C97686452 @default.
• W3174414418 hasConceptScore W3174414418C111472728 @default.
• W3174414418 hasConceptScore W3174414418C121332964 @default.
• W3174414418 hasConceptScore W3174414418C124304363 @default.
• W3174414418 hasConceptScore W3174414418C138885662 @default.
• W3174414418 hasConceptScore W3174414418C150202949 @default.
• W3174414418 hasConceptScore W3174414418C154945302 @default.
• W3174414418 hasConceptScore W3174414418C173608175 @default.
• W3174414418 hasConceptScore W3174414418C199360897 @default.
• W3174414418 hasConceptScore W3174414418C2777904410 @default.
• W3174414418 hasConceptScore W3174414418C2779662365 @default.
• W3174414418 hasConceptScore W3174414418C28180684 @default.

• next