Erez Petrank Madanlal Musuvathi Bjarne Steensgaard Progress guarantee for parallel programs via bounded lock-freedom. 144-154 2009 PLDI http://doi.acm.org/10.1145/1542476.1542493 conf/pldi/2009 db/conf/pldi/pldi2009.html#PetrankMS09