@Inproceedings{EPTCS84.2, author = {Samanta, Roopsha}, year = {2012}, title = {Towards Algorithmic Synthesis of Synchronization for Shared-Memory Concurrent Programs}, editor = {Peled, Doron and Schewe, Sven}, booktitle = {{\rm Proceedings First Workshop on} Synthesis, {\rm Berkeley, California, USA, 7th and 8th July 2012}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {84}, publisher = {Open Publishing Association}, pages = {17-32}, doi = {10.4204/EPTCS.84.2}, }