Yuan Zhang Vugranam C. Sreedhar Weirong Zhu Vivek Sarkar Guang R. Gao Minimum Lock Assignment: A Method for Exploiting Concurrency among Critical Sections. 141-155 2008 LCPC http://dx.doi.org/10.1007/978-3-540-89740-8_10 conf/lcpc/2008 db/conf/lcpc/lcpc2008.html#ZhangSZSG08