Reference idempotency analysis: a framework for optimizing speculative execution.

Seon Wook Kim, Chong-liang Ooi, Rudolf Eigenmann, Babak Falsafi, T. N. Vijaykumar

Browse the full PPoPP paper archive.