Provably efficient scheduling for languages with fine-grained parallelism

Many high-level parallel programming languages allow for fine-grained parallelism. As in the popular work-time framework for parallel algorithm design, programs written in such languages can expres...