Reference idempotency analysis: a framework for optimizing speculative execution.