Arun Kejariwal Hideki Saito Xinmin Tian Milind Girkar Wei Li Utpal Banerjee Alexandru Nicolau Constantine D. Polychronopoulos Lightweight lock-free synchronization methods for multithreading. 361-371 2006 conf/ics/2006 ICS http://doi.acm.org/10.1145/1183401.1183452 db/conf/ics/ics2006.html#KejariwalSTGLBNP06