Rastislav Bodik. Sketching concurrent data structures (2008)

by Armando Solar-Lezama, Christopher Grant Jones
Venue:In Proceedings of the 2008 ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM