Matches in SemOpenAlex for { <https://semopenalex.org/work/W2997474689> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2997474689 endingPage "325" @default.
- W2997474689 startingPage "316" @default.
- W2997474689 abstract "Programming environments for smartphones expose a concurrency model that combines multi-threading and asynchronous event-based dispatch. While this enables the development of efficient and feature-rich applications, unforeseen thread interleavings coupled with non-deterministic reorderings of asynchronous tasks can lead to subtle concurrency errors in the applications. In this paper, we formalize the concurrency semantics of the Android programming model. We further define the happens-before relation for Android applications, and develop a dynamic race detection technique based on this relation. Our relation generalizes the so far independently studied happens-before relations for multi-threaded programs and single-threaded event-driven programs. Additionally, our race detection technique uses a model of the Android runtime environment to reduce false positives. We have implemented a tool called DroidRacer. It generates execution traces by systematically testing Android applications and detects data races by computing the happens-before relation on the traces. We analyzed 15 Android applications including popular applications such as Facebook, Twitter and K-9 Mail. Our results indicate that data races are prevalent in Android applications, and that DroidRacer is an effective tool to identify data races." @default.
- W2997474689 created "2020-01-10" @default.
- W2997474689 creator A5018329660 @default.
- W2997474689 creator A5025526502 @default.
- W2997474689 creator A5073505857 @default.
- W2997474689 date "2014-06-05" @default.
- W2997474689 modified "2023-10-17" @default.
- W2997474689 title "Race detection for Android applications" @default.
- W2997474689 cites W1572187826 @default.
- W2997474689 cites W1970363544 @default.
- W2997474689 cites W1972433423 @default.
- W2997474689 cites W1972544179 @default.
- W2997474689 cites W2002946738 @default.
- W2997474689 cites W2011565812 @default.
- W2997474689 cites W2013856010 @default.
- W2997474689 cites W2031575609 @default.
- W2997474689 cites W2033348393 @default.
- W2997474689 cites W2045238089 @default.
- W2997474689 cites W2061504544 @default.
- W2997474689 cites W2072419942 @default.
- W2997474689 cites W2088749975 @default.
- W2997474689 cites W2109875364 @default.
- W2997474689 cites W2125555950 @default.
- W2997474689 cites W2127989655 @default.
- W2997474689 cites W2133887243 @default.
- W2997474689 cites W2141018153 @default.
- W2997474689 cites W2154007527 @default.
- W2997474689 cites W2154557525 @default.
- W2997474689 cites W2156370972 @default.
- W2997474689 cites W2166150184 @default.
- W2997474689 cites W2167744164 @default.
- W2997474689 cites W3137220996 @default.
- W2997474689 cites W3175485889 @default.
- W2997474689 cites W4248655060 @default.
- W2997474689 cites W4251803824 @default.
- W2997474689 cites W4300810260 @default.
- W2997474689 doi "https://doi.org/10.1145/2666356.2594311" @default.
- W2997474689 hasPublicationYear "2014" @default.
- W2997474689 type Work @default.
- W2997474689 sameAs 2997474689 @default.
- W2997474689 citedByCount "37" @default.
- W2997474689 countsByYear W29974746892015 @default.
- W2997474689 countsByYear W29974746892016 @default.
- W2997474689 countsByYear W29974746892017 @default.
- W2997474689 countsByYear W29974746892018 @default.
- W2997474689 countsByYear W29974746892019 @default.
- W2997474689 countsByYear W29974746892020 @default.
- W2997474689 countsByYear W29974746892021 @default.
- W2997474689 countsByYear W29974746892022 @default.
- W2997474689 countsByYear W29974746892023 @default.
- W2997474689 crossrefType "journal-article" @default.
- W2997474689 hasAuthorship W2997474689A5018329660 @default.
- W2997474689 hasAuthorship W2997474689A5025526502 @default.
- W2997474689 hasAuthorship W2997474689A5073505857 @default.
- W2997474689 hasConcept C111919701 @default.
- W2997474689 hasConcept C120314980 @default.
- W2997474689 hasConcept C138101251 @default.
- W2997474689 hasConcept C151319957 @default.
- W2997474689 hasConcept C193702766 @default.
- W2997474689 hasConcept C199360897 @default.
- W2997474689 hasConcept C31258907 @default.
- W2997474689 hasConcept C41008148 @default.
- W2997474689 hasConcept C557433098 @default.
- W2997474689 hasConcept C97686452 @default.
- W2997474689 hasConceptScore W2997474689C111919701 @default.
- W2997474689 hasConceptScore W2997474689C120314980 @default.
- W2997474689 hasConceptScore W2997474689C138101251 @default.
- W2997474689 hasConceptScore W2997474689C151319957 @default.
- W2997474689 hasConceptScore W2997474689C193702766 @default.
- W2997474689 hasConceptScore W2997474689C199360897 @default.
- W2997474689 hasConceptScore W2997474689C31258907 @default.
- W2997474689 hasConceptScore W2997474689C41008148 @default.
- W2997474689 hasConceptScore W2997474689C557433098 @default.
- W2997474689 hasConceptScore W2997474689C97686452 @default.
- W2997474689 hasFunder F4320320719 @default.
- W2997474689 hasFunder F4320321114 @default.
- W2997474689 hasFunder F4320322434 @default.
- W2997474689 hasIssue "6" @default.
- W2997474689 hasLocation W29974746891 @default.
- W2997474689 hasOpenAccess W2997474689 @default.
- W2997474689 hasPrimaryLocation W29974746891 @default.
- W2997474689 hasRelatedWork W1970363544 @default.
- W2997474689 hasRelatedWork W2351305110 @default.
- W2997474689 hasRelatedWork W2364921833 @default.
- W2997474689 hasRelatedWork W2624440775 @default.
- W2997474689 hasRelatedWork W2899486387 @default.
- W2997474689 hasRelatedWork W2998398829 @default.
- W2997474689 hasRelatedWork W3017218903 @default.
- W2997474689 hasRelatedWork W3124552724 @default.
- W2997474689 hasRelatedWork W4206956498 @default.
- W2997474689 hasRelatedWork W4232891356 @default.
- W2997474689 hasVolume "49" @default.
- W2997474689 isParatext "false" @default.
- W2997474689 isRetracted "false" @default.
- W2997474689 magId "2997474689" @default.
- W2997474689 workType "article" @default.