application kernels -- Effective symbolic analysis to support parallelizing compilers