Armin Heindl Gilles Pokam An Analytic Model for Optimistic STM with Lazy Locking. 339-353 2009 ASMTA http://dx.doi.org/10.1007/978-3-642-02205-0_24 conf/asmta/2009 db/conf/asmta/asmta2009.html#HeindlP09