Lightweight annotations for controlling sharing in concurrent data structures

Zachary R. Anderson, David Gay, Mayur Naik. Lightweight annotations for controlling sharing in concurrent data structures. 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 98-109, ACM, 2009. [doi]