Heartbeat scheduling: provable efficiency for nested parallelism.

Umut A. Acar, Arthur Charguraud, Adrien Guatto, Mike Rainey, Filip Sieczkowski

Browse the full PLDI paper archive.