@inproceedings{PASTE-2013-DingesCA,
	author        = "Peter Dinges and Minas Charalambides and Gul Agha",
	booktitle     = "{Proceedings of the 11th Workshop on Program Analysis for Software Tools and Engineering}",
	doi           = "10.1145/2462029.2462030",
	isbn          = "978-1-4503-2128-0",
	pages         = "1--8",
	publisher     = "{ACM}",
	title         = "{Automated inference of atomic sets for safe concurrent execution}",
	year          = 2013,
}