Seon Wook Kim Chong-liang Ooi Rudolf Eigenmann Babak Falsafi T. N. Vijaykumar Reference idempotency analysis: a framework for optimizing speculative execution. 2-11 2001 conf/ppopp/2001 PPOPP http://doi.acm.org/10.1145/379539.379547 db/conf/ppopp/ppopp2001.html#KimOEFV01