Matches in SemOpenAlex for { <https://semopenalex.org/work/W153103601> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W153103601 endingPage "196" @default.
- W153103601 startingPage "191" @default.
- W153103601 abstract "Duet is a static analysis tool for concurrent programs in which the number of executing threads is not statically bounded. Duet has a modular architecture, which is based on separating the invariant synthesis problem in two subtasks: (1) data dependence analysis, which is used to construct a data flow model of the program, and (2) interpretation of the data flow model over a (possibly infinite) abstract domain, which generates invariants. This separation of concerns allows researchers working on data dependence analysis and abstract domains to combine their efforts toward solving the challenging problem of static analysis for unbounded concurrency. In this paper, we discuss the architecture of Duet as well as two data dependence analyses that have been implemented in the tool." @default.
- W153103601 created "2016-06-24" @default.
- W153103601 creator A5016276143 @default.
- W153103601 creator A5041698482 @default.
- W153103601 date "2013-01-01" @default.
- W153103601 modified "2023-10-10" @default.
- W153103601 title "Duet: Static Analysis for Unbounded Parallelism" @default.
- W153103601 cites W1485572331 @default.
- W153103601 cites W1518247129 @default.
- W153103601 cites W1582180905 @default.
- W153103601 cites W1587449012 @default.
- W153103601 cites W1933255669 @default.
- W153103601 cites W2096199323 @default.
- W153103601 cites W2107089133 @default.
- W153103601 cites W2852225 @default.
- W153103601 doi "https://doi.org/10.1007/978-3-642-39799-8_12" @default.
- W153103601 hasPublicationYear "2013" @default.
- W153103601 type Work @default.
- W153103601 sameAs 153103601 @default.
- W153103601 citedByCount "14" @default.
- W153103601 countsByYear W1531036012014 @default.
- W153103601 countsByYear W1531036012016 @default.
- W153103601 countsByYear W1531036012017 @default.
- W153103601 countsByYear W1531036012018 @default.
- W153103601 countsByYear W1531036012020 @default.
- W153103601 countsByYear W1531036012021 @default.
- W153103601 crossrefType "book-chapter" @default.
- W153103601 hasAuthorship W153103601A5016276143 @default.
- W153103601 hasAuthorship W153103601A5041698482 @default.
- W153103601 hasBestOaLocation W1531036011 @default.
- W153103601 hasConcept C101468663 @default.
- W153103601 hasConcept C11413529 @default.
- W153103601 hasConcept C134306372 @default.
- W153103601 hasConcept C173608175 @default.
- W153103601 hasConcept C190470478 @default.
- W153103601 hasConcept C193702766 @default.
- W153103601 hasConcept C199360897 @default.
- W153103601 hasConcept C2780654840 @default.
- W153103601 hasConcept C2780801425 @default.
- W153103601 hasConcept C2781172179 @default.
- W153103601 hasConcept C33923547 @default.
- W153103601 hasConcept C34388435 @default.
- W153103601 hasConcept C36503486 @default.
- W153103601 hasConcept C37914503 @default.
- W153103601 hasConcept C41008148 @default.
- W153103601 hasConcept C489000 @default.
- W153103601 hasConcept C77088390 @default.
- W153103601 hasConcept C80444323 @default.
- W153103601 hasConcept C88468194 @default.
- W153103601 hasConcept C97686452 @default.
- W153103601 hasConceptScore W153103601C101468663 @default.
- W153103601 hasConceptScore W153103601C11413529 @default.
- W153103601 hasConceptScore W153103601C134306372 @default.
- W153103601 hasConceptScore W153103601C173608175 @default.
- W153103601 hasConceptScore W153103601C190470478 @default.
- W153103601 hasConceptScore W153103601C193702766 @default.
- W153103601 hasConceptScore W153103601C199360897 @default.
- W153103601 hasConceptScore W153103601C2780654840 @default.
- W153103601 hasConceptScore W153103601C2780801425 @default.
- W153103601 hasConceptScore W153103601C2781172179 @default.
- W153103601 hasConceptScore W153103601C33923547 @default.
- W153103601 hasConceptScore W153103601C34388435 @default.
- W153103601 hasConceptScore W153103601C36503486 @default.
- W153103601 hasConceptScore W153103601C37914503 @default.
- W153103601 hasConceptScore W153103601C41008148 @default.
- W153103601 hasConceptScore W153103601C489000 @default.
- W153103601 hasConceptScore W153103601C77088390 @default.
- W153103601 hasConceptScore W153103601C80444323 @default.
- W153103601 hasConceptScore W153103601C88468194 @default.
- W153103601 hasConceptScore W153103601C97686452 @default.
- W153103601 hasLocation W1531036011 @default.
- W153103601 hasLocation W1531036012 @default.
- W153103601 hasOpenAccess W153103601 @default.
- W153103601 hasPrimaryLocation W1531036011 @default.
- W153103601 hasRelatedWork W1506484921 @default.
- W153103601 hasRelatedWork W153103601 @default.
- W153103601 hasRelatedWork W1567692042 @default.
- W153103601 hasRelatedWork W1585689035 @default.
- W153103601 hasRelatedWork W1589282633 @default.
- W153103601 hasRelatedWork W2105114074 @default.
- W153103601 hasRelatedWork W2139207724 @default.
- W153103601 hasRelatedWork W3094277430 @default.
- W153103601 hasRelatedWork W4323246297 @default.
- W153103601 hasRelatedWork W152231772 @default.
- W153103601 isParatext "false" @default.
- W153103601 isRetracted "false" @default.
- W153103601 magId "153103601" @default.
- W153103601 workType "book-chapter" @default.