Semantic-Aware Automatic Parallelization of Modern Applications Using High-Level Abstractions