semi-automatic-parallelization