Compiling for Energy Efficiency on Timing Speculative Processors. - Sartori, John; Kumar, Rakesh (DAC: Annual ACM/IEEE Design Automation Conference, 2012)