Probabilistic data flow analysis: a linear equational approach

• Published in: arXiv.org
• Main Authors: Alessandra Di Pierro, Wiklicky, Herbert
• Format: Paper Journal Article
• Language: English
• Published: Ithaca Cornell University Library, arXiv.org 17.07.2013
• Subjects: Computer Science - Programming Languages; Data analysis; Data flow analysis; Linear equations; Optimization

Speculative optimisation relies on the estimation of the probabilities that certain properties of the control flow are fulfilled. Concrete or estimated branch probabilities can be used for searching and constructing advantageous speculative and bookkeeping transformations. We present a probabilistic...