Jörn Schneider Christian Ferdinand Pipeline Behavior Prediction for Superscalar Processors by Abstract Interpretation. 35-44 1999 conf/lctrts/1999 Workshop on Languages, Compilers, and Tools for Embedded Systems http://doi.acm.org/10.1145/314403.314432 db/conf/lctrts/lctes1999.html#SchneiderF99