FRINK Linked Data Fragments server

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

• W2600682711 endingPage "148" @default.
• W2600682711 startingPage "141" @default.
• W2600682711 abstract "Verification techniques for concurrent systems are often based on systematic state space traversal. An important piece of such techniques is partial order reduction (POR). Many algorithms of POR have been already developed, each having specific advantages and drawbacks. For example, fully dynamic POR is very precise but it has to check every pair of visible actions to detect all interferences. Approaches involving static analysis can exploit knowledge about future behavior of program threads, but they have limited precision. We present a new hybrid POR algorithm that builds upon (i) dynamic POR and (ii) hybrid field access analysis that combines static analysis with data taken on-the-fly from dynamic program states. The key feature of our algorithm is usage of under-approximate dynamic points-to and determinacy information, which is gradually refined during a run of the state space traversal procedure. Knowledge of dynamic points-to sets for local variables improves precision of the field access analysis. Our experimental results show that the proposed hybrid POR achieves better performance than existing techniques on selected benchmarks, and it enables fast detection of concurrency errors." @default.
• W2600682711 created "2017-04-07" @default.
• W2600682711 creator A5083747832 @default.
• W2600682711 date "2016-10-03" @default.
• W2600682711 modified "2023-09-26" @default.
• W2600682711 title "Hybrid partial order reduction with under-approximate dynamic points-to and determinacy information" @default.
• W2600682711 cites W1568729458 @default.
• W2600682711 cites W1893845610 @default.
• W2600682711 cites W1969808647 @default.
• W2600682711 cites W1980522179 @default.
• W2600682711 cites W2008078972 @default.
• W2600682711 cites W2035868375 @default.
• W2600682711 cites W2077732325 @default.
• W2600682711 cites W2092522707 @default.
• W2600682711 cites W2093709900 @default.
• W2600682711 cites W2097253829 @default.
• W2600682711 cites W2106438110 @default.
• W2600682711 cites W2117488178 @default.
• W2600682711 cites W2134875273 @default.
• W2600682711 cites W2135948849 @default.
• W2600682711 cites W2169870841 @default.
• W2600682711 cites W86344006 @default.
• W2600682711 cites W2522890436 @default.
• W2600682711 doi "https://doi.org/10.5555/3077629.3077655" @default.
• W2600682711 hasPublicationYear "2016" @default.
• W2600682711 type Work @default.
• W2600682711 sameAs 2600682711 @default.
• W2600682711 citedByCount "0" @default.
• W2600682711 crossrefType "proceedings-article" @default.
• W2600682711 hasAuthorship W2600682711A5083747832 @default.
• W2600682711 hasConcept C105795698 @default.
• W2600682711 hasConcept C110251889 @default.
• W2600682711 hasConcept C111335779 @default.
• W2600682711 hasConcept C11413529 @default.
• W2600682711 hasConcept C120314980 @default.
• W2600682711 hasConcept C134306372 @default.
• W2600682711 hasConcept C140745168 @default.
• W2600682711 hasConcept C165696696 @default.
• W2600682711 hasConcept C193702766 @default.
• W2600682711 hasConcept C199360897 @default.
• W2600682711 hasConcept C202444582 @default.
• W2600682711 hasConcept C2524010 @default.
• W2600682711 hasConcept C33923547 @default.
• W2600682711 hasConcept C38652104 @default.
• W2600682711 hasConcept C41008148 @default.
• W2600682711 hasConcept C48103436 @default.
• W2600682711 hasConcept C58468513 @default.
• W2600682711 hasConcept C72434380 @default.
• W2600682711 hasConcept C80444323 @default.
• W2600682711 hasConcept C94633896 @default.
• W2600682711 hasConcept C9652623 @default.
• W2600682711 hasConcept C97686452 @default.
• W2600682711 hasConceptScore W2600682711C105795698 @default.
• W2600682711 hasConceptScore W2600682711C110251889 @default.
• W2600682711 hasConceptScore W2600682711C111335779 @default.
• W2600682711 hasConceptScore W2600682711C11413529 @default.
• W2600682711 hasConceptScore W2600682711C120314980 @default.
• W2600682711 hasConceptScore W2600682711C134306372 @default.
• W2600682711 hasConceptScore W2600682711C140745168 @default.
• W2600682711 hasConceptScore W2600682711C165696696 @default.
• W2600682711 hasConceptScore W2600682711C193702766 @default.
• W2600682711 hasConceptScore W2600682711C199360897 @default.
• W2600682711 hasConceptScore W2600682711C202444582 @default.
• W2600682711 hasConceptScore W2600682711C2524010 @default.
• W2600682711 hasConceptScore W2600682711C33923547 @default.
• W2600682711 hasConceptScore W2600682711C38652104 @default.
• W2600682711 hasConceptScore W2600682711C41008148 @default.
• W2600682711 hasConceptScore W2600682711C48103436 @default.
• W2600682711 hasConceptScore W2600682711C58468513 @default.
• W2600682711 hasConceptScore W2600682711C72434380 @default.
• W2600682711 hasConceptScore W2600682711C80444323 @default.
• W2600682711 hasConceptScore W2600682711C94633896 @default.
• W2600682711 hasConceptScore W2600682711C9652623 @default.
• W2600682711 hasConceptScore W2600682711C97686452 @default.
• W2600682711 hasLocation W26006827111 @default.
• W2600682711 hasOpenAccess W2600682711 @default.
• W2600682711 hasPrimaryLocation W26006827111 @default.
• W2600682711 hasRelatedWork W1523273869 @default.
• W2600682711 hasRelatedWork W1543034107 @default.
• W2600682711 hasRelatedWork W175405321 @default.
• W2600682711 hasRelatedWork W1908861217 @default.
• W2600682711 hasRelatedWork W2004029800 @default.
• W2600682711 hasRelatedWork W2020983292 @default.
• W2600682711 hasRelatedWork W2041000930 @default.
• W2600682711 hasRelatedWork W2064659940 @default.
• W2600682711 hasRelatedWork W2083516953 @default.
• W2600682711 hasRelatedWork W2124052022 @default.
• W2600682711 hasRelatedWork W2126035949 @default.
• W2600682711 hasRelatedWork W2223115626 @default.
• W2600682711 hasRelatedWork W2412434091 @default.
• W2600682711 hasRelatedWork W2754245834 @default.
• W2600682711 hasRelatedWork W3015682217 @default.
• W2600682711 hasRelatedWork W3121363172 @default.
• W2600682711 hasRelatedWork W3176132189 @default.
• W2600682711 hasRelatedWork W58073954 @default.
• W2600682711 hasRelatedWork W5947967 @default.
• W2600682711 hasRelatedWork W6183661 @default.
• W2600682711 isParatext "false" @default.

• next