The Potential for Using Thread-Level Data Speculation to Facilitate Automatic Parallelization

Q1. Typically, it is difficult to implement compiler transformations on integer
    codes while guaranteeing correctness. How does the TLDS implementation
    simplify the compiler's task?

Q2. Comment on some of the similarities/differences between TLDS and a
    store sets implementation.