Sound and precise analysis of parallel programs through schedule specialization (2012)

by J WU, Y TANG, G HU, H CUI, J YANG
Venue:In Proc. of Programming Languages Design and Implementation (PLDI