now happens-before later: static schedule analysis of fine-grained parallelism with explicit happens-before relationships.

Christoph Angerer, Thomas R. Gross

Browse the full OOPSLA paper archive.