Matches in SemOpenAlex for { <https://semopenalex.org/work/W1605226475> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W1605226475 endingPage "409" @default.
- W1605226475 startingPage "394" @default.
- W1605226475 abstract "Multithreaded programs are prone to errors caused by unintended interference between concurrent threads. This paper focuses on verifying that deterministically-parallel code is free of such thread interference errors. Deterministically-parallel code may create and use new threads, via fork and join, and coordinate their behavior with synchronization primitives, such as barriers and semaphores. Such code does not satisfy the traditional non-interference property of atomicity (or serializability), however, and so existing atomicity tools are inadequate for checking deterministically-parallel code. We introduce a new non-interference specification for deterministically-parallel code, and we present a dynamic analysis to enforce it. We also describe SingleTrack, a prototype implementation of this analysis. SingleTrack’s performance is competitive with prior atomicity checkers, but it produces many fewer spurious warnings because it enforces a more general non-interference property that is applicable to more software." @default.
- W1605226475 created "2016-06-24" @default.
- W1605226475 creator A5013989748 @default.
- W1605226475 creator A5018139743 @default.
- W1605226475 creator A5052993755 @default.
- W1605226475 date "2009-01-01" @default.
- W1605226475 modified "2023-10-17" @default.
- W1605226475 title "SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs" @default.
- W1605226475 cites W1972544179 @default.
- W1605226475 cites W1994305220 @default.
- W1605226475 cites W2002179840 @default.
- W1605226475 cites W2034256728 @default.
- W1605226475 cites W2043003055 @default.
- W1605226475 cites W2066952803 @default.
- W1605226475 cites W2072062729 @default.
- W1605226475 cites W2082766667 @default.
- W1605226475 cites W2092911542 @default.
- W1605226475 cites W2104070839 @default.
- W1605226475 cites W2109033563 @default.
- W1605226475 cites W2129990308 @default.
- W1605226475 cites W2134747058 @default.
- W1605226475 cites W2154606502 @default.
- W1605226475 cites W2170200862 @default.
- W1605226475 cites W2171076136 @default.
- W1605226475 cites W2171537091 @default.
- W1605226475 cites W2911806870 @default.
- W1605226475 cites W3007730687 @default.
- W1605226475 cites W3091178001 @default.
- W1605226475 cites W4243332545 @default.
- W1605226475 cites W4246251632 @default.
- W1605226475 doi "https://doi.org/10.1007/978-3-642-00590-9_28" @default.
- W1605226475 hasPublicationYear "2009" @default.
- W1605226475 type Work @default.
- W1605226475 sameAs 1605226475 @default.
- W1605226475 citedByCount "59" @default.
- W1605226475 countsByYear W16052264752012 @default.
- W1605226475 countsByYear W16052264752013 @default.
- W1605226475 countsByYear W16052264752015 @default.
- W1605226475 countsByYear W16052264752016 @default.
- W1605226475 countsByYear W16052264752017 @default.
- W1605226475 countsByYear W16052264752018 @default.
- W1605226475 countsByYear W16052264752022 @default.
- W1605226475 crossrefType "book-chapter" @default.
- W1605226475 hasAuthorship W1605226475A5013989748 @default.
- W1605226475 hasAuthorship W1605226475A5018139743 @default.
- W1605226475 hasAuthorship W1605226475A5052993755 @default.
- W1605226475 hasBestOaLocation W16052264751 @default.
- W1605226475 hasConcept C111472728 @default.
- W1605226475 hasConcept C120314980 @default.
- W1605226475 hasConcept C127162648 @default.
- W1605226475 hasConcept C138101251 @default.
- W1605226475 hasConcept C138885662 @default.
- W1605226475 hasConcept C173608175 @default.
- W1605226475 hasConcept C177264268 @default.
- W1605226475 hasConcept C188045909 @default.
- W1605226475 hasConcept C189950617 @default.
- W1605226475 hasConcept C193702766 @default.
- W1605226475 hasConcept C199360897 @default.
- W1605226475 hasConcept C2776760102 @default.
- W1605226475 hasConcept C2778562939 @default.
- W1605226475 hasConcept C31258907 @default.
- W1605226475 hasConcept C41008148 @default.
- W1605226475 hasConcept C75949130 @default.
- W1605226475 hasConcept C95203288 @default.
- W1605226475 hasConceptScore W1605226475C111472728 @default.
- W1605226475 hasConceptScore W1605226475C120314980 @default.
- W1605226475 hasConceptScore W1605226475C127162648 @default.
- W1605226475 hasConceptScore W1605226475C138101251 @default.
- W1605226475 hasConceptScore W1605226475C138885662 @default.
- W1605226475 hasConceptScore W1605226475C173608175 @default.
- W1605226475 hasConceptScore W1605226475C177264268 @default.
- W1605226475 hasConceptScore W1605226475C188045909 @default.
- W1605226475 hasConceptScore W1605226475C189950617 @default.
- W1605226475 hasConceptScore W1605226475C193702766 @default.
- W1605226475 hasConceptScore W1605226475C199360897 @default.
- W1605226475 hasConceptScore W1605226475C2776760102 @default.
- W1605226475 hasConceptScore W1605226475C2778562939 @default.
- W1605226475 hasConceptScore W1605226475C31258907 @default.
- W1605226475 hasConceptScore W1605226475C41008148 @default.
- W1605226475 hasConceptScore W1605226475C75949130 @default.
- W1605226475 hasConceptScore W1605226475C95203288 @default.
- W1605226475 hasLocation W16052264751 @default.
- W1605226475 hasOpenAccess W1605226475 @default.
- W1605226475 hasPrimaryLocation W16052264751 @default.
- W1605226475 hasRelatedWork W1492961245 @default.
- W1605226475 hasRelatedWork W19815252 @default.
- W1605226475 hasRelatedWork W1982219759 @default.
- W1605226475 hasRelatedWork W2035382792 @default.
- W1605226475 hasRelatedWork W2169193470 @default.
- W1605226475 hasRelatedWork W2258437408 @default.
- W1605226475 hasRelatedWork W2407385347 @default.
- W1605226475 hasRelatedWork W2614427934 @default.
- W1605226475 hasRelatedWork W2917734884 @default.
- W1605226475 hasRelatedWork W2998398829 @default.
- W1605226475 isParatext "false" @default.
- W1605226475 isRetracted "false" @default.
- W1605226475 magId "1605226475" @default.
- W1605226475 workType "book-chapter" @default.