Abstract | ||
---|---|---|
Static profiling is a techniquethat producesestimates of exe- cutionlikelihoodsorfrequenciesbased on source code anal- ysis only. It is frequently used in determining cost/benefit ratios for certain compiler optimizations. In previous work, we introduced a simple algorithm to compute execution like- lihoods, based on a control flow graph and heuristic branch prediction. In this paper we examine the benefits of using more in- volved analysis techniques in such a static profiler. In par- ticular, we explore the use of value range propagation to im- prove the accuracy of the estimates, and we investigate the differences in estimating execution likelihoods and frequen- cies. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1109/SCAM.2008.18 | Beijing |
Keywords | Field | DocType |
cost-benefit analysis,data flow analysis,flow graphs,optimisation,program compilers,source coding,compiler optimizations,control flow graph,cost/benefit ratios,data flow analysis,execution likelihoods,heuristic branch prediction,source code analysis,static profiling,static analysis,static profiling,value range propagation | Heuristic,Control flow graph,Profiling (computer programming),Source code,Computer science,Static analysis,Data-flow analysis,Theoretical computer science,Optimizing compiler,Branch predictor | Conference |
ISBN | Citations | PageRank |
978-0-7695-3353-7 | 5 | 0.47 |
References | Authors | |
14 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Cathal Boogerd | 1 | 55 | 2.90 |
L. Moonen | 2 | 57 | 6.93 |