Matches in SemOpenAlex for { <https://semopenalex.org/work/W2899492704> ?p ?o ?g. }
- W2899492704 abstract "A multithreaded program's interleaving space is discrete and astronomically large, making effectively sampling thread schedules for manifesting concurrency bugs a challenging task. Observing that concurrency bugs can be manifested by adjusting thread relative speeds, this paper presents the new concept of speed space in which each vector denotes a family of thread schedules. A multithreaded program's speed space is approximately continuous, easy-to-sample, and preserves certain categories of concurrency bugs. We discuss the design, implementation, and evaluation of our speed-controlled scheduler for exploring adversarial/abnormal schedules. The experimental results confirm that our technique is effective in sampling diverse schedules. Our implementation also found previously unknown concurrency bugs in real-world multithreaded programs." @default.
- W2899492704 created "2018-11-09" @default.
- W2899492704 creator A5037645622 @default.
- W2899492704 creator A5041674680 @default.
- W2899492704 creator A5044742951 @default.
- W2899492704 creator A5052203980 @default.
- W2899492704 creator A5075200081 @default.
- W2899492704 date "2018-10-26" @default.
- W2899492704 modified "2023-09-23" @default.
- W2899492704 title "Testing multithreaded programs via thread speed control" @default.
- W2899492704 cites W1971500760 @default.
- W2899492704 cites W1979823412 @default.
- W2899492704 cites W2024875714 @default.
- W2899492704 cites W2041235686 @default.
- W2899492704 cites W2046368282 @default.
- W2899492704 cites W2051016152 @default.
- W2899492704 cites W2065675749 @default.
- W2899492704 cites W2078197548 @default.
- W2899492704 cites W2084719450 @default.
- W2899492704 cites W2091085450 @default.
- W2899492704 cites W2101161997 @default.
- W2899492704 cites W2122532513 @default.
- W2899492704 cites W2133697637 @default.
- W2899492704 cites W2134440791 @default.
- W2899492704 cites W2135395375 @default.
- W2899492704 cites W2135948849 @default.
- W2899492704 cites W2150602145 @default.
- W2899492704 cites W2153229512 @default.
- W2899492704 cites W2153723363 @default.
- W2899492704 cites W2158124716 @default.
- W2899492704 cites W2159856414 @default.
- W2899492704 cites W2166841005 @default.
- W2899492704 cites W2167744164 @default.
- W2899492704 cites W2296019735 @default.
- W2899492704 cites W2528919074 @default.
- W2899492704 cites W2606910946 @default.
- W2899492704 cites W2619153025 @default.
- W2899492704 cites W2761662547 @default.
- W2899492704 cites W3137220996 @default.
- W2899492704 cites W4230480080 @default.
- W2899492704 cites W4236306709 @default.
- W2899492704 cites W4254906220 @default.
- W2899492704 doi "https://doi.org/10.1145/3236024.3236077" @default.
- W2899492704 hasPublicationYear "2018" @default.
- W2899492704 type Work @default.
- W2899492704 sameAs 2899492704 @default.
- W2899492704 citedByCount "12" @default.
- W2899492704 countsByYear W28994927042019 @default.
- W2899492704 countsByYear W28994927042020 @default.
- W2899492704 countsByYear W28994927042021 @default.
- W2899492704 countsByYear W28994927042022 @default.
- W2899492704 countsByYear W28994927042023 @default.
- W2899492704 crossrefType "proceedings-article" @default.
- W2899492704 hasAuthorship W2899492704A5037645622 @default.
- W2899492704 hasAuthorship W2899492704A5041674680 @default.
- W2899492704 hasAuthorship W2899492704A5044742951 @default.
- W2899492704 hasAuthorship W2899492704A5052203980 @default.
- W2899492704 hasAuthorship W2899492704A5075200081 @default.
- W2899492704 hasConcept C111919701 @default.
- W2899492704 hasConcept C120314980 @default.
- W2899492704 hasConcept C138101251 @default.
- W2899492704 hasConcept C168065819 @default.
- W2899492704 hasConcept C173608175 @default.
- W2899492704 hasConcept C193702766 @default.
- W2899492704 hasConcept C199360897 @default.
- W2899492704 hasConcept C201410400 @default.
- W2899492704 hasConcept C208087996 @default.
- W2899492704 hasConcept C28034677 @default.
- W2899492704 hasConcept C41008148 @default.
- W2899492704 hasConcept C61912525 @default.
- W2899492704 hasConcept C75949130 @default.
- W2899492704 hasConcept C84511453 @default.
- W2899492704 hasConceptScore W2899492704C111919701 @default.
- W2899492704 hasConceptScore W2899492704C120314980 @default.
- W2899492704 hasConceptScore W2899492704C138101251 @default.
- W2899492704 hasConceptScore W2899492704C168065819 @default.
- W2899492704 hasConceptScore W2899492704C173608175 @default.
- W2899492704 hasConceptScore W2899492704C193702766 @default.
- W2899492704 hasConceptScore W2899492704C199360897 @default.
- W2899492704 hasConceptScore W2899492704C201410400 @default.
- W2899492704 hasConceptScore W2899492704C208087996 @default.
- W2899492704 hasConceptScore W2899492704C28034677 @default.
- W2899492704 hasConceptScore W2899492704C41008148 @default.
- W2899492704 hasConceptScore W2899492704C61912525 @default.
- W2899492704 hasConceptScore W2899492704C75949130 @default.
- W2899492704 hasConceptScore W2899492704C84511453 @default.
- W2899492704 hasLocation W28994927041 @default.
- W2899492704 hasOpenAccess W2899492704 @default.
- W2899492704 hasPrimaryLocation W28994927041 @default.
- W2899492704 hasRelatedWork W103567565 @default.
- W2899492704 hasRelatedWork W1496744108 @default.
- W2899492704 hasRelatedWork W1579177548 @default.
- W2899492704 hasRelatedWork W1978905120 @default.
- W2899492704 hasRelatedWork W2047585782 @default.
- W2899492704 hasRelatedWork W2169595544 @default.
- W2899492704 hasRelatedWork W2624440775 @default.
- W2899492704 hasRelatedWork W2899492704 @default.
- W2899492704 hasRelatedWork W4232891356 @default.
- W2899492704 hasRelatedWork W4308643311 @default.
- W2899492704 isParatext "false" @default.