Cosmin E. Oancea, Lawrence Rauchwerger. Logical inference techniques for loop parallelization. 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 509-520, ACM, 2012. [doi]
Abstract is missing.