Matches in SemOpenAlex for { <https://semopenalex.org/work/W1999398749> ?p ?o ?g. }
- W1999398749 endingPage "28" @default.
- W1999398749 startingPage "19" @default.
- W1999398749 abstract "Precise pointer analysis is a problem of interest to both the compiler and the program verification community. Flow-sensitivity is an important dimension of pointer analysis that affects the precision of the final result computed. Scaling flow-sensitive pointer analysis to millions of lines of code is a major challenge. Recently, staged flow-sensitive pointer analysis has been proposed, which exploits a sparse representation of program code created by staged analysis. In this paper we formulate the staged flow-sensitive pointer analysis as a graph-rewriting problem. Graph-rewriting has already been used for flow-insensitive analysis. However, formulating flow-sensitive pointer analysis as a graph-rewriting problem adds additional challenges due to the nature of flow-sensitivity. We implement our parallel algorithm using Intel Threading Building Blocks and demonstrate considerable scaling (upto 2.6x) for 8 threads on a set of 10 benchmarks. Compared to the sequential implementation of staged flow-sensitive analysis, a single threaded execution of our implementation performs better in 8 of the benchmarks." @default.
- W1999398749 created "2016-06-24" @default.
- W1999398749 creator A5023167186 @default.
- W1999398749 creator A5068289916 @default.
- W1999398749 date "2013-10-07" @default.
- W1999398749 modified "2023-09-26" @default.
- W1999398749 title "Parallel flow-sensitive pointer analysis by graph-rewriting" @default.
- W1999398749 cites W107748845 @default.
- W1999398749 cites W1536257526 @default.
- W1999398749 cites W1557543533 @default.
- W1999398749 cites W1589951597 @default.
- W1999398749 cites W1598942666 @default.
- W1999398749 cites W160921400 @default.
- W1999398749 cites W1721908487 @default.
- W1999398749 cites W1727650458 @default.
- W1999398749 cites W1982205631 @default.
- W1999398749 cites W1996146601 @default.
- W1999398749 cites W2016559894 @default.
- W1999398749 cites W2020841721 @default.
- W1999398749 cites W2029674270 @default.
- W1999398749 cites W2036853599 @default.
- W1999398749 cites W2046699259 @default.
- W1999398749 cites W2055084740 @default.
- W1999398749 cites W2065826255 @default.
- W1999398749 cites W2080205938 @default.
- W1999398749 cites W2085164129 @default.
- W1999398749 cites W2095115578 @default.
- W1999398749 cites W2098903349 @default.
- W1999398749 cites W2113766267 @default.
- W1999398749 cites W2122312154 @default.
- W1999398749 cites W2127163775 @default.
- W1999398749 cites W2131135493 @default.
- W1999398749 cites W2134569009 @default.
- W1999398749 cites W2141442517 @default.
- W1999398749 cites W2148755014 @default.
- W1999398749 cites W2149237601 @default.
- W1999398749 cites W2153578567 @default.
- W1999398749 cites W2154847114 @default.
- W1999398749 cites W2157103506 @default.
- W1999398749 cites W2403803386 @default.
- W1999398749 cites W2605317797 @default.
- W1999398749 cites W2996812511 @default.
- W1999398749 cites W3009605109 @default.
- W1999398749 cites W3011557297 @default.
- W1999398749 cites W563453116 @default.
- W1999398749 doi "https://doi.org/10.5555/2523721.2523728" @default.
- W1999398749 hasPublicationYear "2013" @default.
- W1999398749 type Work @default.
- W1999398749 sameAs 1999398749 @default.
- W1999398749 citedByCount "5" @default.
- W1999398749 countsByYear W19993987492015 @default.
- W1999398749 countsByYear W19993987492016 @default.
- W1999398749 countsByYear W19993987492020 @default.
- W1999398749 crossrefType "proceedings-article" @default.
- W1999398749 hasAuthorship W1999398749A5023167186 @default.
- W1999398749 hasAuthorship W1999398749A5068289916 @default.
- W1999398749 hasConcept C102379954 @default.
- W1999398749 hasConcept C11413529 @default.
- W1999398749 hasConcept C132525143 @default.
- W1999398749 hasConcept C150202949 @default.
- W1999398749 hasConcept C154690210 @default.
- W1999398749 hasConcept C154945302 @default.
- W1999398749 hasConcept C169590947 @default.
- W1999398749 hasConcept C173608175 @default.
- W1999398749 hasConcept C190902152 @default.
- W1999398749 hasConcept C199360897 @default.
- W1999398749 hasConcept C27458966 @default.
- W1999398749 hasConcept C41008148 @default.
- W1999398749 hasConcept C489000 @default.
- W1999398749 hasConcept C7263679 @default.
- W1999398749 hasConcept C77088390 @default.
- W1999398749 hasConcept C80444323 @default.
- W1999398749 hasConcept C88468194 @default.
- W1999398749 hasConcept C97686452 @default.
- W1999398749 hasConcept C98183937 @default.
- W1999398749 hasConceptScore W1999398749C102379954 @default.
- W1999398749 hasConceptScore W1999398749C11413529 @default.
- W1999398749 hasConceptScore W1999398749C132525143 @default.
- W1999398749 hasConceptScore W1999398749C150202949 @default.
- W1999398749 hasConceptScore W1999398749C154690210 @default.
- W1999398749 hasConceptScore W1999398749C154945302 @default.
- W1999398749 hasConceptScore W1999398749C169590947 @default.
- W1999398749 hasConceptScore W1999398749C173608175 @default.
- W1999398749 hasConceptScore W1999398749C190902152 @default.
- W1999398749 hasConceptScore W1999398749C199360897 @default.
- W1999398749 hasConceptScore W1999398749C27458966 @default.
- W1999398749 hasConceptScore W1999398749C41008148 @default.
- W1999398749 hasConceptScore W1999398749C489000 @default.
- W1999398749 hasConceptScore W1999398749C7263679 @default.
- W1999398749 hasConceptScore W1999398749C77088390 @default.
- W1999398749 hasConceptScore W1999398749C80444323 @default.
- W1999398749 hasConceptScore W1999398749C88468194 @default.
- W1999398749 hasConceptScore W1999398749C97686452 @default.
- W1999398749 hasConceptScore W1999398749C98183937 @default.
- W1999398749 hasLocation W19993987491 @default.
- W1999398749 hasOpenAccess W1999398749 @default.
- W1999398749 hasPrimaryLocation W19993987491 @default.
- W1999398749 hasRelatedWork W1575354960 @default.