Progress guarantee for parallel programs via bounded lock-freedom

Erez Petrank, Madanlal Musuvathi, Bjarne Steensgaard. Progress guarantee for parallel programs via bounded lock-freedom. In Michael Hind, Amer Diwan, editors, Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009. pages 144-154, ACM, 2009. [doi]

Authors

Erez Petrank

This author has not been identified. Look up 'Erez Petrank' in Google

Madanlal Musuvathi

This author has not been identified. Look up 'Madanlal Musuvathi' in Google

Bjarne Steensgaard

This author has not been identified. Look up 'Bjarne Steensgaard' in Google