Matches in SemOpenAlex for { <https://semopenalex.org/work/W2139381299> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2139381299 abstract "Data-flow analysis is an integral part of any aggressive optimizing compiler. We propose a framework for improving the precision of data-flow analysis in the presence of complex control-flow. We initially perform data-flow analysis to determine those control-flow merges which cause the loss in data-flow analysis precision. The control-flow graph of the program is then restructured such that performing data-flow analysis on the resulting restructured graph gives more precise results. The proposed framework is both simple, involving the familiar notion of product automata, and also general, since it is applicable to any forward data-flow analysis. Apart from proving that our restructuring process is correct, we also show that restructuring is effective in that it necessarily leads to more optimization opportunities. Furthermore, the framework handles the trade-off between the increase in data-flow precision and the code size increase inherent in the restructuring. We show that determining an optimal restructuring is NP-hard, and propose and evaluate a greedy strategy. The framework has been implemented in the Scale research compiler, and instantiated for the specific problem of Constant Propagation. On the SPECINT 2000 benchmark suite we observe an average speedup of 4% in the running times over Wegman-Zadeck conditional constant propagation algorithm and 2% over a purely path profile guided approach." @default.
- W2139381299 created "2016-06-24" @default.
- W2139381299 creator A5068289916 @default.
- W2139381299 creator A5088694491 @default.
- W2139381299 date "2008-04-06" @default.
- W2139381299 modified "2023-09-27" @default.
- W2139381299 title "Comprehensive path-sensitive data-flow analysis" @default.
- W2139381299 cites W1586099086 @default.
- W2139381299 cites W1983166063 @default.
- W2139381299 cites W2002920670 @default.
- W2139381299 cites W2032854624 @default.
- W2139381299 cites W2036918610 @default.
- W2139381299 cites W2059590831 @default.
- W2139381299 cites W2067836954 @default.
- W2139381299 cites W2101134669 @default.
- W2139381299 cites W2102890180 @default.
- W2139381299 cites W2103714221 @default.
- W2139381299 cites W2107324699 @default.
- W2139381299 cites W2109394703 @default.
- W2139381299 cites W4248251197 @default.
- W2139381299 cites W4299138792 @default.
- W2139381299 doi "https://doi.org/10.1145/1356058.1356066" @default.
- W2139381299 hasPublicationYear "2008" @default.
- W2139381299 type Work @default.
- W2139381299 sameAs 2139381299 @default.
- W2139381299 citedByCount "15" @default.
- W2139381299 countsByYear W21393812992013 @default.
- W2139381299 countsByYear W21393812992014 @default.
- W2139381299 countsByYear W21393812992017 @default.
- W2139381299 countsByYear W21393812992018 @default.
- W2139381299 countsByYear W21393812992019 @default.
- W2139381299 countsByYear W21393812992020 @default.
- W2139381299 countsByYear W21393812992022 @default.
- W2139381299 crossrefType "proceedings-article" @default.
- W2139381299 hasAuthorship W2139381299A5068289916 @default.
- W2139381299 hasAuthorship W2139381299A5088694491 @default.
- W2139381299 hasConcept C11413529 @default.
- W2139381299 hasConcept C132525143 @default.
- W2139381299 hasConcept C13280743 @default.
- W2139381299 hasConcept C160191386 @default.
- W2139381299 hasConcept C169590947 @default.
- W2139381299 hasConcept C173608175 @default.
- W2139381299 hasConcept C185798385 @default.
- W2139381299 hasConcept C190902152 @default.
- W2139381299 hasConcept C199360897 @default.
- W2139381299 hasConcept C205649164 @default.
- W2139381299 hasConcept C2524010 @default.
- W2139381299 hasConcept C27458966 @default.
- W2139381299 hasConcept C2777735758 @default.
- W2139381299 hasConcept C33923547 @default.
- W2139381299 hasConcept C38349280 @default.
- W2139381299 hasConcept C41008148 @default.
- W2139381299 hasConcept C489000 @default.
- W2139381299 hasConcept C68339613 @default.
- W2139381299 hasConcept C77088390 @default.
- W2139381299 hasConcept C80444323 @default.
- W2139381299 hasConcept C88468194 @default.
- W2139381299 hasConceptScore W2139381299C11413529 @default.
- W2139381299 hasConceptScore W2139381299C132525143 @default.
- W2139381299 hasConceptScore W2139381299C13280743 @default.
- W2139381299 hasConceptScore W2139381299C160191386 @default.
- W2139381299 hasConceptScore W2139381299C169590947 @default.
- W2139381299 hasConceptScore W2139381299C173608175 @default.
- W2139381299 hasConceptScore W2139381299C185798385 @default.
- W2139381299 hasConceptScore W2139381299C190902152 @default.
- W2139381299 hasConceptScore W2139381299C199360897 @default.
- W2139381299 hasConceptScore W2139381299C205649164 @default.
- W2139381299 hasConceptScore W2139381299C2524010 @default.
- W2139381299 hasConceptScore W2139381299C27458966 @default.
- W2139381299 hasConceptScore W2139381299C2777735758 @default.
- W2139381299 hasConceptScore W2139381299C33923547 @default.
- W2139381299 hasConceptScore W2139381299C38349280 @default.
- W2139381299 hasConceptScore W2139381299C41008148 @default.
- W2139381299 hasConceptScore W2139381299C489000 @default.
- W2139381299 hasConceptScore W2139381299C68339613 @default.
- W2139381299 hasConceptScore W2139381299C77088390 @default.
- W2139381299 hasConceptScore W2139381299C80444323 @default.
- W2139381299 hasConceptScore W2139381299C88468194 @default.
- W2139381299 hasLocation W21393812991 @default.
- W2139381299 hasOpenAccess W2139381299 @default.
- W2139381299 hasPrimaryLocation W21393812991 @default.
- W2139381299 hasRelatedWork W1549956274 @default.
- W2139381299 hasRelatedWork W1550846314 @default.
- W2139381299 hasRelatedWork W1583465708 @default.
- W2139381299 hasRelatedWork W1995535937 @default.
- W2139381299 hasRelatedWork W2080682474 @default.
- W2139381299 hasRelatedWork W2294309217 @default.
- W2139381299 hasRelatedWork W2352941438 @default.
- W2139381299 hasRelatedWork W2599014345 @default.
- W2139381299 hasRelatedWork W3025501777 @default.
- W2139381299 hasRelatedWork W2479014312 @default.
- W2139381299 isParatext "false" @default.
- W2139381299 isRetracted "false" @default.
- W2139381299 magId "2139381299" @default.
- W2139381299 workType "article" @default.