Stijn Eyerman Lieven Eeckhout James E. Smith Studying Compiler-Microarchitecture Interactions through Interval Analysis. 406 2007 PACT http://doi.ieeecomputersociety.org/10.1109/PACT.2007.70 conf/IEEEpact/2007 db/conf/IEEEpact/IEEEpact2007.html#EyermanES07