Domain-specific Pattern Matching Based Automatic Parallelization: Demonstrated by 2-D Prestack Migration | IEEE Conference Publication | IEEE Xplore