Text this: Symbolic Analysis for Parallelizing Compilers