Matches in SemOpenAlex for { <https://semopenalex.org/work/W2145044042> ?p ?o ?g. }
- W2145044042 abstract "In the new multicore architecture arena, the problem of improving the performance of a code is more in the software side than in the hardware one. However, optimizing irregular dynamic data structure based codes for such architectures is not easy, either by hand or compiler assisted. Regarding this last approach, shape analysis is a static technique that achieves abstraction of dynamic memory and can help to disambiguate, quite accurately, memory references in programs that create and traverse recursive data structures. This kind of analysis has promising applicability for accurate data dependence tests in loops or recursive functions that traverse dynamic data structures. However, support for interprocedural programs in shape analysis is still a challenge, especially in the presence of recursive functions. In this work we present a novel fully context-sensitive interprocedural shape analysis algorithm that supports recursion and can be used to uncover parallelism. Our approach is based on three key ideas: i) intraprocedural support based on coexistent links sets to precisely describe the memory configurations during the abstract interpretation of the C code; ii) interprocedural support based on recursive flow links to trace the state of pointers in previous calls; and Hi) annotations of the read/written heap locations during the program analysis. We present preliminary experiments that reveal that our technique compares favorably with related work, and obtains precise memory abstractions in a variety of recursive programs that create and manipulate dynamic data structures. We have also implemented a data dependence test over our interprocedural shape analysis. With this test we have obtained promising results, automatically detecting parallelism in three C codes, which have been successfully parallelized." @default.
- W2145044042 created "2016-06-24" @default.
- W2145044042 creator A5000553837 @default.
- W2145044042 creator A5017618085 @default.
- W2145044042 creator A5020678921 @default.
- W2145044042 creator A5041029240 @default.
- W2145044042 creator A5062903647 @default.
- W2145044042 creator A5038271291 @default.
- W2145044042 date "2008-04-01" @default.
- W2145044042 modified "2023-10-02" @default.
- W2145044042 title "Parallelizing irregular C codes assisted by interprocedural shape analysis" @default.
- W2145044042 cites W1480370622 @default.
- W2145044042 cites W1485372940 @default.
- W2145044042 cites W1490638967 @default.
- W2145044042 cites W1493844047 @default.
- W2145044042 cites W1508811155 @default.
- W2145044042 cites W1517684295 @default.
- W2145044042 cites W1552065586 @default.
- W2145044042 cites W1627097261 @default.
- W2145044042 cites W1639026249 @default.
- W2145044042 cites W1973005242 @default.
- W2145044042 cites W1974708356 @default.
- W2145044042 cites W1991837261 @default.
- W2145044042 cites W2001890294 @default.
- W2145044042 cites W2134642248 @default.
- W2145044042 cites W2135163511 @default.
- W2145044042 cites W2150432932 @default.
- W2145044042 cites W2152686702 @default.
- W2145044042 doi "https://doi.org/10.1109/ipdps.2008.4536285" @default.
- W2145044042 hasPublicationYear "2008" @default.
- W2145044042 type Work @default.
- W2145044042 sameAs 2145044042 @default.
- W2145044042 citedByCount "9" @default.
- W2145044042 countsByYear W21450440422012 @default.
- W2145044042 countsByYear W21450440422013 @default.
- W2145044042 countsByYear W21450440422014 @default.
- W2145044042 countsByYear W21450440422015 @default.
- W2145044042 countsByYear W21450440422021 @default.
- W2145044042 crossrefType "proceedings-article" @default.
- W2145044042 hasAuthorship W2145044042A5000553837 @default.
- W2145044042 hasAuthorship W2145044042A5017618085 @default.
- W2145044042 hasAuthorship W2145044042A5020678921 @default.
- W2145044042 hasAuthorship W2145044042A5038271291 @default.
- W2145044042 hasAuthorship W2145044042A5041029240 @default.
- W2145044042 hasAuthorship W2145044042A5062903647 @default.
- W2145044042 hasBestOaLocation W21450440422 @default.
- W2145044042 hasConcept C111564260 @default.
- W2145044042 hasConcept C112604564 @default.
- W2145044042 hasConcept C13280743 @default.
- W2145044042 hasConcept C150202949 @default.
- W2145044042 hasConcept C154945302 @default.
- W2145044042 hasConcept C162319229 @default.
- W2145044042 hasConcept C168773036 @default.
- W2145044042 hasConcept C169590947 @default.
- W2145044042 hasConcept C173608175 @default.
- W2145044042 hasConcept C176809094 @default.
- W2145044042 hasConcept C190902152 @default.
- W2145044042 hasConcept C199360897 @default.
- W2145044042 hasConcept C205649164 @default.
- W2145044042 hasConcept C2780654840 @default.
- W2145044042 hasConcept C29331672 @default.
- W2145044042 hasConcept C41008148 @default.
- W2145044042 hasConcept C7263679 @default.
- W2145044042 hasConcept C80444323 @default.
- W2145044042 hasConcept C97686452 @default.
- W2145044042 hasConcept C98183937 @default.
- W2145044042 hasConceptScore W2145044042C111564260 @default.
- W2145044042 hasConceptScore W2145044042C112604564 @default.
- W2145044042 hasConceptScore W2145044042C13280743 @default.
- W2145044042 hasConceptScore W2145044042C150202949 @default.
- W2145044042 hasConceptScore W2145044042C154945302 @default.
- W2145044042 hasConceptScore W2145044042C162319229 @default.
- W2145044042 hasConceptScore W2145044042C168773036 @default.
- W2145044042 hasConceptScore W2145044042C169590947 @default.
- W2145044042 hasConceptScore W2145044042C173608175 @default.
- W2145044042 hasConceptScore W2145044042C176809094 @default.
- W2145044042 hasConceptScore W2145044042C190902152 @default.
- W2145044042 hasConceptScore W2145044042C199360897 @default.
- W2145044042 hasConceptScore W2145044042C205649164 @default.
- W2145044042 hasConceptScore W2145044042C2780654840 @default.
- W2145044042 hasConceptScore W2145044042C29331672 @default.
- W2145044042 hasConceptScore W2145044042C41008148 @default.
- W2145044042 hasConceptScore W2145044042C7263679 @default.
- W2145044042 hasConceptScore W2145044042C80444323 @default.
- W2145044042 hasConceptScore W2145044042C97686452 @default.
- W2145044042 hasConceptScore W2145044042C98183937 @default.
- W2145044042 hasLocation W21450440421 @default.
- W2145044042 hasLocation W21450440422 @default.
- W2145044042 hasOpenAccess W2145044042 @default.
- W2145044042 hasPrimaryLocation W21450440421 @default.
- W2145044042 hasRelatedWork W1569129425 @default.
- W2145044042 hasRelatedWork W1996094959 @default.
- W2145044042 hasRelatedWork W2013637613 @default.
- W2145044042 hasRelatedWork W2096846262 @default.
- W2145044042 hasRelatedWork W2145044042 @default.
- W2145044042 hasRelatedWork W2171900472 @default.
- W2145044042 hasRelatedWork W2213281886 @default.
- W2145044042 hasRelatedWork W3129453358 @default.
- W2145044042 hasRelatedWork W4253674459 @default.
- W2145044042 hasRelatedWork W2518678811 @default.