Boolean Programs: A Model and Process for Software Analysis
Improving the accuracy of dynamic branch prediction using branch correlation