Automatic fine-grained locking generation for shared data structures | IEEE Conference Publication | IEEE Xplore