Accentuating the positive: atomicity inference and enforcement using correct executions.

Dasarath Weeratunge, Xiangyu Zhang, Suresh Jagannathan

Browse the full OOPSLA paper archive.