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 https://doi.org/10.1145/314403.314432 https://doi.org/10.1145/315253.314432 db/conf/lctrts/lctes1999.html#SchneiderF99