Static Analysis and Dynamic Adaptation of Parallelism