Matches in SemOpenAlex for { <https://semopenalex.org/work/W2888641315> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2888641315 abstract "Recent development of software aims at massively parallel execution, because of the trend to increase the number of processing units per CPU socket. But many approaches for program analysis are not designed to benefit from a multi-threaded execution and lack support to utilize multi-core computers. Rewriting existing algorithms is difficult and error-prone, and the design of new parallel algorithms also has limitations. An orthogonal problem is the granularity: computing each successor state in parallel seems too fine-grained, so the open question is to find the right structural level for parallel execution. We propose an elegant solution to these problems: Block summaries should be computed in parallel. Many successful approaches to software verification are based on summaries of control-flow blocks, large blocks, or function bodies. Block-abstraction memoization is a successful domain-independent approach for summary-based program analysis. We redesigned the verification approach of block-abstraction memoization starting from its original recursive definition, such that it can run in a parallel manner for utilizing the available computation resources without losing its advantages of being independent from a certain abstract domain. We present an implementation of our new approach for multi-core shared-memory machines. The experimental evaluation shows that our summary-based approach has no significant overhead compared to the existing sequential approach and that it has a significant speedup when using multi-threading." @default.
- W2888641315 created "2018-08-31" @default.
- W2888641315 creator A5019156699 @default.
- W2888641315 creator A5071340047 @default.
- W2888641315 date "2018-09-03" @default.
- W2888641315 modified "2023-09-23" @default.
- W2888641315 title "Domain-independent multi-threaded software model checking" @default.
- W2888641315 cites W167956735 @default.
- W2888641315 cites W1850929791 @default.
- W2888641315 cites W2045109907 @default.
- W2888641315 cites W2064740254 @default.
- W2888641315 cites W2064902266 @default.
- W2888641315 cites W2086631793 @default.
- W2888641315 cites W2127574686 @default.
- W2888641315 cites W2134909715 @default.
- W2888641315 cites W2147891468 @default.
- W2888641315 cites W2150871235 @default.
- W2888641315 cites W2484669807 @default.
- W2888641315 cites W2548985278 @default.
- W2888641315 cites W2600771941 @default.
- W2888641315 cites W2603044584 @default.
- W2888641315 cites W2773676607 @default.
- W2888641315 cites W2888641315 @default.
- W2888641315 cites W35710305 @default.
- W2888641315 cites W66489457 @default.
- W2888641315 cites W71772184 @default.
- W2888641315 doi "https://doi.org/10.1145/3238147.3238195" @default.
- W2888641315 hasPublicationYear "2018" @default.
- W2888641315 type Work @default.
- W2888641315 sameAs 2888641315 @default.
- W2888641315 citedByCount "4" @default.
- W2888641315 countsByYear W28886413152018 @default.
- W2888641315 countsByYear W28886413152020 @default.
- W2888641315 countsByYear W28886413152021 @default.
- W2888641315 crossrefType "proceedings-article" @default.
- W2888641315 hasAuthorship W2888641315A5019156699 @default.
- W2888641315 hasAuthorship W2888641315A5071340047 @default.
- W2888641315 hasConcept C110251889 @default.
- W2888641315 hasConcept C134306372 @default.
- W2888641315 hasConcept C15708719 @default.
- W2888641315 hasConcept C186846655 @default.
- W2888641315 hasConcept C199360897 @default.
- W2888641315 hasConcept C2777904410 @default.
- W2888641315 hasConcept C33923547 @default.
- W2888641315 hasConcept C36503486 @default.
- W2888641315 hasConcept C41008148 @default.
- W2888641315 hasConcept C529173508 @default.
- W2888641315 hasConcept C5977032 @default.
- W2888641315 hasConcept C92548554 @default.
- W2888641315 hasConcept C98045186 @default.
- W2888641315 hasConceptScore W2888641315C110251889 @default.
- W2888641315 hasConceptScore W2888641315C134306372 @default.
- W2888641315 hasConceptScore W2888641315C15708719 @default.
- W2888641315 hasConceptScore W2888641315C186846655 @default.
- W2888641315 hasConceptScore W2888641315C199360897 @default.
- W2888641315 hasConceptScore W2888641315C2777904410 @default.
- W2888641315 hasConceptScore W2888641315C33923547 @default.
- W2888641315 hasConceptScore W2888641315C36503486 @default.
- W2888641315 hasConceptScore W2888641315C41008148 @default.
- W2888641315 hasConceptScore W2888641315C529173508 @default.
- W2888641315 hasConceptScore W2888641315C5977032 @default.
- W2888641315 hasConceptScore W2888641315C92548554 @default.
- W2888641315 hasConceptScore W2888641315C98045186 @default.
- W2888641315 hasLocation W28886413151 @default.
- W2888641315 hasOpenAccess W2888641315 @default.
- W2888641315 hasPrimaryLocation W28886413151 @default.
- W2888641315 hasRelatedWork W1549077947 @default.
- W2888641315 hasRelatedWork W2102997561 @default.
- W2888641315 hasRelatedWork W2142960988 @default.
- W2888641315 hasRelatedWork W2155435183 @default.
- W2888641315 hasRelatedWork W2170664339 @default.
- W2888641315 hasRelatedWork W2373307420 @default.
- W2888641315 hasRelatedWork W2374976016 @default.
- W2888641315 hasRelatedWork W2381077915 @default.
- W2888641315 hasRelatedWork W2515299837 @default.
- W2888641315 hasRelatedWork W4308009244 @default.
- W2888641315 isParatext "false" @default.
- W2888641315 isRetracted "false" @default.
- W2888641315 magId "2888641315" @default.
- W2888641315 workType "article" @default.