Automated inference of atomic sets for safe concurrent execution

Peter Dinges, Minas Charalambides, Gul Agha. Automated inference of atomic sets for safe concurrent execution. In PASTE. pages 1-8, 2013. [doi]

Abstract

Abstract is missing.