Combining abstract interpretation and ILP for microarchitecture modelling and program path analysis | IEEE Conference Publication | IEEE Xplore