Matches in SemOpenAlex for { <https://semopenalex.org/work/W4285056971> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W4285056971 abstract "The verification of concurrent programs remains an open challenge, as thread interaction has to be accounted for, which leads to state-space explosion. Stateless model checking battles this problem by exploring traces rather than states of the program. As there are exponentially many traces, dynamic partial-order reduction (DPOR) techniques are used to partition the trace space into equivalence classes, and explore a few representatives from each class. The standard equivalence that underlies most DPOR techniques is the happens-before equivalence, however recent works have spawned a vivid interest towards coarser equivalences. The efficiency of such approaches is a product of two parameters: (i) the size of the partitioning induced by the equivalence, and (ii) the time spent by the exploration algorithm in each class of the partitioning. In this work, we present a new equivalence, called value-happens-before and show that it has two appealing features. First, value-happens-before is always at least as coarse as the happens-before equivalence, and can be even exponentially coarser. Second, the value-happens-before partitioning is efficiently explorable when the number of threads is bounded. We present an algorithm called value-centric DPOR (VCDPOR), which explores the underlying partitioning using polynomial time per class. Finally, we perform an experimental evaluation of VCDPOR on various benchmarks, and compare it against other state-of-the-art approaches. Our results show that value-happens-before typically induces a significant reduction in the size of the underlying partitioning, which leads to a considerable reduction in the running time for exploring the whole partitioning." @default.
- W4285056971 created "2022-07-13" @default.
- W4285056971 creator A5022252401 @default.
- W4285056971 creator A5081390872 @default.
- W4285056971 creator A5085914523 @default.
- W4285056971 date "2019-09-03" @default.
- W4285056971 modified "2023-10-14" @default.
- W4285056971 title "Value-centric Dynamic Partial Order Reduction" @default.
- W4285056971 doi "https://doi.org/10.48550/arxiv.1909.00989" @default.
- W4285056971 hasPublicationYear "2019" @default.
- W4285056971 type Work @default.
- W4285056971 citedByCount "0" @default.
- W4285056971 crossrefType "posted-content" @default.
- W4285056971 hasAuthorship W4285056971A5022252401 @default.
- W4285056971 hasAuthorship W4285056971A5081390872 @default.
- W4285056971 hasAuthorship W4285056971A5085914523 @default.
- W4285056971 hasBestOaLocation W42850569711 @default.
- W4285056971 hasConcept C103613024 @default.
- W4285056971 hasConcept C110251889 @default.
- W4285056971 hasConcept C11413529 @default.
- W4285056971 hasConcept C114614502 @default.
- W4285056971 hasConcept C118615104 @default.
- W4285056971 hasConcept C134306372 @default.
- W4285056971 hasConcept C138101251 @default.
- W4285056971 hasConcept C199360897 @default.
- W4285056971 hasConcept C2780069185 @default.
- W4285056971 hasConcept C33923547 @default.
- W4285056971 hasConcept C34388435 @default.
- W4285056971 hasConcept C41008148 @default.
- W4285056971 hasConcept C42812 @default.
- W4285056971 hasConcept C48103436 @default.
- W4285056971 hasConcept C80444323 @default.
- W4285056971 hasConcept C94633896 @default.
- W4285056971 hasConceptScore W4285056971C103613024 @default.
- W4285056971 hasConceptScore W4285056971C110251889 @default.
- W4285056971 hasConceptScore W4285056971C11413529 @default.
- W4285056971 hasConceptScore W4285056971C114614502 @default.
- W4285056971 hasConceptScore W4285056971C118615104 @default.
- W4285056971 hasConceptScore W4285056971C134306372 @default.
- W4285056971 hasConceptScore W4285056971C138101251 @default.
- W4285056971 hasConceptScore W4285056971C199360897 @default.
- W4285056971 hasConceptScore W4285056971C2780069185 @default.
- W4285056971 hasConceptScore W4285056971C33923547 @default.
- W4285056971 hasConceptScore W4285056971C34388435 @default.
- W4285056971 hasConceptScore W4285056971C41008148 @default.
- W4285056971 hasConceptScore W4285056971C42812 @default.
- W4285056971 hasConceptScore W4285056971C48103436 @default.
- W4285056971 hasConceptScore W4285056971C80444323 @default.
- W4285056971 hasConceptScore W4285056971C94633896 @default.
- W4285056971 hasLocation W42850569711 @default.
- W4285056971 hasOpenAccess W4285056971 @default.
- W4285056971 hasPrimaryLocation W42850569711 @default.
- W4285056971 hasRelatedWork W1517543977 @default.
- W4285056971 hasRelatedWork W1573428492 @default.
- W4285056971 hasRelatedWork W2119610731 @default.
- W4285056971 hasRelatedWork W2497391310 @default.
- W4285056971 hasRelatedWork W2778029444 @default.
- W4285056971 hasRelatedWork W2898988288 @default.
- W4285056971 hasRelatedWork W2899402023 @default.
- W4285056971 hasRelatedWork W2980138239 @default.
- W4285056971 hasRelatedWork W2527368155 @default.
- W4285056971 hasRelatedWork W2613433528 @default.
- W4285056971 isParatext "false" @default.
- W4285056971 isRetracted "false" @default.
- W4285056971 workType "article" @default.