Satisfiability

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