FRINK Linked Data Fragments server

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

• W2162339514 endingPage "138" @default.
• W2162339514 startingPage "124" @default.
• W2162339514 abstract "We propose a static analysis framework for concurrent programs based on reduction of thread interleavings using sound invariants on the top of partial order techniques. Starting from a product graph that represents transactions, we iteratively refine the graph to remove statically unreachable nodes in the product graph using the results of these analyses. We use abstract interpretation to automatically derive program invariants, based on abstract domains of increasing precision. We demonstrate the benefits of this framework in an application to find data race bugs in concurrent programs, where our static analyses serve to reduce the number of false warnings captured by an initial lockset analysis. This framework also facilitates use of model checking on the remaining warnings to generate concrete error traces, where we leverage the preceding static analyses to generate small program slices and the derived invariants to improve scalability. We describe our experimental results on a suite of Linux device drivers." @default.
• W2162339514 created "2016-06-24" @default.
• W2162339514 creator A5041231710 @default.
• W2162339514 creator A5045578851 @default.
• W2162339514 creator A5063584164 @default.
• W2162339514 date "2009-01-01" @default.
• W2162339514 modified "2023-10-17" @default.
• W2162339514 title "Semantic Reduction of Thread Interleavings in Concurrent Programs" @default.
• W2162339514 cites W1493367105 @default.
• W2162339514 cites W1496958170 @default.
• W2162339514 cites W1533964197 @default.
• W2162339514 cites W1545371423 @default.
• W2162339514 cites W1554834491 @default.
• W2162339514 cites W1568478782 @default.
• W2162339514 cites W1580380563 @default.
• W2162339514 cites W1582387102 @default.
• W2162339514 cites W1590315663 @default.
• W2162339514 cites W1965604953 @default.
• W2162339514 cites W2043100293 @default.
• W2162339514 cites W2093709900 @default.
• W2162339514 cites W2099608328 @default.
• W2162339514 cites W2111422217 @default.
• W2162339514 cites W2132661148 @default.
• W2162339514 cites W2135274583 @default.
• W2162339514 cites W2152777241 @default.
• W2162339514 cites W2154266022 @default.
• W2162339514 cites W2161600851 @default.
• W2162339514 cites W4229635525 @default.
• W2162339514 cites W4236814447 @default.
• W2162339514 cites W4249000722 @default.
• W2162339514 cites W4256028745 @default.
• W2162339514 cites W4300810260 @default.
• W2162339514 doi "https://doi.org/10.1007/978-3-642-00768-2_12" @default.
• W2162339514 hasPublicationYear "2009" @default.
• W2162339514 type Work @default.
• W2162339514 sameAs 2162339514 @default.
• W2162339514 citedByCount "30" @default.
• W2162339514 countsByYear W21623395142012 @default.
• W2162339514 countsByYear W21623395142013 @default.
• W2162339514 countsByYear W21623395142014 @default.
• W2162339514 countsByYear W21623395142015 @default.
• W2162339514 countsByYear W21623395142016 @default.
• W2162339514 countsByYear W21623395142021 @default.
• W2162339514 crossrefType "book-chapter" @default.
• W2162339514 hasAuthorship W2162339514A5041231710 @default.
• W2162339514 hasAuthorship W2162339514A5045578851 @default.
• W2162339514 hasAuthorship W2162339514A5063584164 @default.
• W2162339514 hasBestOaLocation W21623395141 @default.
• W2162339514 hasConcept C132525143 @default.
• W2162339514 hasConcept C138101251 @default.
• W2162339514 hasConcept C153083717 @default.
• W2162339514 hasConcept C154945302 @default.
• W2162339514 hasConcept C166957645 @default.
• W2162339514 hasConcept C168065819 @default.
• W2162339514 hasConcept C173608175 @default.
• W2162339514 hasConcept C199360897 @default.
• W2162339514 hasConcept C2780654840 @default.
• W2162339514 hasConcept C41008148 @default.
• W2162339514 hasConcept C42383842 @default.
• W2162339514 hasConcept C48044578 @default.
• W2162339514 hasConcept C77088390 @default.
• W2162339514 hasConcept C79581498 @default.
• W2162339514 hasConcept C80444323 @default.
• W2162339514 hasConcept C95457728 @default.
• W2162339514 hasConcept C97042676 @default.
• W2162339514 hasConcept C97686452 @default.
• W2162339514 hasConceptScore W2162339514C132525143 @default.
• W2162339514 hasConceptScore W2162339514C138101251 @default.
• W2162339514 hasConceptScore W2162339514C153083717 @default.
• W2162339514 hasConceptScore W2162339514C154945302 @default.
• W2162339514 hasConceptScore W2162339514C166957645 @default.
• W2162339514 hasConceptScore W2162339514C168065819 @default.
• W2162339514 hasConceptScore W2162339514C173608175 @default.
• W2162339514 hasConceptScore W2162339514C199360897 @default.
• W2162339514 hasConceptScore W2162339514C2780654840 @default.
• W2162339514 hasConceptScore W2162339514C41008148 @default.
• W2162339514 hasConceptScore W2162339514C42383842 @default.
• W2162339514 hasConceptScore W2162339514C48044578 @default.
• W2162339514 hasConceptScore W2162339514C77088390 @default.
• W2162339514 hasConceptScore W2162339514C79581498 @default.
• W2162339514 hasConceptScore W2162339514C80444323 @default.
• W2162339514 hasConceptScore W2162339514C95457728 @default.
• W2162339514 hasConceptScore W2162339514C97042676 @default.
• W2162339514 hasConceptScore W2162339514C97686452 @default.
• W2162339514 hasLocation W21623395141 @default.
• W2162339514 hasLocation W21623395142 @default.
• W2162339514 hasOpenAccess W2162339514 @default.
• W2162339514 hasPrimaryLocation W21623395141 @default.
• W2162339514 hasRelatedWork W1498982577 @default.
• W2162339514 hasRelatedWork W1569389315 @default.
• W2162339514 hasRelatedWork W1587224678 @default.
• W2162339514 hasRelatedWork W1601811574 @default.
• W2162339514 hasRelatedWork W2095560726 @default.
• W2162339514 hasRelatedWork W2537134792 @default.
• W2162339514 hasRelatedWork W3080693887 @default.
• W2162339514 hasRelatedWork W4243860902 @default.
• W2162339514 hasRelatedWork W2503642292 @default.
• W2162339514 hasRelatedWork W2527368155 @default.

• next