@inproceedings{VYY:POPL10,
 author = {Vechev, Martin and Yahav, Eran and Yorsh, Greta},
 title = {Abstraction-guided synthesis of synchronization},
 booktitle = {POPL '10: Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
 year = {2010},
 isbn = {978-1-60558-479-9},
 pages = {327--338},
 location = {Madrid, Spain},
 doi = {http://doi.acm.org/10.1145/1706299.1706338},
 publisher = {ACM},
 address = {New York, NY, USA},
 }