Paper on timing speculation for multi-core processors accepted at DAC!