@inproceedings {Simula.SE.333,
	title = {On the Use of Data Flow Analysis in Static Profiling},
	journal = {Proceedings of the Eighth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2008)},
	year = {2008},
	month = {September},
	pages = {79-88},
	publisher = {IEEE},
	type = {Conference},
	abstract = {Static profiling is a technique that produces estimates of execution likelihoods or frequencies based on source code analysis 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 likelihoods,based on a control flow graph and heuristic branch prediction. In this paper we examine the benefits of using more involved analysis techniques in such a static profiler. In particular, we explore the use of value range propagation to improve the accuracy of the estimates, and we investigate the differences in estimating execution likelihoods and frequencies.},
	isbn = {978-0-7695-3353-7},
	author = {Boogerd, Cathal and Moonen, Leon},
	editor = {Cordy, James and Zhang, Lu}
}
