Proving Data Race Freedom in Task Parallel Programs Using a Weaker Partial Order.

Benjamin Ogles, Peter Aldous, Eric Mercer

Browse the full FMCAD paper archive.