A User-Guided Semi-automatic Parallelization Method and Its Implementation | AMiner