Loop Parallelization

ZS3: Marrying Static Analyzers and Constraint Solvers to Parallelize Loops in Managed Runtimes