Matches in SemOpenAlex for { <https://semopenalex.org/work/W1944401103> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1944401103 abstract "We present a technique to predict property violations in multi-threaded programs from successful executions. An appealing aspect of our technique is that it is entirely automatic; another is that no special simulation or modeling infrastructure is needed. All the user needs to do is to provide the multi-threaded system and the property to check. An observer is automatically generated from the property and an instrumentation procedure based on vector clocks automatically modifies the program to emit relevant events to the observer. By making intensive use of a dynamically computed generalized “happens-before” causal partial order that is refined with control-flow and data-flow dependency information obtained apriory via static analysis of the program, the observer is able to build from one concrete execution trace a set of abstract execution traces. Those abstract execution traces correspond to concrete executions that have not necessarily happened but “were close to happen” and could indeed happen in another execution of the system under a different thread scheduling. The predictive aspect of our technique comes from the fact that some of those executions may violate the property. If that is the case, a counter-example is provided. The technique has been implemented in the context of Java and has been shown to be useful via a series of experiments." @default.
- W1944401103 created "2016-06-24" @default.
- W1944401103 creator A5021979312 @default.
- W1944401103 creator A5053878331 @default.
- W1944401103 date "2005-07-01" @default.
- W1944401103 modified "2023-10-16" @default.
- W1944401103 title "Predictive Runtime Analysis of Multithreaded Programs" @default.
- W1944401103 cites W1481985818 @default.
- W1944401103 cites W1518836114 @default.
- W1944401103 cites W1575308494 @default.
- W1944401103 cites W1861203031 @default.
- W1944401103 cites W1972544179 @default.
- W1944401103 cites W204377626 @default.
- W1944401103 cites W2047229718 @default.
- W1944401103 cites W2082766667 @default.
- W1944401103 cites W2122898375 @default.
- W1944401103 cites W2127989655 @default.
- W1944401103 cites W2144344516 @default.
- W1944401103 cites W2153385696 @default.
- W1944401103 cites W2157154136 @default.
- W1944401103 cites W2159765571 @default.
- W1944401103 cites W3137220996 @default.
- W1944401103 hasPublicationYear "2005" @default.
- W1944401103 type Work @default.
- W1944401103 sameAs 1944401103 @default.
- W1944401103 citedByCount "0" @default.
- W1944401103 crossrefType "journal-article" @default.
- W1944401103 hasAuthorship W1944401103A5021979312 @default.
- W1944401103 hasAuthorship W1944401103A5053878331 @default.
- W1944401103 hasConcept C111472728 @default.
- W1944401103 hasConcept C111498074 @default.
- W1944401103 hasConcept C120314980 @default.
- W1944401103 hasConcept C138101251 @default.
- W1944401103 hasConcept C138885662 @default.
- W1944401103 hasConcept C160191386 @default.
- W1944401103 hasConcept C189950617 @default.
- W1944401103 hasConcept C199360897 @default.
- W1944401103 hasConcept C202973057 @default.
- W1944401103 hasConcept C41008148 @default.
- W1944401103 hasConcept C548217200 @default.
- W1944401103 hasConcept C97686452 @default.
- W1944401103 hasConceptScore W1944401103C111472728 @default.
- W1944401103 hasConceptScore W1944401103C111498074 @default.
- W1944401103 hasConceptScore W1944401103C120314980 @default.
- W1944401103 hasConceptScore W1944401103C138101251 @default.
- W1944401103 hasConceptScore W1944401103C138885662 @default.
- W1944401103 hasConceptScore W1944401103C160191386 @default.
- W1944401103 hasConceptScore W1944401103C189950617 @default.
- W1944401103 hasConceptScore W1944401103C199360897 @default.
- W1944401103 hasConceptScore W1944401103C202973057 @default.
- W1944401103 hasConceptScore W1944401103C41008148 @default.
- W1944401103 hasConceptScore W1944401103C548217200 @default.
- W1944401103 hasConceptScore W1944401103C97686452 @default.
- W1944401103 hasLocation W19444011031 @default.
- W1944401103 hasOpenAccess W1944401103 @default.
- W1944401103 hasPrimaryLocation W19444011031 @default.
- W1944401103 hasRelatedWork W1482342976 @default.
- W1944401103 hasRelatedWork W1512729121 @default.
- W1944401103 hasRelatedWork W1643342729 @default.
- W1944401103 hasRelatedWork W1726881344 @default.
- W1944401103 hasRelatedWork W1751160738 @default.
- W1944401103 hasRelatedWork W1816890399 @default.
- W1944401103 hasRelatedWork W1983037032 @default.
- W1944401103 hasRelatedWork W2066438006 @default.
- W1944401103 hasRelatedWork W2142647473 @default.
- W1944401103 hasRelatedWork W2318181419 @default.
- W1944401103 hasRelatedWork W2319415934 @default.
- W1944401103 hasRelatedWork W2466096069 @default.
- W1944401103 hasRelatedWork W2793201049 @default.
- W1944401103 hasRelatedWork W2899031522 @default.
- W1944401103 hasRelatedWork W2949860352 @default.
- W1944401103 hasRelatedWork W2963450903 @default.
- W1944401103 hasRelatedWork W3096169978 @default.
- W1944401103 hasRelatedWork W2103271976 @default.
- W1944401103 hasRelatedWork W2297280763 @default.
- W1944401103 hasRelatedWork W286852236 @default.
- W1944401103 isParatext "false" @default.
- W1944401103 isRetracted "false" @default.
- W1944401103 magId "1944401103" @default.
- W1944401103 workType "article" @default.