Provably efficient non-preemptive task scheduling with Cilk | IEEE Conference Publication | IEEE Xplore