Lightweight annotations for controlling sharing in concurrent data structures.

Zachary R. Anderson, David Gay, Mayur Naik

Browse the full PLDI paper archive.