Jingyue Wu, Yang Tang, Gang Hu, Heming Cui, Junfeng Yang. Sound and precise analysis of parallel programs through schedule specialization. In Jan Vitek, Haibo Lin, Frank Tip, editors, ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '12, Beijing, China - June 11 - 16, 2012. pages 205-216, ACM, 2012. [doi]
Abstract is missing.