Christoph von Praun Rajesh Bordawekar Calin Cascaval Modeling optimistic concurrency using quantitative dependence analysis. 185-196 2008 PPOPP http://doi.acm.org/10.1145/1345206.1345234 conf/ppopp/2008 db/conf/ppopp/ppopp2008.html#PraunBC08