Matches in SemOpenAlex for { <https://semopenalex.org/work/W4233744200> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W4233744200 endingPage "692" @default.
- W4233744200 startingPage "677" @default.
- W4233744200 abstract "We propose constraining multithreaded execution to small sets of input-covering schedules , which we define as follows: given a program P, we say that a set of schedules ∑ covers all inputs of program P if, when given any input, P's execution can be constrained to some schedule in ∑ and still produce a semantically valid result. Our approach is to first compute a small ∑ for a given program P, and then, at runtime, constrain P's execution to always follow some schedule in ∑, and never deviate. We have designed an algorithm that uses symbolic execution to systematically enumerate a set of input-covering schedules, ∑. To deal with programs that run for an unbounded length of time, we partition execution into bounded epochs , find input-covering schedules for each epoch in isolation, and then piece the schedules together at runtime. We have implemented this algorithm along with a constrained execution runtime for pthreads programs, and we report results Our approach has the following advantage: because all possible runtime schedules are known a priori , we can seek to validate the program by thoroughly verifying each schedule in ∑, in isolation, without needing to reason about the huge space of thread interleavings that arises due to conventional nondeterministic execution." @default.
- W4233744200 created "2022-05-12" @default.
- W4233744200 creator A5053901060 @default.
- W4233744200 creator A5065901957 @default.
- W4233744200 creator A5081914923 @default.
- W4233744200 date "2013-10-29" @default.
- W4233744200 modified "2023-09-26" @default.
- W4233744200 title "Input-covering schedules for multithreaded programs" @default.
- W4233744200 cites W1549714654 @default.
- W4233744200 cites W1554834491 @default.
- W4233744200 cites W1585877844 @default.
- W4233744200 cites W1979693894 @default.
- W4233744200 cites W1996800645 @default.
- W4233744200 cites W2032153666 @default.
- W4233744200 cites W2095551048 @default.
- W4233744200 cites W2098370715 @default.
- W4233744200 cites W2100866821 @default.
- W4233744200 cites W2100926607 @default.
- W4233744200 cites W2113996446 @default.
- W4233744200 cites W2122532513 @default.
- W4233744200 cites W2123524055 @default.
- W4233744200 cites W2128453996 @default.
- W4233744200 cites W2135948849 @default.
- W4233744200 cites W2143502475 @default.
- W4233744200 cites W2144300381 @default.
- W4233744200 cites W2144517099 @default.
- W4233744200 cites W2145385214 @default.
- W4233744200 cites W2153036969 @default.
- W4233744200 cites W2156300775 @default.
- W4233744200 cites W2159856414 @default.
- W4233744200 cites W2169870841 @default.
- W4233744200 cites W2171008784 @default.
- W4233744200 cites W2295450001 @default.
- W4233744200 cites W3137220996 @default.
- W4233744200 cites W3142284768 @default.
- W4233744200 cites W4206275750 @default.
- W4233744200 cites W4246385123 @default.
- W4233744200 cites W4254906220 @default.
- W4233744200 doi "https://doi.org/10.1145/2544173.2509508" @default.
- W4233744200 hasPublicationYear "2013" @default.
- W4233744200 type Work @default.
- W4233744200 citedByCount "2" @default.
- W4233744200 countsByYear W42337442002015 @default.
- W4233744200 countsByYear W42337442002019 @default.
- W4233744200 crossrefType "journal-article" @default.
- W4233744200 hasAuthorship W4233744200A5053901060 @default.
- W4233744200 hasAuthorship W4233744200A5065901957 @default.
- W4233744200 hasAuthorship W4233744200A5081914923 @default.
- W4233744200 hasConcept C111919701 @default.
- W4233744200 hasConcept C11413529 @default.
- W4233744200 hasConcept C114614502 @default.
- W4233744200 hasConcept C134306372 @default.
- W4233744200 hasConcept C138101251 @default.
- W4233744200 hasConcept C173608175 @default.
- W4233744200 hasConcept C176181172 @default.
- W4233744200 hasConcept C177264268 @default.
- W4233744200 hasConcept C199360897 @default.
- W4233744200 hasConcept C2989134064 @default.
- W4233744200 hasConcept C33923547 @default.
- W4233744200 hasConcept C34388435 @default.
- W4233744200 hasConcept C41008148 @default.
- W4233744200 hasConcept C41138395 @default.
- W4233744200 hasConcept C42812 @default.
- W4233744200 hasConcept C68387754 @default.
- W4233744200 hasConceptScore W4233744200C111919701 @default.
- W4233744200 hasConceptScore W4233744200C11413529 @default.
- W4233744200 hasConceptScore W4233744200C114614502 @default.
- W4233744200 hasConceptScore W4233744200C134306372 @default.
- W4233744200 hasConceptScore W4233744200C138101251 @default.
- W4233744200 hasConceptScore W4233744200C173608175 @default.
- W4233744200 hasConceptScore W4233744200C176181172 @default.
- W4233744200 hasConceptScore W4233744200C177264268 @default.
- W4233744200 hasConceptScore W4233744200C199360897 @default.
- W4233744200 hasConceptScore W4233744200C2989134064 @default.
- W4233744200 hasConceptScore W4233744200C33923547 @default.
- W4233744200 hasConceptScore W4233744200C34388435 @default.
- W4233744200 hasConceptScore W4233744200C41008148 @default.
- W4233744200 hasConceptScore W4233744200C41138395 @default.
- W4233744200 hasConceptScore W4233744200C42812 @default.
- W4233744200 hasConceptScore W4233744200C68387754 @default.
- W4233744200 hasIssue "10" @default.
- W4233744200 hasLocation W42337442001 @default.
- W4233744200 hasOpenAccess W4233744200 @default.
- W4233744200 hasPrimaryLocation W42337442001 @default.
- W4233744200 hasRelatedWork W1851697355 @default.
- W4233744200 hasRelatedWork W1980052993 @default.
- W4233744200 hasRelatedWork W19815252 @default.
- W4233744200 hasRelatedWork W2052167384 @default.
- W4233744200 hasRelatedWork W2069366701 @default.
- W4233744200 hasRelatedWork W2338363223 @default.
- W4233744200 hasRelatedWork W2537134792 @default.
- W4233744200 hasRelatedWork W2753620725 @default.
- W4233744200 hasRelatedWork W33150554 @default.
- W4233744200 hasRelatedWork W4233744200 @default.
- W4233744200 hasVolume "48" @default.
- W4233744200 isParatext "false" @default.
- W4233744200 isRetracted "false" @default.
- W4233744200 workType "article" @default.