Noah Snavely Saumya K. Debray Gregory R. Andrews Unpredication, Unscheduling, Unspeculation: Reverse Engineering Itanium Executables. 99-115 2005 31 IEEE Trans. Software Eng. 2 http://dx.doi.org/10.1109/TSE.2005.27 db/journals/tse/tse31.html#SnavelyDA04