Sound and precise analysis of parallel programs through schedule specialization.

Jingyue Wu, Yang Tang, Gang Hu, Heming Cui, Junfeng Yang

Browse the full PLDI paper archive.