Zachary R. Anderson David Gay Mayur Naik Lightweight annotations for controlling sharing in concurrent data structures. 98-109 2009 PLDI http://doi.acm.org/10.1145/1542476.1542488 conf/pldi/2009 db/conf/pldi/pldi2009.html#AndersonGN09