Synergistic Timing Speculation for Multi-threaded Programs. - Yasin, Atif; Jeff (Jun) Zhang; Hu Chen; Garg, Siddharth; Roy, Sanghamitra; Chakraborty, Koushik (DAC: Annual ACM/IEEE Design Automation Conference, 2016)